org.evosuite.symbolic.vm.wrappers

Class I_ParseInt

java.lang.Object

org.evosuite.symbolic.vm.SymbolicFunction

org.evosuite.symbolic.vm.wrappers.I_ParseInt

public final class I_ParseInt
extends SymbolicFunction

Field Summary

Fields inherited from class org.evosuite.symbolic.vm.SymbolicFunction

env

Constructor Summary

Constructors

Constructor and Description
I_ParseInt(SymbolicEnvironment env)

Method Summary

Modifier and Type	Method and Description
IntegerConstraint	beforeExecuteFunction() This callback-method is invoked by the VM before the actual execution of the method.
Object	executeFunction() Returns new symbolic return value.

Methods inherited from class org.evosuite.symbolic.vm.SymbolicFunction

getConcArgument, getConcBooleanArgument, getConcBooleanRetVal, getConcByteArgument, getConcByteRetVal, getConcCharArgument, getConcCharRetVal, getConcDoubleArgument, getConcDoubleRetVal, getConcFloatArgument, getConcFloatRetVal, getConcIntArgument, getConcIntRetVal, getConcLongArgument, getConcLongRetVal, getConcReceiver, getConcRetVal, getConcShortArgument, getConcShortRetVal, getDesc, getName, getOwner, getSymbArgument, getSymbIntegerArgument, getSymbIntegerRetVal, getSymbRealArgument, getSymbRealRetVal, getSymbReceiver, getSymbRetVal

Methods inherited from class java.lang.Object

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

Constructor Detail

I_ParseInt

public I_ParseInt(SymbolicEnvironment env)

Method Detail

executeFunction

public Object executeFunction()

Description copied from class: SymbolicFunction

Returns new symbolic return value. All symbolic method invocations with return values (except constructor calls or void calls) should return a symbolic value. The old symbolic value can be obtained by using the getSymbRetVal, getSymbRealRetVal and getSymbIntegerRetVal methods.

Specified by:

executeFunction in class SymbolicFunction

Returns:

object!=null && object instanceof Reference or object instanceof IntegerExpression or object instanceof RealExpression

beforeExecuteFunction

public IntegerConstraint beforeExecuteFunction()

Description copied from class: SymbolicFunction

This callback-method is invoked by the VM before the actual execution of the method. This is the very last chance of saving concrete values before the execution of the concrete method. This could return an IntegerConstraint (such as String.isInteger)

Overrides:

beforeExecuteFunction in class SymbolicFunction