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)