def namesInfo(self, fullname=None):
fullname = self._ensureFilenameIsIknown(fullname)
name = os.path.basename(fullname)
name = util.getFilenameFromFullPath(fullname, False)
self._sendCommand("names-info",
name,
resultfn=lambda r: self.namesInfoResult(r, fullname))
def onFileSaved(self, fullname, oldname=None):
"""called when a file is saved"""
if oldname is not None:
richEditor = self[oldname]
del self[oldname]
self[fullname] = richEditor
newName = util.getFilenameFromFullPath(fullname)
self.notebook.SetPageText(self._getPageIndex(richEditor), newName)
def addFile(self, fullname):
"""add a file to the tree"""
logging.info("Adding file %s", fullname)
directory = os.path.split(fullname)[0]
contextNode = self.getContextNode(directory)
if contextNode is None:
self.addContext(directory)
contextNode = self.getContextNode(directory)
if self.getFileNode(fullname) is None:
self.tree.AppendItem(contextNode, util.getFilenameFromFullPath(fullname), self.imageIndices[LFILE], -1, wx.TreeItemData({FULLNAME: fullname, KIND: LFILE}))
self.tree.Expand(contextNode)
def typecheck(self, fullname=None):
fullname = self._ensureFilenameIsIknown(fullname)
directory = os.path.split(fullname)[0]
if directory != self.pvsContext:
util.getMainFrame().showError("%s is not in the active context"%fullname)
return None
else:
name = os.path.basename(fullname)
name = util.getFilenameFromFullPath(fullname, False)
pub.sendMessage(constants.PUB_FILEPARSING, fullname=fullname)
self._sendCommand("typecheck", name,
resultfn=lambda r: self.typecheckResult(r, fullname))
def typecheck(self, fullname=None):
fullname = self._ensureFilenameIsIknown(fullname)
directory = os.path.split(fullname)[0]
if directory != self.pvsContext:
util.getMainFrame().showError("%s is not in the active context" %
fullname)
return None
else:
name = os.path.basename(fullname)
name = util.getFilenameFromFullPath(fullname, False)
pub.sendMessage(constants.PUB_FILEPARSING, fullname=fullname)
self._sendCommand(
"typecheck",
name,
resultfn=lambda r: self.typecheckResult(r, fullname))
def addFile(self, fullname):
"""add a file to the tree"""
logging.info("Adding file %s", fullname)
directory = os.path.split(fullname)[0]
contextNode = self.getContextNode(directory)
if contextNode is None:
self.addContext(directory)
contextNode = self.getContextNode(directory)
if self.getFileNode(fullname) is None:
self.tree.AppendItem(
contextNode, util.getFilenameFromFullPath(fullname),
self.imageIndices[LFILE], -1,
wx.TreeItemData({
FULLNAME: fullname,
KIND: LFILE
}))
self.tree.Expand(contextNode)
def addFile(self, fullname):
opened = True
if not fullname in self.editors:
opened = False
logging.info("Opening a new editor tab for %s", fullname)
editor = ui.rchedtr.RichEditor(self.notebook, wx.ID_ANY, fullname)
self.notebook.AddPage(editor, util.getFilenameFromFullPath(fullname), True, self.getProperBitmap())
if not os.path.exists(fullname):
f = open(fullname, "w")
f.close()
if editor.styledText.readFile(fullname):
editor.styledText.SetSelection(0, 0)
self[fullname] = editor
opened = True
if opened:
self.showRichEditorForFile(fullname)
else:
util.getMainFrame().showError("Could not open %s"%fullname)
def namesInfo(self, fullname=None):
fullname = self._ensureFilenameIsIknown(fullname)
name = os.path.basename(fullname)
name = util.getFilenameFromFullPath(fullname, False)
self._sendCommand("names-info", name,
resultfn=lambda r: self.namesInfoResult(r, fullname))
