Loading ePassport/ttcn/ePassport_Altsteps.ttcn +5 −2 Original line number Original line Diff line number Diff line Loading @@ -70,6 +70,7 @@ } } [] any port.receive { [] any port.receive { log("**** a_default: Error: Unexpected message received. ****"); log("**** a_default: Error: Unexpected message received. ****"); mrtdport.send(m_responseNOK(c_w1w2InstructionCodeNotSupportedOrInvalid)); setverdict(inconc); setverdict(inconc); stop; stop; } } Loading @@ -85,9 +86,11 @@ [] mgmtport.receive(mw_report(int2oct(enum2int(e_aisNoFailure), 2))) { [] mgmtport.receive(mw_report(int2oct(enum2int(e_aisNoFailure), 2))) { f_pushPassResult(enum2int(e_aisNoFailure)); f_pushPassResult(enum2int(e_aisNoFailure)); mrtdport.send(m_responseOK); } } [] mgmtport.receive(mw_report(?)) -> value v_report { [] mgmtport.receive(mw_report(?)) -> value v_report { f_pushFailResult(oct2int(v_report.payload.genericData.data[0])); f_pushFailResult(oct2int(v_report.payload.genericData.data[0])); mrtdport.send(m_responseOK); repeat; repeat; } } Loading ePassport/ttcn/ePassport_Templates.ttcn +1 −1 Original line number Original line Diff line number Diff line Loading @@ -120,7 +120,7 @@ module ePassport_Templates { data := v_failCode data := v_failCode } } }, }, lengthE := 0 lengthE := omit } } } // end managementTemplates } // end managementTemplates Loading ePassport/ttcn/ePassport_Values.ttcn +2 −1 Original line number Original line Diff line number Diff line Loading @@ -27,6 +27,7 @@ module ePassport_Values { const W1W2Status c_w1w2ConditionsOfUseNotSatisfied := '6985'O; const W1W2Status c_w1w2ConditionsOfUseNotSatisfied := '6985'O; const W1W2Status c_w1w2NoCurrentEF := '6986'O; const W1W2Status c_w1w2NoCurrentEF := '6986'O; const W1W2Status c_w1w2ReferencedDataOrReferenceDataNotFound := '6A88'O; const W1W2Status c_w1w2ReferencedDataOrReferenceDataNotFound := '6A88'O; const W1W2Status c_w1w2InstructionCodeNotSupportedOrInvalid := '6D00'O; } // end w1w2Constants } // end w1w2Constants Loading Loading
ePassport/ttcn/ePassport_Altsteps.ttcn +5 −2 Original line number Original line Diff line number Diff line Loading @@ -70,6 +70,7 @@ } } [] any port.receive { [] any port.receive { log("**** a_default: Error: Unexpected message received. ****"); log("**** a_default: Error: Unexpected message received. ****"); mrtdport.send(m_responseNOK(c_w1w2InstructionCodeNotSupportedOrInvalid)); setverdict(inconc); setverdict(inconc); stop; stop; } } Loading @@ -85,9 +86,11 @@ [] mgmtport.receive(mw_report(int2oct(enum2int(e_aisNoFailure), 2))) { [] mgmtport.receive(mw_report(int2oct(enum2int(e_aisNoFailure), 2))) { f_pushPassResult(enum2int(e_aisNoFailure)); f_pushPassResult(enum2int(e_aisNoFailure)); mrtdport.send(m_responseOK); } } [] mgmtport.receive(mw_report(?)) -> value v_report { [] mgmtport.receive(mw_report(?)) -> value v_report { f_pushFailResult(oct2int(v_report.payload.genericData.data[0])); f_pushFailResult(oct2int(v_report.payload.genericData.data[0])); mrtdport.send(m_responseOK); repeat; repeat; } } Loading
ePassport/ttcn/ePassport_Templates.ttcn +1 −1 Original line number Original line Diff line number Diff line Loading @@ -120,7 +120,7 @@ module ePassport_Templates { data := v_failCode data := v_failCode } } }, }, lengthE := 0 lengthE := omit } } } // end managementTemplates } // end managementTemplates Loading
ePassport/ttcn/ePassport_Values.ttcn +2 −1 Original line number Original line Diff line number Diff line Loading @@ -27,6 +27,7 @@ module ePassport_Values { const W1W2Status c_w1w2ConditionsOfUseNotSatisfied := '6985'O; const W1W2Status c_w1w2ConditionsOfUseNotSatisfied := '6985'O; const W1W2Status c_w1w2NoCurrentEF := '6986'O; const W1W2Status c_w1w2NoCurrentEF := '6986'O; const W1W2Status c_w1w2ReferencedDataOrReferenceDataNotFound := '6A88'O; const W1W2Status c_w1w2ReferencedDataOrReferenceDataNotFound := '6A88'O; const W1W2Status c_w1w2InstructionCodeNotSupportedOrInvalid := '6D00'O; } // end w1w2Constants } // end w1w2Constants Loading