Added constraints on send templates (bc60b2a8) · Commits · MTS - Methods for Testing and Specification / ePassport

ePassport/ttcn/ePassport_Templates.ttcn

+34 −33

Original line number	Diff line number	Diff line
		@@ -20,7 +20,7 @@ module ePassport_Templates {
		// The type is WRONG, copied from the EFfile type
		// It may contain the certificate for the IS
		// TEMPLATES m_start
		template Response m_start := {
		template (value) Response m_start := {
		responseData := omit,
		w1w2 := '9999'O // ???
		}
		@@ -60,7 +60,7 @@ module ePassport_Templates {
		}

		// TEMPLATES m_setdata_cert
		template Response m_setdata_cert := { // to be change later by defining a real function to provide certificate to the IS !!!
		template (value) Response m_setdata_cert := { // to be change later by defining a real function to provide certificate to the IS !!!
		responseData := omit,
		w1w2 := '9999'O // ???
		}
		@@ -74,12 +74,13 @@ module ePassport_Templates {
		payload := mw_payload(omit, 0)
		}

		template ResponseData m_responseData(template PlainTextResponseData p_responseData) := {
		plainTextResponseData := p_responseData
		template (value) ResponseData m_responseData(
		template (value) PlainTextResponseData p_responseData) := {
		plainText := p_responseData
		}

		// TEMPLATES m_start
		template Response m_setdata_mrz := {
		template (value) Response m_setdata_mrz := {
		responseData := m_responseData(char2oct(PXT_MRZ)), // to be change later by providing real data !!!
		w1w2 := c_normalProcessing
		}
		@@ -96,7 +97,7 @@ module ePassport_Templates {
		group Simple_files_templates {

		// TEMPLATES EF.COM file
		template EFfile m_EF_COM := {
		template (value) EFfile m_EF_COM := {
		filename := "EF.COM",
		shortFID := '1e'O,
		fileID := '011e'O,
		@@ -104,7 +105,7 @@ module ePassport_Templates {
		}

		// TEMPLATES EF.SOD file
		template EFfile m_EF_SOD := {
		template (value) EFfile m_EF_SOD := {
		filename := "EF.SOD",
		shortFID := '1d'O,
		fileID := '011d'O,
		@@ -112,7 +113,7 @@ module ePassport_Templates {
		}

		// TEMPLATES DG1 file
		template EFfile m_DG1 := {
		template (value) EFfile m_DG1 := {
		filename := "EF.DG1",
		shortFID := '01'O,
		fileID := '0101'O,
		@@ -120,7 +121,7 @@ module ePassport_Templates {
		}

		// TEMPLATES DG2 file
		template EFfile m_DG2 := {
		template (value) EFfile m_DG2 := {
		filename := "EF.DG2",
		shortFID := '02'O,
		fileID := '0102'O,
		@@ -128,7 +129,7 @@ module ePassport_Templates {
		}

		// TEMPLATES DG3 file
		template EFfile m_DG3 := {
		template (value) EFfile m_DG3 := {
		filename := "EF.DG3",
		shortFID := '03'O,
		fileID := '0103'O,
		@@ -136,7 +137,7 @@ module ePassport_Templates {
		}

		// TEMPLATES DG4 file
		template EFfile m_DG4 := {
		template (value) EFfile m_DG4 := {
		filename := "EF.DG4",
		shortFID := '04'O,
		fileID := '0104'O,
		@@ -144,7 +145,7 @@ module ePassport_Templates {
		}

		// TEMPLATES DG14 file
		template EFfile m_DG14 := {
		template (value) EFfile m_DG14 := {
		filename := "EF.DG14",
		shortFID := '0e'O,
		fileID := '010e'O,
		@@ -152,7 +153,7 @@ module ePassport_Templates {
		}

		// TEMPLATES DG15 file
		template EFfile m_DG15 := {
		template (value) EFfile m_DG15 := {
		filename := "EF.DG15",
		shortFID := '0f'O,
		fileID := '010f'O,
		@@ -161,7 +162,7 @@ module ePassport_Templates {


		// TEMPLATES EF.CVCA file
		template EFfile m_EF_CVCA := {
		template (value) EFfile m_EF_CVCA := {
		filename := "EF.CVCA",
		shortFID := '1c'O,
		fileID := '011c'O,
		@@ -174,7 +175,7 @@ module ePassport_Templates {
		group Modified_files_templates
		{
		// TEMPLATES EF.SOD file modified according E_06
		template EFfile m_EF_SOD_E06 := {
		template (value) EFfile m_EF_SOD_E06 := {
		filename := "EF.CVCA.E06",
		shortFID := '1c'O,
		fileID := '011c'O,
		@@ -182,7 +183,7 @@ module ePassport_Templates {
		}

		// TEMPLATES EF.CVCA_E08 file
		template EFfile m_EF_CVCA_E08 := {
		template (value) EFfile m_EF_CVCA_E08 := {
		filename := "EF.CVCA.E08",
		shortFID := '1c'O,
		fileID := '011c'O,
		@@ -190,7 +191,7 @@ module ePassport_Templates {
		}

		// TEMPLATES EF.SOD_E08 file
		template EFfile m_EF_SOD_E08 := {
		template (value) EFfile m_EF_SOD_E08 := {
		filename := "EF.SOD.E08",
		shortFID := '1d'O,
		fileID := '011d'O,
		@@ -198,7 +199,7 @@ module ePassport_Templates {
		}

		// TEMPLATES DG1_LDS_B25 file
		template EFfile m_DG1_LDS_B25 := {
		template (value) EFfile m_DG1_LDS_B25 := {
		filename := "EF.DG1.LDS_B25",
		shortFID := '01'O,
		fileID := '0101'O,
		@@ -206,7 +207,7 @@ module ePassport_Templates {
		}

		// TEMPLATES EF.SOD file
		template EFfile m_EF_SOD_LDS_B25 := {
		template (value) EFfile m_EF_SOD_LDS_B25 := {
		filename := "EF.SOD.LDS_B25",
		shortFID := '1d'O,
		fileID := '011d'O,
		@@ -214,7 +215,7 @@ module ePassport_Templates {
		}

		// TEMPLATES DG3_LDS_D12 file
		template EFfile m_DG3_LDS_D12 := {
		template (value) EFfile m_DG3_LDS_D12 := {
		filename := "EF.DG3.LDS_D12",
		shortFID := '01'O,
		fileID := '0101'O,
		@@ -222,7 +223,7 @@ module ePassport_Templates {
		}

		// TEMPLATES EF.SOD file LDS_D12
		template EFfile m_EF_SOD_LDS_D12 := {
		template (value) EFfile m_EF_SOD_LDS_D12 := {
		filename := "EF.SOD.LDS_D12",
		shortFID := '1d'O,
		fileID := '011d'O,
		@@ -230,7 +231,7 @@ module ePassport_Templates {
		}

		// TEMPLATES DG3_LDS_F04 file
		template EFfile m_DG14_LDS_F04 := {
		template (value) EFfile m_DG14_LDS_F04 := {
		filename := "EF.DG14.LDS_F04",
		shortFID := '01'O,
		fileID := '0101'O,
		@@ -238,7 +239,7 @@ module ePassport_Templates {
		}

		// TEMPLATES EF.SOD file LDS_F04
		template EFfile m_EF_SOD_LDS_F04 := {
		template (value) EFfile m_EF_SOD_LDS_F04 := {
		filename := "EF.SOD.LDS_F04",
		shortFID := '1d'O,
		fileID := '011d'O,
		@@ -246,7 +247,7 @@ module ePassport_Templates {
		}

		// TEMPLATES EF.SOD file LDS_H37
		template EFfile m_EF_SOD_LDS_H37 := {
		template (value) EFfile m_EF_SOD_LDS_H37 := {
		filename := "EF.SOD.LDS_H37",
		shortFID := '1d'O,
		fileID := '011d'O,
		@@ -258,7 +259,7 @@ module ePassport_Templates {
		group ConfigSet_templates {

		// TEMPLATES Configuration set
		template ConfigurationSet m_cfg_plain := {
		template (value) ConfigurationSet m_cfg_plain := {
		efcom := m_EF_COM,
		efsod := m_EF_SOD,
		dg1 := m_DG1,
		@@ -274,7 +275,7 @@ module ePassport_Templates {
		mrz := PXT_MRZ
		};

		template ConfigurationSet m_cfg_bac := {
		template (value) ConfigurationSet m_cfg_bac := {
		efcom := m_EF_COM,
		efsod := m_EF_SOD,
		dg1 := m_DG1,
		@@ -290,7 +291,7 @@ module ePassport_Templates {
		mrz := PXT_MRZ
		};

		template ConfigurationSet m_cfg_eac := {
		template (value) ConfigurationSet m_cfg_eac := {
		efcom := m_EF_COM,
		efsod := m_EF_SOD,
		dg1 := m_DG1,
		@@ -307,7 +308,7 @@ module ePassport_Templates {
		};


		template ConfigurationSet m_cfg_eac_aa := {
		template (value) ConfigurationSet m_cfg_eac_aa := {
		efcom := m_EF_COM,
		efsod := m_EF_SOD,
		dg1 := m_DG1,
		@@ -466,25 +467,25 @@ module ePassport_Templates {
		group Response_templates {

		// Response OK
		template Response m_responseOK := {
		template (value) Response m_responseOK := {
		responseData := omit,
		w1w2 := c_normalProcessing
		}

		// Response Data Template
		template Response m_responseNOK(W1W2Status v_w1w2) := {
		template (value) Response m_responseNOK(W1W2Status v_w1w2) := {
		responseData := omit,
		w1w2 := v_w1w2
		}

		// Response Data Template
		template Response m_response_read(template PlainTextResponseData v_data) := {
		responseData := {PlainTextResponseData := v_data},
		template (value) Response m_response_read(template (omit) PlainTextResponseData v_data) := {
		responseData := {plainText := v_data},
		w1w2 := c_normalProcessing
		}

		// Response Data Template
		template Response m_response(ResponseData v_data, W1W2Status v_w1w2) := {
		template (value) Response m_response(ResponseData v_data, W1W2Status v_w1w2) := {
		responseData := v_data,
		w1w2 := v_w1w2
		}