--Generated automatically by GuiSurfer
module GuiModelJTurmaJTurma where
import Data.Map
import GuiTypes
guimodelJTurma :: GuiModel
guimodelJTurma = fromList
[
(("add","cond1"),[1,2,3]),
(("add","cond2"),[4]),
(("consult","cond3"),[5]),
(("consult","cond4"),[]),
(("consult","cond5"),[6]),
(("remove","cond6"),[7,8]),
(("remove","cond7"),[9,10,11,8]),
(("remove","cond8"),[12,8]),
(("clear","cond9"),[]),
(("exit","cond10"),[13]),
(("init","condInit1"),[14,15,16,17,18,19,20,21,22,23,24,25,26]),
(("init","condInit2"),[27,15,16,17,18,19,20,21,22,23,24,25,26]),
(("init","condInit3"),[28,15,16,17,18,19,20,21,22,23,24,25,26]),
(("init","condInit4"),[29,15,16,17,18,19,20,21,22,23,24,25,26])
]
presJTurma :: Pres
presJTurma = fromList
[
(1,("remove",True)),
(2,("consult",True)),
(3,("clear",True)),
(9,("consult",False)),
(10,("remove",False)),
(11,("clear",False)),
(21,("consult",False)),
(22,("remove",False)),
(23,("clear",False))
]
endJTurma :: End
endJTurma =
[13]
windowJTurma :: Window
windowJTurma = "JTurma"
newWindowJTurma :: NewWindow
newWindowJTurma = fromList
[
(15,"JTurma")
]
closeJTurma :: Close
closeJTurma =
[]
|