scyther/gui/Gui/Settingswindow.py

142 lines
4.4 KiB
Python
Raw Normal View History

2006-08-11 09:34:22 +01:00
#!/usr/bin/python
#---------------------------------------------------------------------------
""" Import externals """
import wx
2006-08-11 09:54:43 +01:00
import sys
2006-08-11 09:34:22 +01:00
#---------------------------------------------------------------------------
""" Import scyther-gui components """
import Preference
import Scyther.Claim as Claim
2006-08-11 09:54:43 +01:00
#---------------------------------------------------------------------------
class MyGrid(wx.GridBagSizer):
def stepInit(self):
self.ypos = 0
def stepAdd(self,ctrl,txt):
self.Add(ctrl,(self.ypos,0),flag=wx.ALIGN_RIGHT)
self.Add(txt,(self.ypos,1),flag=wx.ALIGN_CENTER_VERTICAL)
self.ypos += 1
2006-08-11 09:34:22 +01:00
#---------------------------------------------------------------------------
class SettingsWindow(wx.Panel):
def __init__(self,parent,daddy):
wx.Panel.__init__(self,parent,-1)
self.win = daddy
space = 10
2006-08-11 09:54:43 +01:00
grid = MyGrid(hgap=space,vgap=space)
grid.stepInit()
2006-08-11 09:34:22 +01:00
# Bound on the number of runs
self.maxruns = int(Preference.get('maxruns','5'))
txt = wx.StaticText(self,-1,"Maximum number of runs (0 disables bound)")
ctrl = wx.SpinCtrl(self, -1, "",style=wx.RIGHT)
ctrl.SetRange(0,100)
ctrl.SetValue(self.maxruns)
self.Bind(wx.EVT_SPINCTRL,self.EvtRuns,ctrl)
2006-08-11 09:54:43 +01:00
grid.stepAdd(ctrl,txt)
2006-08-11 09:34:22 +01:00
# Matchin options
self.match = int(Preference.get('match','0'))
claimoptions = ['typed matching','find basic type flaws','find all type flaws']
r2 = wx.StaticText(self,-1,"Matching type")
l2 = self.ch = wx.Choice(self,-1,choices=claimoptions)
l2.SetSelection(self.match)
self.Bind(wx.EVT_CHOICE,self.EvtMatch,l2)
2006-08-11 09:54:43 +01:00
grid.stepAdd(l2,r2)
2006-08-11 09:34:22 +01:00
### MISC expert stuff
# Bound on the number of classes/attacks
self.maxattacks = int(Preference.get('maxattacks','100'))
stname = Claim.stateDescription(True,2,False)
atname = Claim.stateDescription(False,2,False)
txt = "%s/%s" % (stname,atname)
2006-08-11 09:54:43 +01:00
r9 = wx.StaticText(self,-1,"Maximum number of %s for all\nclaims combined (0 disables maximum)" % txt)
2006-08-11 09:34:22 +01:00
l9 = wx.SpinCtrl(self, -1, "",style=wx.RIGHT)
l9.SetRange(0,100)
l9.SetValue(self.maxattacks)
self.Bind(wx.EVT_SPINCTRL,self.EvtMaxAttacks,l9)
2006-08-11 09:54:43 +01:00
grid.stepAdd(l9,r9)
2006-08-11 09:34:22 +01:00
self.misc = Preference.get('scytheroptions','')
r10 = wx.StaticText(self,-1,"Additional parameters for the Scyther tool")
2006-08-11 09:54:43 +01:00
l10 = wx.TextCtrl(self,-1,self.misc,size=(200,-1))
2006-08-11 09:34:22 +01:00
self.Bind(wx.EVT_TEXT,self.EvtMisc,l10)
2006-08-11 09:54:43 +01:00
grid.stepAdd(l10,r10)
2006-08-11 09:34:22 +01:00
2006-08-11 09:54:43 +01:00
### Graph output stuff
# Bound on the number of classes/attacks
if sys.platform.startswith("lin"):
defsize = 14
else:
defsize = 11
self.fontsize = int(Preference.get('fontsize',defsize))
txt = wx.StaticText(self,-1,"Attack graph font size (in points)")
2006-08-11 09:54:43 +01:00
ctrl = wx.SpinCtrl(self, -1, "",style=wx.RIGHT)
ctrl.SetRange(6,32)
ctrl.SetValue(self.fontsize)
self.Bind(wx.EVT_SPINCTRL,self.EvtFontsize,ctrl)
grid.stepAdd(ctrl,txt)
### Combine
2006-08-11 09:34:22 +01:00
self.SetSizer(grid)
self.SetAutoLayout(True)
def EvtMatch(self,evt):
self.match = evt.GetInt()
def EvtRuns(self,evt):
self.maxruns = evt.GetInt()
2006-08-11 09:54:43 +01:00
def EvtFontsize(self,evt):
self.fontsize = evt.GetInt()
2006-08-11 09:34:22 +01:00
def EvtMaxAttacks(self,evt):
self.maxattacks = evt.GetInt()
def EvtMisc(self,evt):
self.misc = evt.GetString()
def ScytherArguments(self,mode):
""" Note: constructed strings should have a space at the end to
correctly separate the options.
"""
tstr = ""
# Number of runs
tstr += "--max-runs=%s " % (str(self.maxruns))
# Matching type
tstr += "--match=%s " % (str(self.match))
# Max attacks/classes
if self.maxattacks != 0:
tstr += "--max-attacks=%s " % (str(self.maxattacks))
# Verification type
if mode == "check":
tstr += "--check "
elif mode == "autoverify":
tstr += "--auto-claims "
elif mode == "statespace":
tstr += "--state-space "
# Anything else?
if self.misc != "":
tstr += " " + self.misc + " "
return tstr
#---------------------------------------------------------------------------