def __init__(self,): wx.Frame.__init__(self, util.getMainFrame(), wx.ID_ANY) mainSizer = wx.BoxSizer(wx.VERTICAL) self.SetTitle("PVS GUI Help") help = wx.html.HtmlWindow(self, wx.ID_ANY, style=wx.NO_BORDER) helpFile = os.path.join(config.PVSIDEConfiguration().applicationFolder, "src", "help.html") mainSizer.Add(help, 1, wx.EXPAND, 5) self.SetSizer(mainSizer) help.LoadPage(helpFile) self.SetSize((500, 600))
def _initialize(self): self.testContext = "/Users/saadati/projects/pvs/Examples" self.testPVSFile = "sum" self.tobeProved = ("/Users/saadati/projects/pvs/Examples/sum.pvs", "sum", "closed_form") self.proofCommand = "(grind)" logging.getLogger(constants.LROOT).setLevel(logging.DEBUG) configDirectory = os.path.dirname(config.__file__) applicationFolder = os.path.abspath( os.path.join(configDirectory, os.path.pardir)) config.PVSIDEConfiguration().initialize(applicationFolder)
def __init__(self, parent): stc.StyledTextCtrl.__init__(self, parent, wx.ID_ANY, pos=wx.DefaultPosition, size=wx.DefaultSize, style=wx.TE_MULTILINE | wx.HSCROLL | wx.TE_RICH | wx.TE_RICH2) self.SetMarginType(0, stc.STC_MARGIN_NUMBER) self.SetMarginWidth(0, 30) self.SetMarginSensitive(0, True) self.SetCodePage(stc.STC_CP_UTF8) self.namesInformation = [] cfg = config.PVSIDEConfiguration() faces['default_color'] = cfg.default_color faces['identity_color'] = cfg.identity_color faces['keyword_color'] = cfg.keyword_color faces['comment_color'] = cfg.comment_color faces['number_color'] = cfg.number_color faces['operator_color'] = cfg.operator_color faces['string_color'] = cfg.string_color faces['size'] = cfg.font_size faces['font'] = cfg.font self.StyleSetSpec(stc.STC_STYLE_LINENUMBER, "size:%d,face:%s" % (faces['size2'], faces['times'])) self.SetMarginType(1, stc.STC_MARGIN_SYMBOL) self.SetMouseDownCaptures(True) self.UsePopUp(0) self.MarkerDefine(0, stc.STC_MARK_ROUNDRECT, "#CCFF00", "RED") #self.MarkerDefineBitmap(1, ui.images.getBitmap("debug.png")) self.MarkerDefine(1, stc.STC_MARK_CIRCLE, "RED", "RED") #self.MarkerDefine(1, stc.STC_MARK_CIRCLE, "FOREST GREEN", "SIENNA") self.MarkerDefine(2, stc.STC_MARK_SHORTARROW, "blue", "blue") self.MarkerDefine(3, stc.STC_MARK_ARROW, "#00FF00", "#00FF00") self.SetStyleBits(7) self.SetMouseDwellTime(300) self.RegisterImage(1, ui.images.getBulletImage()) self.autoCompleteWords = constants.PVS_KEYWORDS.upper().split() self.autoCompleteWords = self.autoCompleteWords + constants.MATH_SYMBOLS.keys() self.autoCompleteWords.sort() self.autoCompleteWords = " ".join(self.autoCompleteWords) self.setSyntaxHighlighting_usingmatlab() self.Bind(wx.EVT_SET_CURSOR, self.onCursor) #TODO: what is this? self.Bind(stc.EVT_STC_DWELLSTART, self.onMouseDwellStarted) #self.Bind(stc.EVT_STC_DWELLEND, self.onMouseDwellEnded) self.Bind(wx.EVT_RIGHT_UP, self.onMouseRightClicked) self.Bind(stc.EVT_STC_MARGINCLICK, self.onMarginClicked) self.Bind(wx.EVT_KEY_DOWN, self.OnKeyPressed) self.Bind(wx.stc.EVT_STC_AUTOCOMP_SELECTION, self.OnAutoCompItemSelected)
def getBitmap(filename): import config cfg = config.PVSIDEConfiguration() return wx.Bitmap(os.path.join(cfg.imageFolderPath, filename), wx.BITMAP_TYPE_ANY)
def initializeCommandList(self): self.commandList = config.PVSIDEConfiguration().proverCommands.keys() self.commandList.sort()
def OnSelectCommand(self, event): item = event.GetSelection() command = self.commandList[item] self.commandTextControl.SetValue(config.PVSIDEConfiguration().proverCommands[command])
def getLastFrameSize(self): return self.getValue(Preferences.FRAMESIZE, config.PVSIDEConfiguration().ideSize)