Esempio n. 1
0
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 );
}
Esempio n. 3
0
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 );
}
Esempio n. 18
0
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();
}
Esempio n. 22
0
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();
}