Fixed some naming convention issues (7247bc7e) · Commits · MTS - Methods for Testing and Specification / ePassport

ePassport/ttcn/ePassport_Functions.ttcn

+0 −3

Original line number	Diff line number	Diff line
		@@ -246,9 +246,6 @@

		} // end f_chipAuthentication

		function f_terminalAuthentication() {

		} // end f_terminalAuthentication
		}

		group fileFunctions {

ePassport/ttcn/ePassport_Templates.ttcn

+11 −11

Original line number	Diff line number	Diff line
		@@ -99,56 +99,56 @@ module ePassport_Templates {
		// TEMPLATES EF.COM file
		template (value) EFfile m_fileCOM := {
		filename := "EF.COM",
		shortFID := '1e'O,
		shortFileId := '1e'O,
		fileID := '011e'O
		}

		// TEMPLATES EF.SOD file
		template (value) EFfile m_fileSOD := {
		filename := "EF.SOD",
		shortFID := '1d'O,
		shortFileId := '1d'O,
		fileID := '011d'O
		}

		// TEMPLATES DG1 file
		template (value) EFfile m_fileDG1 := {
		filename := "EF.DG1",
		shortFID := '01'O,
		shortFileId := '01'O,
		fileID := '0101'O
		}

		// TEMPLATES DG2 file
		template (value) EFfile m_fileDG2 := {
		filename := "EF.DG2",
		shortFID := '02'O,
		shortFileId := '02'O,
		fileID := '0102'O
		}

		// TEMPLATES DG3 file
		template (value) EFfile m_fileDG3 := {
		filename := "EF.DG3",
		shortFID := '03'O,
		shortFileId := '03'O,
		fileID := '0103'O
		}

		// TEMPLATES DG4 file
		template (value) EFfile m_fileDG4 := {
		filename := "EF.DG4",
		shortFID := '04'O,
		shortFileId := '04'O,
		fileID := '0104'O
		}

		// TEMPLATES DG14 file
		template (value) EFfile m_fileDG14 := {
		filename := "EF.DG14",
		shortFID := '0e'O,
		shortFileId := '0e'O,
		fileID := '010e'O
		}

		// TEMPLATES DG15 file
		template (value) EFfile m_fileDG15 := {
		filename := "EF.DG15",
		shortFID := '0f'O,
		shortFileId := '0f'O,
		fileID := '010f'O
		}

		@@ -156,7 +156,7 @@ module ePassport_Templates {
		// TEMPLATES EF.CVCA file
		template (value) EFfile m_fileCVCA := {
		filename := "EF.CVCA",
		shortFID := '1c'O,
		shortFileId := '1c'O,
		fileID := '011c'O
		}
		}//group Simple_files_templates
		@@ -304,10 +304,10 @@ module ePassport_Templates {
		payload := mw_payload(omit, ?)
		}

		template Command mw_readShortEF (ShortFileId v_shortFID) := {
		template Command mw_readShortEF (ShortFileId p_shortFileId) := {
		class := mw_class_00,
		ins := e_readBinary, //'b0'O,
		p1 := (oct2bit(v_shortFID) or4b '10000000'B), // '100?????'B,
		p1 := (oct2bit(p_shortFileId) or4b '10000000'B), // '100?????'B,
		p2 := ?,
		payload := mw_payload(omit, ?)
		}

ePassport/ttcn/ePassport_Types.ttcn

+1 −1

Original line number	Diff line number	Diff line
		@@ -50,7 +50,7 @@ module ePassport_Types {

		type record EFfile {
		charstring filename,
		ShortFileId shortFID,
		ShortFileId shortFileId,
		LongFileId fileID
		};