Uses of Interface
org.evosuite.dse.IVM

Packages that use IVM

Package	Description
org.evosuite.dse
org.evosuite.symbolic.vm

Uses of IVM in org.evosuite.dse

Classes in org.evosuite.dse that implement IVM

Modifier and Type	Class and Description
class	AbstractVM VM ByteCode instruction listener that does not have access to any shared state of the VM.

Fields in org.evosuite.dse declared as IVM

Modifier and Type	Field and Description
protected IVM[]	VM.listeners

Fields in org.evosuite.dse with type parameters of type IVM

Modifier and Type	Field and Description
protected List<IVM>	VM.appendListeners
protected List<IVM>	VM.prependListeners

Methods in org.evosuite.dse with parameters of type IVM

Modifier and Type	Method and Description
void	VM.appendListener(IVM ivm) This method should be called before VM.setListeners(java.util.List<org.evosuite.dse.IVM>).
void	VM.prependListener(IVM ivm) This method should be called before VM.setListeners(java.util.List<org.evosuite.dse.IVM>).

Method parameters in org.evosuite.dse with type arguments of type IVM

Modifier and Type	Method and Description
void	VM.setListeners(List<IVM> paramListeners) Registers paramListeners and any listernes previously queued via prependListeners and appendListeners.

Uses of IVM in org.evosuite.symbolic.vm

Classes in org.evosuite.symbolic.vm that implement IVM

Modifier and Type	Class and Description
class	ArithmeticVM ByteCode instructions that pop operands off the stack, perform some computation, and optionally push the result back onto the stack.
class	CallVM Explicit inter-procedural control transfer: InvokeXXX, Return, etc.
class	HeapVM Static area (static fields) and heap (instance fields) FIXME: reset static state before each execution.
class	JumpVM Java byte codes we group together as "jump-related" Explicit intra-procedural control transfer, conditional or unconditional: Goto, jump, etc.
class	LocalsVM
class	OtherVM
class	SymbolicFunctionVM