Commit d84d304c authored May 06, 2010 by berge

Modified templates (optional payload field)

parent f1eab68c

ePassport/ttcn/ePassport_Templates.ttcn

+13 −29

Original line number	Diff line number	Diff line
		@@ -52,12 +52,8 @@ module ePassport_Templates {
		p1 := '00000001'B,
		p2 := '11110010'B
		},
		lengthC := ?,
		payload := {
		genericData := {
		data := omit
		}
		},
		lengthC := *,
		payload := *,
		lengthE := 0
		}

		@@ -118,7 +114,7 @@ module ePassport_Templates {
		p1 := '00001111'B,
		p2 := ?
		},
		lengthC := ?,
		lengthC := *,
		payload := {
		genericData := {
		data := v_failCode
		@@ -200,10 +196,8 @@ module ePassport_Templates {
		offset := ?
		}
		},
		lengthC := ?,
		payload := {
		readBinaryData := ?
		},
		lengthC := *,
		payload := *,
		lengthE := ?
		}

		@@ -218,10 +212,8 @@ module ePassport_Templates {
		offset := ?
		}
		},
		lengthC := ?,
		payload := {
		readBinaryData := ?
		},
		lengthC := *,
		payload := *,
		lengthE := ?
		}

		@@ -234,10 +226,8 @@ module ePassport_Templates {
		offset := ?
		}
		},
		lengthC := ?,
		payload := {
		readBinaryData := ?
		},
		lengthC := *,
		payload := *,
		lengthE := *
		}

		@@ -248,10 +238,8 @@ module ePassport_Templates {
		algorithm := ?,
		reserved := c_1ZeroByte
		},
		lengthC := ?,
		payload := {
		getChallengeData := ?
		},
		lengthC := *,
		payload := *,
		lengthE := ?
		}

		@@ -416,12 +404,8 @@ module ePassport_Templates {
		p1 := '00000000'B, // FIXME
		p2 := '10111110'B // FIXME
		},
		lengthC := ?,
		payload := {
		genericData := {
		data := ?
		}
		},
		lengthC := *,
		payload := *,
		lengthE := *
		}