WebSVN - UMinho Haskell Software - guisurfer_software - Rev 1

guisurfer_software

[/] [GuiModelWindows2.hs] - Rev 1
--Generated automatically by GuiSurfer

module WindowsClientDBjava1 and ClientDBjava2 where

import Data.Map

import GuiTypes

type WindowsClientDBjava1ClientDBjava2 = Map ([WindowName], WindowName, StateRef, EventRef, CondRef, StateRef) [WindowName] 

win :: Windows
win = fromList 
        [
        ((["Login"],"Login","state1","Ok","cond2","state0"),["MainForm"]),
        ((["MainForm"],"MainForm","state1","Edit","cond2","state1"),["ContactEditor","MainForm"]),
        ((["MainForm"],"MainForm","state1","Find","cond4","state1"),["Find","MainForm"]),
        ((["ContactEditor","MainForm"],"ContactEditor","state1","Cancel","cond5","state0"),["MainForm"]),
        ((["ContactEditor","MainForm"],"ContactEditor","state1","Ok","cond6","state0"),["MainForm"]),
        ((["ContactEditor","MainForm"],"ContactEditor","state2","Cancel","cond5","state0"),["MainForm"]),
        ((["ContactEditor","MainForm"],"ContactEditor","state2","Ok","cond6","state0"),["MainForm"]),
        ((["ContactEditor","MainForm"],"MainForm","state1","Edit","cond2","state1"),["ContactEditor","ContactEditor","MainForm"]),
        ((["ContactEditor","MainForm"],"MainForm","state1","Find","cond4","state1"),["ContactEditor","Find","MainForm"]),
        ((["Find","MainForm"],"MainForm","state1","Edit","cond2","state1"),["ContactEditor","Find","MainForm"]),
        ((["Find","MainForm"],"MainForm","state1","Find","cond4","state1"),["Find","Find","MainForm"])
        ]
        [
        ((["Login"],"Login","state1","Ok","cond2","state0"),["MainForm"]),
        ((["MainForm"],"MainForm","state1","Edit","cond2","state1"),["ContactEditor","MainForm"]),
        ((["MainForm"],"MainForm","state1","Find","cond4","state1"),["Find","MainForm"]),
        ((["ContactEditor","MainForm"],"MainForm","state1","Edit","cond2","state1"),["ContactEditor","ContactEditor","MainForm"]),
        ((["ContactEditor","MainForm"],"MainForm","state1","Find","cond4","state1"),["ContactEditor","Find","MainForm"]),
        ((["Find","MainForm"],"Find","state1","Cancel","cond2","state0"),["MainForm"]),
        ((["Find","MainForm"],"MainForm","state1","Edit","cond2","state1"),["ContactEditor","Find","MainForm"]),
        ((["Find","MainForm"],"MainForm","state1","Find","cond4","state1"),["Find","Find","MainForm"])
        ]