TMDL-to-LOTOS Compiler, version 0.9. Symbol Tables. MAP STRUCTURE: TaxiCompany TYPEGROUP 2 TCride, TgetinC, TgetoffP, TgetonP, TgetoutC, TPflight, TphoneD Traveler TYPETT 0 Gr1 TYPEGROUP 2 Plane TYPETT 0 Gr2 TYPEGROUP 2 DaskC Dispatcher TYPETT 0 Cab TYPETT 0 **************************************************************************** TIMETHREAD SYMBOL TABLE: 19: Cab DEFINED USED 19: Dispatcher DEFINED USED 16: Plane DEFINED USED 12: Traveler DEFINED USED **************************************************************************** GROUP SYMBOL TABLE: 12: Gr1 DEFINED USED 16: Gr2 DEFINED USED **************************************************************************** TAG VALUE SYMBOL TABLE: **************************************************************************** GLOBAL ACTIVITY SYMBOL TABLE: 64: Cgarage 66: CgoD 8: Cin 8: Cout 8: DaskC 45: Dfillstats 8: Din 47: DlookforC 8: Dout 45: Dready 8: Phangar 8: Pready 29: Tairport 7: TCride 38: Tdest 7: TgetinC 8: TgetoffP 7: TgetonP 7: TgetoutC 29: Tnew 7: TPFlight 11: TPhoneD **************************************************************************** MAP INTERNALS: 8: Cin 8: Cout 8: DaskC 8: Din 8: Dout 8: Phangar 8: Pready 7: TCride 7: TgetinC 8: TgetoffP 7: TgetonP 7: TgetoutC 7: TPFlight 11: TPhoneD **************************************************************************** MAP EXTERNALS: 89: Tdest 89: Tnew **************************************************************************** TIMETHREAD traveler INTERNALS: 29: Tairport ACTION 0 PARAMETER. **************************************************************************** TIMETHREAD traveler EXTERNALS: 32: TCride ACTION 0 PARAMETER. 38: Tdest RESULT 0 PARAMETER. 31: TgetinC SYNC 0 PARAMETER. 37: TgetoffP SYNC 0 PARAMETER. 35: TgetonP SYNC 0 PARAMETER. 33: TgetoutC SYNC 0 PARAMETER. 29: Tnew TRIGGER 0 PARAMETER. 36: TPflight ACTION 0 PARAMETER. 30: TphoneD ASYNC 0 PARAMETER. **************************************************************************** TIMETHREAD traveler TAG IDENTIFIERS: **************************************************************************** TIMETHREAD dispatcher INTERNALS: 45: Dfillstats ACTION 0 PARAMETER. 47: DlookforC ACTION 0 PARAMETER. 45: Dready ACTION 0 PARAMETER. **************************************************************************** TIMETHREAD dispatcher EXTERNALS: 52: DaskC SYNC 0 PARAMETER. 47: Din TRIGGER 0 PARAMETER. 57: Dout RESULT 0 PARAMETER. 50: TphoneD SYNC 0 PARAMETER. **************************************************************************** TIMETHREAD dispatcher TAG IDENTIFIERS: **************************************************************************** TIMETHREAD cab INTERNALS: 64: Cgarage ACTION 0 PARAMETER. 66: CgoD ACTION 0 PARAMETER. **************************************************************************** TIMETHREAD cab EXTERNALS: 66: Cin TRIGGER 0 PARAMETER. 77: Cout RESULT 0 PARAMETER. 69: DaskC SYNC 0 PARAMETER. 71: TCride ACTION 0 PARAMETER. 70: TgetinC SYNC 0 PARAMETER. 72: TgetoutC SYNC 0 PARAMETER. **************************************************************************** TIMETHREAD cab TAG IDENTIFIERS: **************************************************************************** TIMETHREAD plane INTERNALS: **************************************************************************** TIMETHREAD plane EXTERNALS: 86: Phangar RESULT 0 PARAMETER. 82: Pready TRIGGER 0 PARAMETER. 85: TgetoffP SYNC 0 PARAMETER. 83: TgetonP SYNC 0 PARAMETER. 84: TPflight ACTION 0 PARAMETER. **************************************************************************** TIMETHREAD plane TAG IDENTIFIERS: ****************************************************************************