| Line No. | Rev | Author | Line |
|---|---|---|---|
| 1 | 1 | jcs | --Generated automatically by GuiSurfer |
| 2 | 1 | jcs | |
| 3 | 1 | jcs | module GuiModelStatesClientDBjavaLogin where |
| 4 | 1 | jcs | |
| 5 | 1 | jcs | import Data.Map |
| 6 | 1 | jcs | import GuiTypes |
| 7 | 1 | jcs | |
| 8 | 1 | jcs | statesLogin :: (Map (StateRef,EventRef,CondRef,[ExpRef]) StateRef, Map StateRef State) |
| 9 | 1 | jcs | statesLogin = (fromList [(("state0","init","condInit1",[5,6,7,8,9]),"state1"),(("state1","Cancel","cond1",[1]),"state0"),(("state1","Ok","cond2",[2,3]),"state0"),(("state1","Ok","cond3",[4]),"state1")],fromList [("state0",fromList []),("state1",fromList [("Cancel",True),("Ok",True)])]) |