org.evosuite.symbolic.vm

Class LocalsVM

java.lang.Object

org.evosuite.dse.AbstractVM

org.evosuite.symbolic.vm.LocalsVM

All Implemented Interfaces:

IVM

public final class LocalsVM
extends AbstractVM

Author:

galeotti

Field Summary

Fields inherited from class org.evosuite.dse.AbstractVM

conf

Constructor Summary

Constructors

Constructor and Description
LocalsVM(SymbolicEnvironment env)

Method Summary

Modifier and Type	Method and Description
void	ACONST_NULL() http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.doc .html#aconst_null
void	ALOAD(int i)
void	ASTORE(int i)
void	BIPUSH(int value) Bytecode instruction stream: ...
void	DCONST_0()
void	DCONST_1()
void	DLOAD(int i)
void	DSTORE(int i)
void	FCONST_0()
void	FCONST_1()
void	FCONST_2()
void	FLOAD(int i)
void	FSTORE(int i)
void	ICONST_0()
void	ICONST_1()
void	ICONST_2()
void	ICONST_3()
void	ICONST_4()
void	ICONST_5()
void	ICONST_M1() http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
void	ILOAD(int i) ...
void	ISTORE(int i) ..., value ==> ...
void	LCONST_0()
void	LCONST_1()
void	LDC(Class<?> x) Class literal described in Java Spec 3rd ed, Section 15.8.2 ".class" Java expression, such as for example in: I.class.isAssignableFrom(..)
void	LDC(float x)
void	LDC(int x) Bytecode instruction stream: ...
void	LDC(String x) http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.
void	LDC2_W(double x)
void	LDC2_W(long x)
void	LLOAD(int i)
void	LSTORE(int i)
void	NOP()
void	SIPUSH(int value) Bytecode instruction stream: ...

Methods inherited from class org.evosuite.dse.AbstractVM

AALOAD, AASTORE, ALOAD_0, ALOAD_1, ALOAD_2, ALOAD_3, ANEWARRAY, ARETURN, ARRAYLENGTH, ASTORE_0, ASTORE_1, ASTORE_2, ASTORE_3, ATHROW, BALOAD, BASTORE, BB_BEGIN, CALL_RESULT, CALL_RESULT, CALL_RESULT, CALL_RESULT, CALL_RESULT, CALL_RESULT, CALL_RESULT, CALLER_STACK_PARAM, CALLER_STACK_PARAM, CALLER_STACK_PARAM, CALLER_STACK_PARAM, CALLER_STACK_PARAM, CALLER_STACK_PARAM, CALLER_STACK_PARAM, CALLER_STACK_PARAM, CALLER_STACK_PARAM, CALOAD, CASTORE, CHECKCAST, D2F, D2I, D2L, DADD, DALOAD, DASTORE, DCMPG, DCMPL, DDIV, DLOAD_0, DLOAD_1, DLOAD_2, DLOAD_3, DMUL, DNEG, DREM, DRETURN, DSTORE_0, DSTORE_1, DSTORE_2, DSTORE_3, DSUB, DUP_X1, DUP_X2, DUP, DUP2_X1, DUP2_X2, DUP2, F2D, F2I, F2L, FADD, FALOAD, FASTORE, FCMPG, FCMPL, FDIV, FLOAD_0, FLOAD_1, FLOAD_2, FLOAD_3, FMUL, FNEG, FREM, FRETURN, FSTORE_0, FSTORE_1, FSTORE_2, FSTORE_3, FSUB, GETFIELD, GETSTATIC, GOTO_W, GOTO, HANDLER_BEGIN, I2B, I2C, I2D, I2F, I2L, I2S, IADD, IALOAD, IAND, IASTORE, IDIV, IF_ACMPEQ, IF_ACMPNE, IF_ICMPEQ, IF_ICMPGE, IF_ICMPGT, IF_ICMPLE, IF_ICMPLT, IF_ICMPNE, IFEQ, IFGE, IFGT, IFLE, IFLT, IFNE, IFNONNULL, IFNULL, IINC, ILOAD_0, ILOAD_1, ILOAD_2, ILOAD_3, IMUL, INEG, INSTANCEOF, INVOKEINTERFACE, INVOKESPECIAL, INVOKESPECIAL, INVOKESTATIC, INVOKEVIRTUAL, IOR, IREM, IRETURN, ISHL, ISHR, ISTORE_0, ISTORE_1, ISTORE_2, ISTORE_3, ISUB, IUSHR, IXOR, JSR_W, JSR, L2D, L2F, L2I, LADD, LALOAD, LAND, LASTORE, LCMP, LDC_W, LDIV, LLOAD_0, LLOAD_1, LLOAD_2, LLOAD_3, LMUL, LNEG, LOOKUPSWITCH, LOR, LREM, LRETURN, LSHL, LSHR, LSTORE_0, LSTORE_1, LSTORE_2, LSTORE_3, LSUB, LUSHR, LXOR, METHOD_BEGIN_PARAM, METHOD_BEGIN_PARAM, METHOD_BEGIN_PARAM, METHOD_BEGIN_PARAM, METHOD_BEGIN_PARAM, METHOD_BEGIN_PARAM, METHOD_BEGIN_PARAM, METHOD_BEGIN_PARAM, METHOD_BEGIN_PARAM, METHOD_BEGIN_RECEIVER, METHOD_BEGIN, METHOD_MAXS, MONITORENTER, MONITOREXIT, MULTIANEWARRAY, NEW, NEWARRAY, POP, POP2, PUTFIELD, PUTSTATIC, RET, RETURN, SALOAD, SASTORE, SRC_LINE_NUMBER, SWAP, TABLESWITCH, UNUSED, WIDE

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LocalsVM

