Commit d88e1641 authored by berge's avatar berge
Browse files

Populated Instruction enum

parent d828223e

ePassport/ttcn/ePassport_Types.ttcn

+51 −3
Original line number Diff line number Diff line
@@ -122,8 +122,56 @@ module ePassport_Types { 
            } with {variant "length=1"}

            

            type enumerated Instruction {            	

                 e_deactivateFile(4),

                 e_select(164)

				e_deactivateFile(4), // 0x04

				e_eraseRecords(12), // 0x0C

				e_eraseBinaryWithOffset(14), // 0x0E 

				e_eraseBinaryWithOffsetDataObjects(15), // 0x0F 

				e_performScqlOperation(16), // 0x10 

				e_performTransactionOperation(18), // 0x12 

				e_performUserOPeration(20), // 0x 14

				e_verifyWithVerificationData(32), // 0x20

				e_verifyWithVerificationDataObject(33), // 0x21 

				e_manageSecurityEnvvironment(34), // 0x22 

				e_changeReferenceData(36), // 0x24 

				e_disableVerificationRequirement(38), // 0x26 

				e_enableVerificationRequirement(40), // 0x28

				e_performSecurityOperation(42), // 0x2A 

				e_resetRetryCounter(44), // 0x2C 

				e_activateFile(68), // 0x44

				e_generateAsymmetricKeyPair(70), // 0x46 

				e_manageChannel(112), // 0x70

				e_externalOrMutualAuthenticate(130), // 0x82 

				e_getChallenge(132), // 0x84

				e_generalAuthenticate(135), // 0x87 

				e_internalAuthenticate(136), // 0x88

				e_searchBinaryWithSearchString(160), // 0xA0

				e_searchBinaryWithOffsetAndDiscretionaryDataObjects(161), // 0xA1

				e_searchRecord(162), // 0xA2

				e_select(164), // 0xA4

				e_readBinary(176), // 0xB0

				e_readBinaryWithOffsetDataObject(177), // 0xB1

				e_readRecords(178), // 0xB2

				e_readRecordsWithOffsetDataObject(179), // 0xB3

				e_getResponse(192), // 0xC0

				e_envelopeWithApdu(194), // 0xC2

				e_envelopeWithBerTlvDataObject(195), // 0xC3

				e_getData(202), // 0xCA

				e_getDataWithTagListOrHeaderListDataObjects(203), // 0xCB

				e_writeBinaryWithStringOfData(208), // 0xD0 

				e_writeBinaryWithOffsetAndDiscretionaryDataObjects(209), // 0xD1

				e_writeRecord(210), // 0xD2

				e_updateBinaryWithStringOfData(214), // 0xD6

				e_updateBinaryWithOffsetAndDiscretionaryDataObjects(215), // 0XD7

				e_putDataWithDataBytes(218), // 0xDA

				e_putDataWithConcatenationOfBerTlvDataObjects(219), // 0xDB

				e_updateRecordWithData(220), // 0xDC

				e_updateRecordWithOffsetAndDiscretionaryDataObjects(221), // 0xDD

				e_createFile(224), // 0xE0

				e_appendRecord(226), // 0xE2

				e_deleteFile(228), // 0xE4

				e_terminateDF_1(230), // 0xE6

				e_terminateDF_2(232), // 0xE8

				e_terminateCardUsage(254) //0xFE

            } with {variant "length=8"}

            

            type Bit8 P1Status with {variant "length=8"};