| java.lang.Object
 javacard.framework.JCSystem
| JCSystem | | final public class JCSystem (Code) | | Some of the methods in this class do not have any spec. This
is because it is better to execute them symbolically (inline the
implementation) in a KeY proof and let dedicated taclets for jvm*
methods take care of the rest. Such no spec methods are marked
with "no spec"
|
| CLEAR_ON_DESELECT | | final public static byte CLEAR_ON_DESELECT(Code) | | |
| CLEAR_ON_RESET | | final public static byte CLEAR_ON_RESET(Code) | | |
| MEMORY_TYPE_PERSISTENT | | final public static byte MEMORY_TYPE_PERSISTENT(Code) | | |
| MEMORY_TYPE_TRANSIENT_DESELECT | | final public static byte MEMORY_TYPE_TRANSIENT_DESELECT(Code) | | |
| MEMORY_TYPE_TRANSIENT_RESET | | final public static byte MEMORY_TYPE_TRANSIENT_RESET(Code) | | |
| NOT_A_TRANSIENT_OBJECT | | final public static byte NOT_A_TRANSIENT_OBJECT(Code) | | |
| getTransactionDepth | | public static byte getTransactionDepth()(Code) | | |
| getVersion | | public static short getVersion()(Code) | | |
| isTransient | | public static byte isTransient(Object theObj)(Code) | | |
| makeTransientBooleanArray | | public static boolean[] makeTransientBooleanArray(short length, byte event) throws SystemException(Code) | | |
| makeTransientByteArray | | public static byte[] makeTransientByteArray(short length, byte event) throws SystemException(Code) | | |
| makeTransientShortArray | | public static short[] makeTransientShortArray(short length, byte event) throws SystemException(Code) | | |
|
|