gov.nasa.jpf.vm.Verify.assertTrue(boolean)
use 'assert' directly
|
gov.nasa.jpf.vm.Verify.assertTrue(String, boolean)
use "assert cond : msg"
|
sun.misc.Unsafe.getBoolean(Object, int) |
sun.misc.Unsafe.getByte(Object, int) |
java.lang.String.getBytes(int, int, byte[], int) |
sun.misc.Unsafe.getChar(Object, int) |
gov.nasa.jpf.vm.MethodInfo.getCompleteName()
- use getFullName
|
sun.misc.Unsafe.getDouble(Object, int) |
sun.misc.Unsafe.getFloat(Object, int) |
gov.nasa.jpf.vm.ElementInfo.getIndex() |
sun.misc.Unsafe.getInt(Object, int) |
sun.misc.Unsafe.getLong(Object, int) |
sun.misc.Unsafe.getObject(Object, int) |
sun.misc.Unsafe.getShort(Object, int) |
gov.nasa.jpf.vm.ThreadInfo.getStack()
- use Iterable
|
sun.misc.Unsafe.putBoolean(Object, int, boolean) |
sun.misc.Unsafe.putByte(Object, int, byte) |
sun.misc.Unsafe.putChar(Object, int, char) |
sun.misc.Unsafe.putDouble(Object, int, double) |
sun.misc.Unsafe.putFloat(Object, int, float) |
sun.misc.Unsafe.putInt(Object, int, int) |
sun.misc.Unsafe.putLong(Object, int, long) |
sun.misc.Unsafe.putObject(Object, int, Object) |
sun.misc.Unsafe.putShort(Object, int, short) |
gov.nasa.jpf.vm.ThreadInfo.skipInstruction() |