diff options
Diffstat (limited to 'policy_manager/stm/zipc/StateTransitionor/CarState/ZCAR_CarState.c')
-rw-r--r-- | policy_manager/stm/zipc/StateTransitionor/CarState/ZCAR_CarState.c | 51 |
1 files changed, 7 insertions, 44 deletions
diff --git a/policy_manager/stm/zipc/StateTransitionor/CarState/ZCAR_CarState.c b/policy_manager/stm/zipc/StateTransitionor/CarState/ZCAR_CarState.c index 8e20123..2134a99 100644 --- a/policy_manager/stm/zipc/StateTransitionor/CarState/ZCAR_CarState.c +++ b/policy_manager/stm/zipc/StateTransitionor/CarState/ZCAR_CarState.c @@ -1,7 +1,7 @@ /************************************************************/ /* ZCAR_CarState.c */ /* CarState State transition model source file */ -/* ZIPC Designer Version 1.2.0 */ +/* ZIPC Designer Version 1.2.1 */ /************************************************************/ #include "../ZST_include.h" @@ -44,19 +44,10 @@ static void ZCAR_CarStates1e0( void ) /****************************************/ static void ZCAR_CarStates0Event( void ) { - /*stt_lightstatus_brake_off*/ - if( g_stm_crr_state.car_element[StmCarElementNoLightstatusBrake].state == StmLightstatusBrakeSttNoOff ) + /*stt_accel_pedal_on*/ + if( g_stm_crr_state.car_element[StmCarElementNoAccelPedal].state == StmAccelPedalSttNoOn ) { - /*stt_accel_pedal_on*/ - if( g_stm_crr_state.car_element[StmCarElementNoAccelPedal].state == StmAccelPedalSttNoOn ) - { - ZCAR_CarStates0e1(); - } - else - { - /*Else and default design have not done.*/ - /*Please confirm the STM and design else and default.*/ - } + ZCAR_CarStates0e1(); } else { @@ -72,38 +63,10 @@ static void ZCAR_CarStates0Event( void ) /****************************************/ static void ZCAR_CarStates1Event( void ) { - /*stt_lightstatus_brake_off*/ - if( g_stm_crr_state.car_element[StmCarElementNoLightstatusBrake].state == StmLightstatusBrakeSttNoOff ) + /*stt_accel_pedal_off*/ + if( g_stm_crr_state.car_element[StmCarElementNoAccelPedal].state == StmAccelPedalSttNoOff ) { - /*stt_accel_pedal_off*/ - if( g_stm_crr_state.car_element[StmCarElementNoAccelPedal].state == StmAccelPedalSttNoOff ) - { - ZCAR_CarStates1e0(); - } - else - { - /*Else and default design have not done.*/ - /*Please confirm the STM and design else and default.*/ - } - } - /*stt_lightstatus_brake_on*/ - else if( g_stm_crr_state.car_element[StmCarElementNoLightstatusBrake].state == StmLightstatusBrakeSttNoOn ) - { - /*stt_accel_pedal_off*/ - if( g_stm_crr_state.car_element[StmCarElementNoAccelPedal].state == StmAccelPedalSttNoOff ) - { - ZCAR_CarStates1e0(); - } - /*stt_accel_pedal_on*/ - else if( g_stm_crr_state.car_element[StmCarElementNoAccelPedal].state == StmAccelPedalSttNoOn ) - { - ZCAR_CarStates1e0(); - } - else - { - /*Else and default design have not done.*/ - /*Please confirm the STM and design else and default.*/ - } + ZCAR_CarStates1e0(); } else { |