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();
}
