org.evosuite.symbolic.vm

Class SymbolicEnvironment

java.lang.Object

org.evosuite.symbolic.vm.SymbolicEnvironment

public final class SymbolicEnvironment
extends Object

Author:

galeotti

Field Summary

Fields

Modifier and Type	Field and Description
SymbolicHeap	heap Storage for symbolic information in the memory heap

Constructor Summary

Constructors

Constructor and Description
SymbolicEnvironment(ConcolicInstrumentingClassLoader classLoader)

Method Summary

Modifier and Type	Method and Description
Frame	callerFrame()
void	ensurePrepared(Class<?> claz)
Class<?>	ensurePrepared(String className)
boolean	isEmpty()
Frame	popFrame()
void	prepareStack(Method mainMethod) Prepare stack of function invocation frames.
void	pushFrame(Frame frame)
Frame	topFrame()

Methods inherited from class java.lang.Object

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

Field Detail

heap

public final SymbolicHeap heap

Storage for symbolic information in the memory heap

Constructor Detail

SymbolicEnvironment

public SymbolicEnvironment(ConcolicInstrumentingClassLoader classLoader)

Method Detail

topFrame

public Frame topFrame()

pushFrame

public void pushFrame(Frame frame)

callerFrame

public Frame callerFrame()

popFrame

public Frame popFrame()

ensurePrepared

public Class<?> ensurePrepared(String className)

ensurePrepared

public void ensurePrepared(Class<?> claz)

prepareStack

public void prepareStack(Method mainMethod)

Prepare stack of function invocation frames. Clear function invocation stack, push a frame that pretends to call the method under test. We push variables for our method onto the pseudo-callers stack, so our method can pop them from there.

isEmpty

public boolean isEmpty()