line# code Score ABS AOR LCR ROR UOI ALL
1_1 //§R316,§RI317
1_2 IF (NOT Unit_is_Type1) THEN State_Type1:=eState_Type1.ZERO_STATE; END_IF 100.0% [0, 0, 0] [0, 0, 0] [0, 0, 0] [0, 0, 0] [1, 0, 0] [1, 0, 0]
1_3 IF (Unit_is_Type1 AND (State_Type1=eState_Type1.ZERO_STATE)) THEN State_Type1:=eState_Type1.SETUP_STATE; END_IF 100.0% [0, 0, 0] [0, 0, 0] [2, 0, 0] [1, 0, 0] [1, 0, 0] [4, 0, 0]
1_4
1_5 //§R428,§RI429
1_6 Type1_SetupDone:=((NOT(State_Type1=eState_Type1.ZERO_STATE)) AND (NOT(State_Type1=eState_Type1.SETUP_STATE))); 100.0% [0, 0, 0] [0, 0, 0] [2, 0, 0] [2, 0, 0] [0, 0, 0] [4, 0, 0]
1_7
1_8 Setup_State_Type1_T_ON(In:=((State_Type1=eState_Type1.SETUP_STATE) AND ComponentSetup_Done),TimeOnDelay:=T_BT_TYPE1_Unit_SETUP,InitState:=FALSE); 100.0% [0, 0, 0] [0, 0, 0] [2, 0, 0] [1, 0, 0] [0, 0, 0] [3, 0, 0]
1_9
1_10 LockCond:=FALSE;
1_11 IF (Setup_State_Type1_T_ON.Out
1_12 OR
1_13 ((NOT(State_Type1=eState_Type1.ZERO_STATE)) AND (NOT(State_Type1=eState_Type1.SETUP_STATE)) AND 100.0% [0, 0, 0] [0, 0, 0] [2, 0, 0] [2, 0, 0] [0, 0, 0] [4, 0, 0]
1_14 ((CommandIn=BYTE#0) OR Sig1_from_Type2 OR Sig2_from_Type2 OR (NOT Orientation_Valid))) 57.1% [0, 0, 0] [0, 0, 0] [3, 3, 0] [1, 0, 0] [0, 0, 0] [4, 3, 0]
1_15 ) THEN
1_16 LockCond:=TRUE;
1_17 END_IF
1_18
1_19 IF (LockCond) THEN State_Type1:=eState_Type1.LOCK_STATE; END_IF 100.0% [0, 0, 0] [0, 0, 0] [0, 0, 0] [0, 0, 0] [1, 0, 0] [1, 0, 0]
1_20
1_21 //§R430,§RI431
1_22 IF ((CommandIn=CMD_BASIC) AND (State_Type1=eState_Type1.LOCK_STATE) AND (NOT LockCond)) THEN 100.0% [0, 0, 0] [0, 0, 0] [4, 0, 0] [2, 0, 0] [1, 0, 0] [7, 0, 0]
1_23 State_Type1:=eState_Type1.BASIC_STATE;
1_24 END_IF
1_25
1_26 //§R003,§RI004
1_27 Communication_Test_Command:=RangeOfCommTest(CommandIn);
1_28
1_29 IF ((State_Type1=eState_Type1.BASIC_STATE) AND (NOT Communication_Test_Command_Old) AND Communication_Test_Command AND (NOT LockCond)) THEN 100.0% [0, 0, 0] [0, 0, 0] [6, 0, 0] [1, 0, 0] [1, 0, 0] [8, 0, 0]
1_30 State_Type1:=eState_Type1.AVAILABILITY_CHECK;
1_31 END_IF
1_32 IF ((State_Type1_Old=eState_Type1.AVAILABILITY_CHECK) AND (State_Type1=eState_Type1.AVAILABILITY_CHECK) AND (NOT LockCond) AND (((NOT AvailabilityChanged) AND (NOT DemandAvailability)) OR (CommandIn=CMD_BASIC) OR (CommandIn=CMD_ABORTED))) THEN 87.5% [0, 0, 0] [0, 0, 0] [10, 2, 0] [4, 0, 0] [0, 0, 0] [14, 2, 0]
1_33 State_Type1:=eState_Type1.BASIC_STATE;
1_34 END_IF
1_35 Communication_Test_Command_Old:=Communication_Test_Command;
1_36 State_Type1_Old:=State_Type1;
EOF ====================================================================================================================