*********************************************************************** ** PACKAGE Predefined ** #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,21,9) *********************************************************************** 2 NEWTYPE Boolean #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,23,10) 2 NEWTYPE Character #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,34,9) 2 NEWTYPE Charstring #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,92,9) 2 NEWTYPE Integer #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,126,9) 2 NEWTYPE Real #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,147,9) 2 NEWTYPE Pid #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,215,9) 2 NEWTYPE Duration #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,221,9) 2 NEWTYPE Time #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,237,9) 2 NEWTYPE Bit #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,251,9) 2 NEWTYPE Bit_string #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,261,9) 2 NEWTYPE Octet #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,282,9) 2 NEWTYPE Octet_string #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,313,9) 2 NEWTYPE NULL #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,331,9) 2 NEWTYPE Object_identifier #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,335,9) 2 NEWTYPE Any_type #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,350,9) 2 SYNTYPE IA5String #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,107,3) 2 SYNTYPE NumericString #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,112,3) 2 SYNTYPE PrintableString #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,117,3) 2 SYNTYPE VisibleString #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,122,3) 2 SYNTYPE Natural #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,145,9) 2 GENERATOR String #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,77,11) 2 GENERATOR Array #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,165,11) 2 GENERATOR Powerset #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,172,11) 2 GENERATOR Bag #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,193,11) 2 GENERATOR Own #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,353,11) 2 GENERATOR Oref #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,363,11) 2 SYNONYM PLUS_INFINITY #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,162,9) 2 SYNONYM MINUS_INFINITY #SDTREF(TEXT,C:\Telelogic\SDL_TTCN_Suite6.0\sdt\sdtdir\wini386\predef.sdl,163,9) *********************************************************************** ** SYSTEM AlarmClock ** *********************************************************************** 2 SIGNAL hourButton SIGNALLIST INPUT 2 SIGNAL mintueButton SIGNALLIST INPUT 2 SIGNAL intensityButton SIGNALLIST INPUT 2 SIGNAL alarmOnButton SIGNALLIST INPUT 2 SIGNAL setTimeButton SIGNALLIST INPUT 2 SIGNAL setAlarmButton SIGNALLIST INPUT 2 SIGNAL alarmTypeButton SIGNALLIST INPUT 2 SIGNAL snoozeButton SIGNALLIST INPUT 2 SIGNAL displayAlarmIntensity SIGNALLIST OUTPUT INPUT 2 SIGNAL displayTime SIGNALLIST OUTPUT OUTPUT OUTPUT OUTPUT INPUT 2 SIGNAL displayAlarm SIGNALLIST OUTPUT OUTPUT INPUT 2 SIGNAL displayAlarmStatus SIGNALLIST SIGNALLIST OUTPUT OUTPUT OUTPUT INPUT 2 SIGNAL displayAlarmType SIGNALLIST OUTPUT INPUT 2 SIGNAL alarmStatus SIGNALLIST OUTPUT INPUT 2 SIGNAL storeAlarm SIGNALROUTE INPUT OUTPUT 2 SIGNAL storeTime SIGNALROUTE INPUT OUTPUT OUTPUT 2 SIGNAL increaseHour SIGNALLIST OUTPUT INPUT INPUT 2 SIGNAL increaseMinute SIGNALLIST OUTPUT INPUT INPUT 2 SIGNAL setAlarm SIGNALLIST OUTPUT INPUT INPUT 2 SIGNAL setTime SIGNALLIST OUTPUT INPUT INPUT 2 SIGNAL snooze SIGNALLIST OUTPUT INPUT 2 SIGNAL alarmSnoozing SIGNALROUTE OUTPUT INPUT 2 SIGNAL alarmType SIGNALLIST OUTPUT INPUT 2 SIGNAL increaseIntensity SIGNALLIST OUTPUT INPUT 2 SIGNAL displayAlarmOn SIGNALLIST OUTPUT INPUT 2 SIGNAL alarmOn SIGNALROUTE OUTPUT INPUT 2 SIGNAL showTime SIGNALLIST OUTPUT 2 SIGNAL showAlarm SIGNALLIST OUTPUT 2 SIGNAL showAlarmStatus SIGNALLIST OUTPUT 2 SIGNAL showAlarmIntensity SIGNALLIST OUTPUT 2 SIGNAL showAlarmType SIGNALLIST OUTPUT 2 SIGNAL showAlarmOn SIGNALLIST OUTPUT 2 SIGNALLIST buttons CHANNEL SIGNALROUTE 2 SIGNALLIST buttonsToMemory SIGNALROUTE 2 SIGNALLIST buttonsToControl SIGNALROUTE 2 SIGNALLIST toUser CHANNEL SIGNALROUTE 2 SIGNALLIST controlToDisplay SIGNALROUTE 2 SIGNALLIST memoryToDisplay SIGNALROUTE 2 CHANNEL ch CONNECTION 2 BLOCK AlarmBlock CHANNEL CHANNEL REFERENCE *********************************************************************** ** BLOCK AlarmBlock ** <> ** *********************************************************************** 3 SIGNALROUTE UToB CONNECTION 3 SIGNALROUTE BToM 3 SIGNALROUTE BToC 3 SIGNALROUTE MToAndFromC 3 SIGNALROUTE MToD 3 SIGNALROUTE CToD 3 SIGNALROUTE DToU CONNECTION 3 PROCESS Buttons SIGNALROUTE SIGNALROUTE SIGNALROUTE REFERENCE 3 PROCESS Memory SIGNALROUTE SIGNALROUTE SIGNALROUTE SIGNALROUTE REFERENCE 3 PROCESS Control SIGNALROUTE SIGNALROUTE SIGNALROUTE SIGNALROUTE REFERENCE 3 PROCESS Display SIGNALROUTE SIGNALROUTE SIGNALROUTE REFERENCE *********************************************************************** ** PROCESS Buttons ** <> ** *********************************************************************** 4 LABEL grst3153_1 JOIN JOIN JOIN JOIN JOIN JOIN JOIN 4 STATE idle NEXTSTATE NEXTSTATE *********************************************************************** ** PROCESS Memory ** <> ** *********************************************************************** 4 DCL TimeHour INPUT DECISION 4 DCL TimeMinute INPUT DECISION 4 DCL AlarmHour DECISION INPUT 4 DCL AlarmMinute DECISION INPUT 4 DCL alarmIntensity OUTPUT DECISION ASSIGNMENT ASSIGNMENT TASK OUTPUT 4 DCL alarmStatus DECISION DECISION TASK TASK OUTPUT OUTPUT 4 DCL alarmType OUTPUT DECISION TASK TASK OUTPUT 4 STATE idle NEXTSTATE NEXTSTATE NEXTSTATE NEXTSTATE NEXTSTATE NEXTSTATE NEXTSTATE NEXTSTATE NEXTSTATE *********************************************************************** ** PROCESS Control ** <> ** *********************************************************************** 4 TIMER timer_timeout SET INPUT SET 4 TIMER timer_timeout2 SET INPUT 4 DCL alarmOnNow TASK DECISION ASSIGNMENT TASK 4 DCL TimeHour OUTPUT OUTPUT OUTPUT DECISION TASK TASK TASK OUTPUT DECISION TASK TASK TASK OUTPUT OUTPUT 4 DCL TimeMinute OUTPUT OUTPUT OUTPUT OUTPUT DECISION TASK TASK TASK DECISION TASK TASK ASSIGNMENT OUTPUT OUTPUT 4 DCL AlarmHour OUTPUT DECISION TASK TASK TASK OUTPUT OUTPUT 4 DCL AlarmMinute OUTPUT OUTPUT DECISION TASK TASK TASK OUTPUT 4 DCL alarmIntensity INPUT OUTPUT 4 DCL alarmType INPUT OUTPUT 4 DCL alarmStatus INPUT ASSIGNMENT OUTPUT TASK OUTPUT 4 LABEL grst3619_1 JOIN JOIN JOIN 4 LABEL grst3619_2 JOIN JOIN JOIN 4 STATE idle NEXTSTATE NEXTSTATE NEXTSTATE NEXTSTATE NEXTSTATE NEXTSTATE NEXTSTATE NEXTSTATE 4 STATE SettingTime NEXTSTATE NEXTSTATE 4 STATE SettingAlarm NEXTSTATE NEXTSTATE *********************************************************************** ** PROCESS Display ** <> ** *********************************************************************** 4 DCL TimeHour INPUT OUTPUT 4 DCL TimeMinute INPUT OUTPUT 4 DCL AlarmHour INPUT OUTPUT 4 DCL AlarmMinute INPUT OUTPUT 4 DCL alarmType INPUT OUTPUT INPUT OUTPUT 4 DCL alarmStatus INPUT OUTPUT 4 DCL alarmIntensity INPUT OUTPUT INPUT OUTPUT 4 LABEL grst8373_1 JOIN JOIN JOIN JOIN JOIN 4 STATE idle NEXTSTATE NEXTSTATE