OCL specifications for Java Card API
javacard.framework
AID.txt
APDU.txt
APDUException.txt
Applet.txt
CardException.txt
CardRuntimeException.txt
ISOException.txt
JCSystem.txt
OwnerPIN.txt
PIN.txt
PINException.txt
SystemException.txt
TransactionException.txt
UserException.txt
Util.txt