TMDL-to-LOTOS Compiler, version 0.9. Symbol Tables. MAP STRUCTURE: Tests TYPEGROUP 6 GrAbort TYPEGROUP 2 Ab1, Ab2 TestAbort TYPETT 0 GrAborted TYPEGROUP 2 TestAborted1 TYPETT 0 TestAborted2 TYPETT 0 TestChoice TYPETT 0 TestPar TYPETT 0 TestForks TYPETT 0 TestLoops TYPETT 0 TestWP TYPETT 0 **************************************************************************** TIMETHREAD SYMBOL TABLE: 10: TestAbort DEFINED USED 13: TestAborted1 DEFINED USED 13: TestAborted2 DEFINED USED 7: TestChoice DEFINED USED 7: TestForks DEFINED USED 7: TestLoops DEFINED USED 7: TestPar DEFINED USED 7: TestWP DEFINED USED **************************************************************************** GROUP SYMBOL TABLE: 7: GrAbort DEFINED USED 10: GrAborted DEFINED USED **************************************************************************** TAG VALUE SYMBOL TABLE: 57: No DEFINED USED 146: OK DEFINED UNUSED 146: TOut DEFINED UNUSED 51: Yes DEFINED USED **************************************************************************** GLOBAL ACTIVITY SYMBOL TABLE: 24: Ab1 25: Ab2 52: Act1 135: Act10 137: Act11 147: Act12 148: Act13 58: Act3 71: Act4 74: Act5 76: Act6 96: Act7 106: Act8 130: Act9 147: Delay_8 26: R1 33: R2 40: R3 61: R4 79: R5 119: R6 140: R7 149: R8 97: Rfork1 102: Rfork2 107: Rfork3 110: Rfork4 115: Rfork5 70: Sync_And_2 73: Sync_And_3 50: Sync_Or_0 54: Sync_Or_1 148: Sync_Signal_9 146: Sync_Time_7 23: T1 32: T2 39: T3 49: T4 69: T5 87: T6 126: T7 146: T8 146: TimeOut_6 **************************************************************************** MAP INTERNALS: **************************************************************************** MAP EXTERNALS: 152: Ab1 152: Ab2 152: Act1 152: Act10 152: Act11 152: Act12 152: Act13 152: Act3 152: Act4 152: Act5 152: Act6 152: Act7 152: Act8 152: Act9 152: R1 152: R2 152: R3 152: R4 152: R5 152: R6 152: R7 152: R8 152: Rfork1 152: Rfork2 152: Rfork3 152: Rfork4 152: Rfork5 152: T1 152: T2 152: T3 152: T4 152: T5 152: T6 152: T7 152: T8 **************************************************************************** TIMETHREAD testabort INTERNALS: **************************************************************************** TIMETHREAD testabort EXTERNALS: 24: Ab1 ABORT 0 PARAMETER. 25: Ab2 ABORT 0 PARAMETER. 26: R1 RESULT 0 PARAMETER. 23: T1 TRIGGER 0 PARAMETER. **************************************************************************** TIMETHREAD testabort TAG IDENTIFIERS: **************************************************************************** TIMETHREAD testaborted1 INTERNALS: **************************************************************************** TIMETHREAD testaborted1 EXTERNALS: 31: Ab1 ABORTED 0 PARAMETER. 33: R2 RESULT 0 PARAMETER. 32: T2 TRIGGER 0 PARAMETER. **************************************************************************** TIMETHREAD testaborted1 TAG IDENTIFIERS: **************************************************************************** TIMETHREAD testaborted2 INTERNALS: **************************************************************************** TIMETHREAD testaborted2 EXTERNALS: 38: Ab2 ABORTED 0 PARAMETER. 40: R3 RESULT 0 PARAMETER. 39: T3 TRIGGER 0 PARAMETER. **************************************************************************** TIMETHREAD testaborted2 TAG IDENTIFIERS: **************************************************************************** TIMETHREAD testchoice INTERNALS: 50: Sync_Or_0 CHOICE 0 PARAMETER. 54: Sync_Or_1 CHOICE 0 PARAMETER. **************************************************************************** TIMETHREAD testchoice EXTERNALS: 52: Act1 ACTION 0 PARAMETER. 58: Act3 ASYNC 1 PARAMETER. 61: R4 RESULT 0 PARAMETER. 49: T4 TRIGGER 1 PARAMETER. **************************************************************************** TIMETHREAD testchoice TAG IDENTIFIERS: 49: Cond DEFINED USED **************************************************************************** TIMETHREAD testpar INTERNALS: 70: Sync_And_2 PAR 0 PARAMETER. 73: Sync_And_3 PAR 0 PARAMETER. **************************************************************************** TIMETHREAD testpar EXTERNALS: 71: Act4 WAIT 0 PARAMETER. 74: Act5 ASYNC 1 PARAMETER. 76: Act6 SYNC 0 PARAMETER. 79: R5 RESULT 0 PARAMETER. 69: T5 TRIGGER 1 PARAMETER. **************************************************************************** TIMETHREAD testpar TAG IDENTIFIERS: 69: Cond DEFINED USED **************************************************************************** TIMETHREAD testforks INTERNALS: **************************************************************************** TIMETHREAD testforks EXTERNALS: 96: Act7 ACTION 0 PARAMETER. 106: Act8 ACTION 0 PARAMETER. 119: R6 RESULT 0 PARAMETER. 97: Rfork1 RESULT 0 PARAMETER. 102: Rfork2 RESULT 1 PARAMETER. 107: Rfork3 RESULT 0 PARAMETER. 110: Rfork4 RESULT 0 PARAMETER. 115: Rfork5 RESULT 0 PARAMETER. 87: T6 TRIGGER 2 PARAMETERS. **************************************************************************** TIMETHREAD testforks TAG IDENTIFIERS: 87: Cond1 DEFINED USED 87: Cond2 DEFINED USED **************************************************************************** TIMETHREAD testloops INTERNALS: **************************************************************************** TIMETHREAD testloops EXTERNALS: 135: Act10 ACTION 0 PARAMETER. 137: Act11 ACTION 0 PARAMETER. 130: Act9 ACTION 0 PARAMETER. 140: R7 RESULT 0 PARAMETER. 126: T7 TRIGGER 1 PARAMETER. **************************************************************************** TIMETHREAD testloops TAG IDENTIFIERS: 126: Cond DEFINED USED **************************************************************************** TIMETHREAD testwp INTERNALS: 147: Delay_8 DELAY 0 PARAMETER. 148: Sync_Signal_9 TIME 1 PARAMETER. 146: Sync_Time_7 TIME 1 PARAMETER. 146: TimeOut_6 TIME 0 PARAMETER. **************************************************************************** TIMETHREAD testwp EXTERNALS: 147: Act12 WAIT 0 PARAMETER. 148: Act13 WAIT 0 PARAMETER. 149: R8 RESULT 2 PARAMETERS. 146: T8 TRIGGER 0 PARAMETER. **************************************************************************** TIMETHREAD testwp TAG IDENTIFIERS: 148: SigAct13 DEFINED USED 146: TimeT8 DEFINED USED ****************************************************************************