INLINE_CHAINS void ACacaoreservoir_Actor::chain4_klepDicht( void ) { // transition ':TOP:klepOpen:J4BADEF4B03BA:klepDicht' rtgChainBegin( 3, "klepDicht" ); exitState( rtg_parent_state ); rtgTransitionBegin(); transition4_klepDicht( msg->data, (PReservoir::Base *)msg->sap() ); rtgTransitionEnd(); enterState( 2 ); }
INLINE_CHAINS void Local_Controller_Actor::chain3_Arrive_at_Floor( void ) { // transition ':TOP:Ready:J51587D6D03E5:Arrive_at_Floor' rtgChainBegin( 2, "Arrive_at_Floor" ); exitState( rtg_parent_state ); rtgTransitionBegin(); transition3_Arrive_at_Floor( msg->data, (Elevator_Internals::Base *)msg->sap() ); rtgTransitionEnd(); enterState( 2 ); }
INLINE_CHAINS void ACacaoreservoir_Actor::chain2_geefVoorraadTerug( void ) { // transition ':TOP:J4BADEF0E0148:geefVoorraadTerug' rtgChainBegin( 1, "geefVoorraadTerug" ); exitToChainState( 1, rtg_parent_state ); rtgTransitionBegin(); transition2_geefVoorraadTerug( msg->data, (PReservoir::Base *)msg->sap() ); rtgTransitionEnd(); processHistory(); }
INLINE_CHAINS void ElevatorDoor_Actor::chain3_closeDoor( void ) { // transition ':TOP:Opened:J56FB14B5027F:closeDoor' rtgChainBegin( 3, "closeDoor" ); exitState( rtg_parent_state ); rtgTransitionBegin(); transition3_closeDoor( msg->data, (Timing::Base *)msg->sap() ); rtgTransitionEnd(); enterState( 4 ); }
INLINE_CHAINS void ElevatorDoor_Actor::chain11_openDoor( void ) { // transition ':TOP:Closing:J56FC59A200D0:openDoor' rtgChainBegin( 4, "openDoor" ); exitState( rtg_parent_state ); rtgTransitionBegin(); transition11_openDoor( msg->data, (LEDProtocol::Base *)msg->sap() ); rtgTransitionEnd(); enterState( 3 ); }
INLINE_CHAINS void ElevatorDoor_Actor::chain4_init( void ) { // transition ':TOP:Closed:J56FB2E660011:init' rtgChainBegin( 2, "init" ); exitState( rtg_parent_state ); rtgTransitionBegin(); transition4_init( msg->data, (LEDProtocol::Base *)msg->sap() ); rtgTransitionEnd(); enterState( 2 ); }
INLINE_CHAINS void ElevatorDoor_Actor::chain2_openDoor( void ) { // transition ':TOP:Closed:J56FB14B003AE:openDoor' rtgChainBegin( 2, "openDoor" ); exitState( rtg_parent_state ); rtgTransitionBegin(); transition2_openDoor( msg->data, (LEDProtocol::Base *)msg->sap() ); rtgTransitionEnd(); enterState( 5 ); }
INLINE_CHAINS void serialCommunicationCapsule_Actor::chain3_True( void ) { // transition ':TOP:openPort:True' rtgChainBegin( 6, "True" ); rtgTransitionBegin(); rtgTransitionEnd(); enterState( 5 ); // transition ':TOP:SetBaud:J51AEFD830294:True' rtgChainBegin( 5, "True" ); rtgTransitionBegin(); rtgTransitionEnd(); // transition ':TOP:SetBaud:J51AEFD8B01BC:ReallyDone' rtgChainBegin( 5, "ReallyDone" ); exitState( rtg_parent_state ); rtgTransitionBegin(); transition6_ReallyDone( msg->data, msg->sap() ); rtgTransitionEnd(); enterState( 2 ); }
INLINE_CHAINS void Local_Controller_Actor::chain7_E_BRAKE( void ) { // transition ':TOP:Ready:J5160B140001E:E_BRAKE' rtgChainBegin( 2, "E_BRAKE" ); exitState( rtg_parent_state ); rtgTransitionBegin(); transition7_E_BRAKE( msg->data, (Elevator_Internals::Base *)msg->sap() ); rtgTransitionEnd(); enterState( 2 ); }
INLINE_CHAINS void Local_Controller_Actor::chain6_Handle_Floor_Request_External( void ) { // transition ':TOP:Ready:J5160972300D3:Handle_Floor_Request_External' rtgChainBegin( 2, "Handle_Floor_Request_External" ); exitState( rtg_parent_state ); rtgTransitionBegin(); transition6_Handle_Floor_Request_External( (const int *)msg->data, (Elevator_Request_Protocol::Conjugate *)msg->sap() ); rtgTransitionEnd(); enterState( 2 ); }
INLINE_CHAINS void ElevatorDoor_Actor::chain6_doorOpened( void ) { // transition ':TOP:Opening:J56FBEF9B0125:doorOpened' rtgChainBegin( 5, "doorOpened" ); exitState( rtg_parent_state ); rtgTransitionBegin(); transition6_doorOpened( msg->data, (Timing::Base *)msg->sap() ); rtgTransitionEnd(); enterState( 3 ); }
INLINE_CHAINS void Local_Controller_Actor::chain5_Update( void ) { // transition ':TOP:Ready:J51608853014E:Update' rtgChainBegin( 2, "Update" ); exitState( rtg_parent_state ); rtgTransitionBegin(); transition5_Update( msg->data, (Timing::Base *)msg->sap() ); rtgTransitionEnd(); enterState( 2 ); }
INLINE_CHAINS void Local_Controller_Actor::chain8_Open_Doors( void ) { // transition ':TOP:Ready:J5160B3F103C1:Open_Doors' rtgChainBegin( 2, "Open_Doors" ); exitState( rtg_parent_state ); rtgTransitionBegin(); transition8_Open_Doors( msg->data, (Elevator_Request_Protocol::Conjugate *)msg->sap() ); rtgTransitionEnd(); enterState( 2 ); }
INLINE_CHAINS void DoorSensor_Actor::chain3_impede( void ) { // transition ':TOP:Ready:J56FBED4F0370:impede' rtgChainBegin( 2, "impede" ); exitState( rtg_parent_state ); rtgTransitionBegin(); transition3_impede( msg->data, (UDSProtocol::Base *)msg->sap() ); rtgTransitionEnd(); enterState( 2 ); }
INLINE_CHAINS void DoorSensor_Actor::chain2_init( void ) { // transition ':TOP:Ready:J56FBEC8602DA:init' rtgChainBegin( 2, "init" ); exitState( rtg_parent_state ); rtgTransitionBegin(); transition2_init( msg->data, (EDDSProtocol::Base *)msg->sap() ); rtgTransitionEnd(); enterState( 2 ); }
INLINE_CHAINS void serialCommunicationCapsule_Actor::chain5_timer( void ) { // transition ':TOP:Ready:J519C85FA02CA:timer' rtgChainBegin( 2, "timer" ); exitState( rtg_parent_state ); rtgTransitionBegin(); rtgTransitionEnd(); enterState( 4 ); // transition ':TOP:pollData:J519C895A03AA:timer' rtgChainBegin( 4, "timer" ); rtgTransitionBegin(); rtgTransitionEnd(); // transition ':TOP:pollData:J519C89550142:True' rtgChainBegin( 4, "True" ); exitState( rtg_parent_state ); rtgTransitionBegin(); rtgTransitionEnd(); enterState( 2 ); }
INLINE_CHAINS void ElevatorDoor_Actor::chain9_impede( void ) { // transition ':TOP:Closing:J56FBF27D0218:impede' rtgChainBegin( 4, "impede" ); exitState( rtg_parent_state ); rtgTransitionBegin(); transition9_impede( msg->data, (EDDSProtocol::Conjugate *)msg->sap() ); rtgTransitionEnd(); enterState( 3 ); }
INLINE_CHAINS void ACacaoreservoir_Actor::chain3_klepOpen( void ) { // transition ':TOP:klepDicht:J4BADEF2C0178:klepOpen' rtgChainBegin( 2, "klepOpen" ); exitState( rtg_parent_state ); rtgTransitionBegin(); transition3_klepOpen( msg->data, (PReservoir::Base *)msg->sap() ); rtgTransitionEnd(); enterState( 3 ); }
INLINE_CHAINS void ElevatorDoor_Actor::chain8_doorClosed( void ) { // transition ':TOP:Closing:J56FBF20503B0:doorClosed' rtgChainBegin( 4, "doorClosed" ); exitState( rtg_parent_state ); rtgTransitionBegin(); transition8_doorClosed( msg->data, (Timing::Base *)msg->sap() ); rtgTransitionEnd(); enterState( 2 ); }
INLINE_CHAINS void Local_Controller_Actor::chain4_New_Current_Floor( void ) { // transition ':TOP:Ready:J51587F200387:New_Current_Floor' rtgChainBegin( 2, "New_Current_Floor" ); exitState( rtg_parent_state ); rtgTransitionBegin(); transition4_New_Current_Floor( (const int *)msg->data, (Elevator_Internals::Base *)msg->sap() ); rtgTransitionEnd(); enterState( 2 ); }
INLINE_CHAINS void serialCommunicationCapsule_Actor::chain1_Initial( void ) { // transition ':TOP:Initial:Initial' rtgChainBegin( 1, "Initial" ); rtgTransitionBegin(); transition1_Initial( msg->data, msg->sap() ); rtgTransitionEnd(); if( choicePoint1_openPort( msg->data, msg->sap() ) ) chain3_True(); else chain2_False(); }
INLINE_CHAINS void roombaProgram_Actor::chain1_Start( void ) { // transition ':TOP:roombaWaitForStart:J51AB5A2600DB:Start' rtgChainBegin( 2, "Start" ); exitState( rtg_parent_state ); rtgTransitionBegin(); transition1_Start( (const int *)msg->data, (programProtocol::Base *)msg->sap() ); rtgTransitionEnd(); if( choicePoint1_checkBatteryLevel( (const int *)msg->data, (programProtocol::Base *)msg->sap() ) ) chain3_batteryFull(); else chain2_batteryTooLow(); }