home *** CD-ROM | disk | FTP | other *** search
Modula Definition | 1997-04-25 | 997 b | 45 lines | [TEXT/3PRM] |
- definition module tmdialog
-
- from StdFile import Files
- from deltaEventIO import IOState
- from tmfile import Disk
- import tm
-
- HelpFile :== "TuringHelp"
- FileMenuId :== 2
- NewItemId :== 21
- OpenItemId :== 22
- SaveItemId :== 23
- SvAsItemId :== 24
- HelpItemId :== 25
- QuitItemId :== 26
- MachineMenuId :== 3
- StepItemId :== 31
- RunItemId :== 32
- HaltItemId :== 34
- DelayItemId :== 35
- VerSId :== 351
- SlowId :== 352
- NormId :== 353
- FastId :== 354
- VerFId :== 355
- WindowID :== 1
- TapeWdID :== 3
-
- TimerID :== 1
-
- :: *Tm
- = { tmstate :: !TmState
- , name :: !String
- , delay :: !Int
- , disk :: !Disk
- , saved :: !Bool
- }
-
- AlterCell :: Int Tm (IOState Tm) -> (Tm,IOState Tm)
- AlterTransition :: Int Tm (IOState Tm) -> (Tm,IOState Tm)
- AlterState :: Tm (IOState Tm) -> (Tm,IOState Tm)
- ReDraw :: Tm (IOState Tm) -> (Tm,IOState Tm)
- Alert :: String String Tm (IOState Tm) -> (Tm,IOState Tm)
- SaveBeforeClose :: String Tm (IOState Tm) -> (Bool,Tm,IOState Tm)
-