public LocalsVM(SymbolicEnvironment env)

Method Detail

NOP

public void NOP()

Specified by:

NOP in interface IVM

Overrides:

NOP in class AbstractVM

ACONST_NULL

public void ACONST_NULL()

http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2.doc .html#aconst_null

Specified by:

ACONST_NULL in interface IVM

Overrides:

ACONST_NULL in class AbstractVM

ICONST_M1

public void ICONST_M1()

http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6.html#iconst_i

Specified by:

ICONST_M1 in interface IVM

Overrides:

ICONST_M1 in class AbstractVM

ICONST_0

public void ICONST_0()

Specified by:

ICONST_0 in interface IVM

Overrides:

ICONST_0 in class AbstractVM

ICONST_1

public void ICONST_1()

Specified by:

ICONST_1 in interface IVM

Overrides:

ICONST_1 in class AbstractVM

ICONST_2

public void ICONST_2()

Specified by:

ICONST_2 in interface IVM

Overrides:

ICONST_2 in class AbstractVM

ICONST_3

public void ICONST_3()

Specified by:

ICONST_3 in interface IVM

Overrides:

ICONST_3 in class AbstractVM

ICONST_4

public void ICONST_4()

Specified by:

ICONST_4 in interface IVM

Overrides:

ICONST_4 in class AbstractVM

ICONST_5

public void ICONST_5()

Specified by:

ICONST_5 in interface IVM

Overrides:

ICONST_5 in class AbstractVM

LCONST_0

public void LCONST_0()

Specified by:

LCONST_0 in interface IVM

Overrides:

LCONST_0 in class AbstractVM

LCONST_1

public void LCONST_1()

Specified by:

LCONST_1 in interface IVM

Overrides:

LCONST_1 in class AbstractVM

FCONST_0

public void FCONST_0()

Specified by:

FCONST_0 in interface IVM

Overrides:

FCONST_0 in class AbstractVM

FCONST_1

public void FCONST_1()

Specified by:

FCONST_1 in interface IVM

Overrides:

FCONST_1 in class AbstractVM

FCONST_2

public void FCONST_2()

Specified by:

FCONST_2 in interface IVM

Overrides:

