Commit 4a4eaf69 authored by berge's avatar berge
Browse files

Type change: alias for each command

parent 3a3e268b

ePassport/ttcn/ePassport_Types.ttcn

+40 −2
Original line number Diff line number Diff line
@@ -61,6 +61,45 @@ module ePassport_Types { 
				Payload			payload

			} with {variant "isPdu;"};

			

			type Command CommandDeactivateFile;

			type Command CommandEraseRecords;

			type Command CommandEraseBinary;

			type Command CommandPerformScqlOperation; 

			type Command CommandPerformTransactionOperation;

			type Command CommandPerformUserOPeration;

			type Command CommandVerify;

			type Command CommandManageSecurityEnvironment;

			type Command CommandChangeReferenceData; 

			type Command CommandDisableVerificationRequirement;

			type Command CommandEnableVerificationRequirement;

			type Command CommandPerformSecurityOperation;

			type Command CommandResetRetryCounter;

			type Command CommandActivateFile;

			type Command CommandGenerateAsymmetricKeyPair;

			type Command CommandManageChannel;

			type Command CommandExternalOrMutualAuthenticate; 

			type Command CommandGetChallenge;

			type Command CommandGeneralAuthenticate; 

			type Command CommandInternalAuthenticate;

			type Command CommandSearchBinary;

			type Command CommandSearchRecord;

			type Command CommandSelect;

			type Command CommandReadBinary;

			type Command CommandReadRecords;

			type Command CommandGetResponse;

			type Command CommandEnvelope;

			type Command CommandGetData;

			type Command CommandWriteBinary;

			type Command CommandWriteRecord;

			type Command CommandUpdateBinary;

			type Command CommandPutDataWith;

			type Command CommandUpdateRecord;

			type Command CommandCreateFile;

			type Command CommandAppendRecord;

			type Command CommandDeleteFile;

			type Command CommandTerminateDF;

			type Command CommandTerminateCardUsage;

			

			type union Payload {

				PlainTextPayload 	plainText,

				EncryptedPayload 	encrypted
@@ -79,7 +118,6 @@ module ePassport_Types { 
    

    		type octetstring EncryptedData;			

			

			

			type union Class {

                 FirstInterindustryClass	first,

                 FurtherInterindustryClass 	further