Adapted templates to new types (58d98641) · Commits · MTS - Methods for Testing and Specification / ePassport

ePassport/ttcn/ePassport_Templates.ttcn

+43 −42

Original line number	Diff line number	Diff line
		@@ -38,10 +38,10 @@ module ePassport_Templates {
		lengthC := ?,
		payload := {
		genericData := {
		data := omit,
		lengthE := 0
		}
		data := omit
		}
		},
		lengthE := 0
		}

		// TEMPLATES m_get_data_MRZ
		@@ -55,10 +55,10 @@ module ePassport_Templates {
		lengthC := ?,
		payload := {
		genericData := {
		data := omit,
		lengthE := 0
		}
		data := omit
		}
		},
		lengthE := 0
		}

		// TEMPLATES m_setdata_cert
		@@ -118,10 +118,10 @@ module ePassport_Templates {
		lengthC := ?,
		payload := {
		genericData := {
		data := v_failCode,
		lengthE := 0
		}
		data := v_failCode
		}
		},
		lengthE := 0
		}
		} // end managementTemplates

		@@ -141,10 +141,10 @@ module ePassport_Templates {
		lengthC := ?,
		payload := {
		selectData := {
		fileId := 'a0000002471001'O, // FIXME
		lengthE := omit
		}
		fileId := 'a0000002471001'O // FIXME
		}
		},
		lengthE := omit
		}

		//SELECT TEMPLATES 00 a4 02 0c 02 01 1e
		@@ -161,10 +161,10 @@ module ePassport_Templates {
		lengthC := ?,
		payload := {
		selectData := {
		fileId := v_fileID,
		lengthE := omit
		}
		fileId := v_fileID
		}
		},
		lengthE := omit
		}

		template CommandSelect mw_selectAnyFile := {
		@@ -180,10 +180,10 @@ module ePassport_Templates {
		lengthC := ?,
		payload := {
		selectData := {
		fileId := ?,
		lengthE := omit
		}
		fileId := ?
		}
		},
		lengthE := omit
		}

		template CommandReadBinary mw_readShortEF (ShortFileId p_shortFileId) := {
		@@ -199,10 +199,9 @@ module ePassport_Templates {
		},
		lengthC := ?,
		payload := {
		readBinaryData := {
		lengthE := ?
		}
		}
		readBinaryData := ?
		},
		lengthE := *
		}

		template CommandReadBinary mw_readAnyShortEF := {
		@@ -218,10 +217,9 @@ module ePassport_Templates {
		},
		lengthC := ?,
		payload := {
		readBinaryData := {
		lengthE := ?
		}
		}
		readBinaryData := ?
		},
		lengthE := *
		}

		template CommandReadBinary mw_readCurrentEF := {
		@@ -235,10 +233,9 @@ module ePassport_Templates {
		},
		lengthC := ?,
		payload := {
		readBinaryData := {
		lengthE := ?
		}
		}
		readBinaryData := ?
		},
		lengthE := *
		}

		template CommandGetChallenge mw_getChallenge := {
		@@ -250,10 +247,9 @@ module ePassport_Templates {
		},
		lengthC := ?,
		payload := {
		getChallengeData := {
		lengthE := ?
		}
		}
		getChallengeData := ?
		},
		lengthE := *
		}

		template CommandExternalOrMutualAuthenticate mw_extAuthenticate := {
		@@ -264,7 +260,8 @@ module ePassport_Templates {
		referenceData := ?
		},
		lengthC := ?,
		payload := ?
		payload := ?,
		lengthE := *
		}

		template CommandInternalAuthenticate mw_intAuthenticate := {
		@@ -275,7 +272,8 @@ module ePassport_Templates {
		referenceData := ?
		},
		lengthC := ?,
		payload := ?
		payload := ?,
		lengthE := *
		}

		template CommandManageSecurityEnvironment mw_mseSetDST := {
		@@ -303,7 +301,8 @@ module ePassport_Templates {
		crtUsageQualifierByte := *
		}
		}
		}
		},
		lengthE := *
		}

		template CommandManageSecurityEnvironment mw_mseSetKAT := {
		@@ -338,7 +337,8 @@ module ePassport_Templates {
		crtUsageQualifierByte := *
		}
		}
		}
		},
		lengthE := *
		}

		template CommandManageSecurityEnvironment mw_mseSetAT := {
		@@ -366,7 +366,8 @@ module ePassport_Templates {
		crtUsageQualifierByte := *
		}
		}
		}
		},
		lengthE := *
		}

		template CommandPerformSecurityOperation mw_psoVerifyCertificate := {
		@@ -379,10 +380,10 @@ module ePassport_Templates {
		lengthC := ?,
		payload := {
		genericData := {
		data := ?,
		lengthE := *
		}
		data := ?
		}
		},
		lengthE := *
		}

		} // end commandTemplates