| 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 | ==================================================================================================================== |