Commit 0f4ff898 authored by fetke's avatar fetke
Browse files

more codec annotations (unfinished)

parent 367e84df

ePassport/ttcn/ePassport_Types.ttcn

+289 −259
Original line number Diff line number Diff line
@@ -283,6 +283,9 @@ module ePassport_Types { 
				type union GenericPayload {

					GenericData genericData,

					RawPayload rawPayload

				} with {

					variant

					"use=com.testingtech.ttcn.tci.helper.EPassportCodecHelper;encode=EPassportCodecHelper.encodeGenericPayload();decode=EPassportCodecHelper.decodeGenericPayload();"

				}



				type record GenericData {
@@ -327,8 +330,10 @@ module ePassport_Types { 
				} with {variant "length=2"}



				type union SelectPayload {

					SelectData selectData,

					RawPayload rawPayload

					SelectData selectData, RawPayload rawPayload

				} with {

					variant

					"use=com.testingtech.ttcn.tci.helper.EPassportCodecHelper;encode=EPassportCodecHelper.encodeSelectPayload();decode=EPassportCodecHelper.decodeSelectPayload();"

				}



				type record SelectData {
@@ -343,6 +348,9 @@ module ePassport_Types { 
				type union ReadBinaryParams {

					FileIdAndOffset fileIdAndOffset, // MSB==1

					LongOffset longOffset // MSB==0

				} with {

					variant (fileIdAndOffset)	"fieldPresent=bits(1,1)";

					variant (longOffset)		"fieldPresent=bits(1,0)";

				}



				type enumerated FileIdOrLongOffset {
@@ -365,6 +373,9 @@ module ePassport_Types { 
				type union ReadBinaryPayload {

					ReadBinaryData readBinaryData,

					RawPayload rawPayload

				} with {

					variant

					"use=com.testingtech.ttcn.tci.helper.EPassportCodecHelper;encode=EPassportCodecHelper.encodeReadBinaryPayload();decode=EPassportCodecHelper.decodeReadBinaryPayload();"

				}



				type record ReadBinaryData {
@@ -382,6 +393,9 @@ module ePassport_Types { 
				type union ReadBinaryWithOffsetDataObjectPayload {

					ReadBinaryWithOffsetDataObjectData readBinaryWithOffsetDataObjectData,

					RawPayload rawPayload

				} with {

					variant

					"use=com.testingtech.ttcn.tci.helper.EPassportCodecHelper;encode=EPassportCodecHelper.encodeReadBinaryWithOffsetDataObjectPayload();decode=EPassportCodecHelper.decodeReadBinaryWithOffsetDataObjectPayload();"

				}



				type record ReadBinaryWithOffsetDataObjectData {
@@ -401,6 +415,9 @@ module ePassport_Types { 
				type union GetChallengePayload {

					GetChallengeData getChallengeData,

					RawPayload rawPayload

				} with {

					variant

					"use=com.testingtech.ttcn.tci.helper.EPassportCodecHelper;encode=EPassportCodecHelper.encodeReadBinaryWithOffsetDataObjectPayload();decode=EPassportCodecHelper.decodeReadBinaryWithOffsetDataObjectPayload();"

				}



				type record GetChallengeData {
@@ -430,6 +447,9 @@ module ePassport_Types { 
				type union ExternalOrMutualAuthenticatePayload {

					ExternalOrMutualAuthenticateData externalOrMutualAuthenticateData,

					RawPayload rawPayload

				} with {

					variant

					"use=com.testingtech.ttcn.tci.helper.EPassportCodecHelper;encode=EPassportCodecHelper.encodeExternalOrMutualAuthenticatePayload();decode=EPassportCodecHelper.decodeExternalOrMutualAuthenticatePayload();"

				}



				type record ExternalOrMutualAuthenticateData {
@@ -449,6 +469,9 @@ module ePassport_Types { 
				type union InternalAuthenticatePayload {

					InternalAuthenticateData internalAuthenticateData,

					RawPayload rawPayload

				} with {

					variant

					"use=com.testingtech.ttcn.tci.helper.EPassportCodecHelper;encode=EPassportCodecHelper.encodeInternalAuthenticatePayload();decode=EPassportCodecHelper.decodeInternalAuthenticatePayload();"

				}



				type record InternalAuthenticateData {
@@ -508,6 +531,9 @@ module ePassport_Types { 
				type union ManageSecurityEnvironmentPayload {

					ManageSecurityEnvironmentData manageSecurityEnvironmentData,

					RawPayload rawPayload

				} with {

					variant

					"use=com.testingtech.ttcn.tci.helper.EPassportCodecHelper;encode=EPassportCodecHelper.encodeManageSecurityEnvironmentPayload();decode=EPassportCodecHelper.decodeManageSecurityEnvironmentPayload();"

				}



				type union ManageSecurityEnvironmentData {
@@ -517,6 +543,11 @@ module ePassport_Types { 
					//CrtCCT crtCCT,

					CrtDST crtDST

					//CrtCT crtCT

				} with {

					// TODO: fill this stub

					variant (crtAT)		"fieldPresent=bits(1,1)";

					variant (crtKAT)	"fieldPresent=bits(1,0)";

					variant (CrtDST)	"fieldPresent=bits(1,0)";

				}



			} // end ManageSecurityEnvironmentMsg
@@ -529,7 +560,6 @@ module ePassport_Types { 






			

			group ControlReferenceTemplates {



				type set CrtAT {