FCONST_2 in class AbstractVM

DCONST_0

public void DCONST_0()

Specified by:

DCONST_0 in interface IVM

Overrides:

DCONST_0 in class AbstractVM

DCONST_1

public void DCONST_1()

Specified by:

DCONST_1 in interface IVM

Overrides:

DCONST_1 in class AbstractVM

BIPUSH

public void BIPUSH(int value)

Bytecode instruction stream: ... ,0x10, byte, ...

Push the byte value that immediately follows this bytecode instruction (0x10) in the bytecode stream. The byte value is sign-extended to an int. http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc1.html#bipush

Specified by:

BIPUSH in interface IVM

Overrides:

BIPUSH in class AbstractVM

SIPUSH

public void SIPUSH(int value)

Bytecode instruction stream: ... ,0x11, byte1, byte2, ...

Push the short value that immediately follows this bytecode instruction (0x11) in the bytecode stream. The short value is sign-extended to an int. http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc13.html#sipush

Specified by:

SIPUSH in interface IVM

Overrides:

SIPUSH in class AbstractVM

LDC

public void LDC(int x)

Bytecode instruction stream: ... ,0x12, index, ...

Push corresponding symbolic constant from constant pool (at index) onto the operand stack. http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc8.html#ldc

Specified by:

LDC in interface IVM

Overrides:

LDC in class AbstractVM

LDC

public void LDC(String x)

Description copied from interface: IVM

http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc8. html#ldc

Specified by:

LDC in interface IVM

Overrides:

LDC in class AbstractVM

LDC

public void LDC(Class<?> x)

Class literal described in Java Spec 3rd ed, Section 15.8.2 ".class" Java expression, such as for example in: I.class.isAssignableFrom(..)

Represent reference to Class object with symbolic function application: ClassRef(Type)

Specified by:

LDC in interface IVM

Overrides:

LDC in class AbstractVM

See Also:

://java.sun.com/docs/books/jls/third_edition/html/expressions.html #15.8.2

LDC2_W

public void LDC2_W(long x)

Specified by:

LDC2_W in interface IVM

Overrides:

LDC2_W in class AbstractVM

LDC

public void LDC(float x)

Specified by:

LDC in interface IVM

Overrides:

LDC in class AbstractVM

LDC2_W

public void LDC2_W(double x)

Specified by:

LDC2_W in interface IVM

Overrides:

LDC2_W in class AbstractVM

ILOAD

public void ILOAD(int i)

... ==> ..., value http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6.html#iload

Specified by:

ILOAD in interface IVM

Overrides:

ILOAD in class AbstractVM

LLOAD

public void LLOAD(int i)

Specified by:

LLOAD in interface IVM

Overrides:

LLOAD in class AbstractVM

FLOAD

public void FLOAD(int i)

Specified by:

FLOAD in interface IVM

Overrides:

FLOAD in class AbstractVM

DLOAD

public void DLOAD(int i)

Specified by:

DLOAD in interface IVM

Overrides:

DLOAD in class AbstractVM

ALOAD

public void ALOAD(int i)

Specified by:

ALOAD in interface IVM

Overrides:

ALOAD in class AbstractVM

ISTORE

public void ISTORE(int i)

..., value ==> ... http://java.sun.com/docs/books/jvms/second_edition/html/Instructions2. doc6.html#istore

Specified by:

ISTORE in interface IVM

Overrides:

ISTORE in class AbstractVM

LSTORE

public void LSTORE(int i)

Specified by:

LSTORE in interface IVM

Overrides:

LSTORE in class AbstractVM

FSTORE

public void FSTORE(int i)

Specified by:

FSTORE in interface IVM

Overrides:

FSTORE in class AbstractVM

DSTORE

public void DSTORE(int i)

Specified by:

DSTORE in interface IVM

Overrides:

DSTORE in class AbstractVM

ASTORE

public void ASTORE(int i)

Specified by:

ASTORE in interface IVM

Overrides:

ASTORE in class AbstractVM