SymbolicFunction (evosuite-client 1.0.5 API)

java.lang.Object
- org.evosuite.symbolic.vm.SymbolicFunction

Direct Known Subclasses:

ABS.ABS_D, ABS.ABS_F, ABS.ABS_I, ABS.ABS_L, ACOS, ASIN, ATAN, ATAN2, B_ByteValue, B_Init, B_ValueOf, BigInteger_Ctor, BigInteger_DivideAndRemainder, BigInteger_IntValue, C_CharValue, C_Init, C_ValueOf, CBRT, CEIL, Character_getNumericValue, Character_isDigit, Character_isLetter, CharAt, CompareTo, CompareToIgnoreCase, Concat, Contains, CopySign.CopySign_D, CopySign.CopySign_F, COS, COSH, D_DoubleValue, D_Init, D_ValueOf, EndsWith, Equals, EqualsIgnoreCase, EXP, EXPM1, F_FloatValue, F_Init, F_ValueOf, FLOOR, GetExponent.GetExponent_D, GetExponent.GetExponent_F, HasMoreTokens, HYPOT, I_Init, I_IntValue, I_ParseInt, I_ValueOf, IEEEremainder, IndexOf, J_Init, J_LongValue, J_ValueOf, LastIndexOf, Length, LOG, LOG10, LOG1P, Matcher_Matches, Matches, MAX.MAX_D, MAX.MAX_F, MAX.MAX_I, MAX.MAX_L, MIN.MIN_D, MIN.MIN_F, MIN.MIN_I, MIN.MIN_L, NextAfter.NextAfter_D, NextAfter.NextAfter_F, NextToken, NextUp.NextUp_D, NextUp.NextUp_F, Pattern_Matcher, Pattern_Matches, Perl5Matcher_Matches, POW, Reader_Read, RegionMatches, RegionMatches5, Replace, ReplaceAll, ReplaceFirst, RINT, Round.Round_D, Round.Round_F, S_Init, S_ShortValue, S_ValueOf, SCALB.SCALB_D, SCALB.SCALB_F, SIGNUM.SIGNUM_D, SIGNUM.SIGNUM_F, SIN, SINH, SQRT, StartsWith, StringBuffer_Append, StringBuffer_Init, StringBuffer_SetLength, StringBuffer_ToString, StringBuilder_Append, StringBuilder_Init, StringBuilder_ToString, StringReader_Init, StringReader_Read, StringTokenizer_Init, Substring, TAN, TANH, ToDegrees, ToLowerCase, ToRadians, ToString, ToUpperCase, Trim, ULP.ULP_D, ULP.ULP_F, ValueOf, Z_BooleanValue, Z_Init, Z_ValueOf
```
public abstract class SymbolicFunction
extends Object
```
This class represents the execution of a concrete method (Math.abs(), new Integer(), etc.) at the symbolic level.

Author:

galeotti

Field Summary

Fields
Modifier and Type Field and Description

protected SymbolicEnvironment env

Fields
Modifier and Type	Field and Description
`protected SymbolicEnvironment`	`env`

Constructor Summary

Constructors
Constructor and Description

SymbolicFunction(SymbolicEnvironment env, String owner, String name, String desc)

Constructors
Constructor and Description
`SymbolicFunction(SymbolicEnvironment env, String owner, String name, String desc)`

Method Summary

All Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method and Description
`IntegerConstraint`	`beforeExecuteFunction()` This callback-method is invoked by the VM before the actual execution of the method.
`abstract Object`	`executeFunction()` Returns new symbolic return value.
`protected Object`	`getConcArgument(int i)` Returns the i-th concrete parameter.
`protected boolean`	`getConcBooleanArgument(int i)` Returns the i-th concrete parameter.
`protected boolean`	`getConcBooleanRetVal()` Returns the concrete return value of the concrete method execution.
`protected byte`	`getConcByteArgument(int i)` Returns the i-th concrete parameter.
`protected byte`	`getConcByteRetVal()` Returns the concrete return value of the concrete method execution.
`protected char`	`getConcCharArgument(int i)` Returns the i-th concrete parameter.
`protected char`	`getConcCharRetVal()` Returns the concrete return value of the concrete method execution.
`protected double`	`getConcDoubleArgument(int i)` Returns the i-th concrete parameter.
`protected double`	`getConcDoubleRetVal()` Returns the concrete return value of the concrete method execution.
`protected float`	`getConcFloatArgument(int i)` Returns the i-th concrete parameter.
`protected float`	`getConcFloatRetVal()` Returns the concrete return value of the concrete method execution.
`protected int`	`getConcIntArgument(int i)` Returns the i-th concrete parameter.
`protected int`	`getConcIntRetVal()` Returns the concrete return value of the concrete method execution.
`protected long`	`getConcLongArgument(int i)` Returns the i-th concrete parameter.
`protected long`	`getConcLongRetVal()` Returns the concrete return value of the concrete method execution.
`protected Object`	`getConcReceiver()` For non-static method invocations (neither constructors) returns the concrete method receiver.
`protected Object`	`getConcRetVal()` Returns the concrete return value of the concrete method execution.
`protected short`	`getConcShortArgument(int i)` Returns the i-th concrete parameter.
`protected short`	`getConcShortRetVal()` Returns the concrete return value of the concrete method execution.
`String`	`getDesc()`
`String`	`getName()`
`String`	`getOwner()`
`protected ReferenceExpression`	`getSymbArgument(int i)` Returns the i-th symbolic parameter.
`protected IntegerValue`	`getSymbIntegerArgument(int i)` Returns the i-th symbolic parameter.
`protected IntegerValue`	`getSymbIntegerRetVal()` Returns the symbolic return value.
`protected RealValue`	`getSymbRealArgument(int i)` Returns the i-th symbolic parameter.
`protected RealValue`	`getSymbRealRetVal()` Returns the symbolic return value.
`protected ReferenceConstant`	`getSymbReceiver()` For non-static method invocations (not constructors) returns the symbolic receiver.
`protected ReferenceExpression`	`getSymbRetVal()` Returns the symbolic return value.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - env
```
protected final SymbolicEnvironment env
```
- Constructor Detail
  - SymbolicFunction
```
public SymbolicFunction(SymbolicEnvironment env,
                        String owner,
                        String name,
                        String desc)
```
- Method Detail
  - getOwner
```
public final String getOwner()
```
  - getName
```
public final String getName()
```
  - getSymbReceiver
```
protected final ReferenceConstant getSymbReceiver()
```
    For non-static method invocations (not constructors) returns the symbolic receiver.
    
    Returns:
    
    a NonNullReference with the symbolic object receiver.
  - getConcReceiver
```
protected final Object getConcReceiver()
```
    For non-static method invocations (neither constructors) returns the concrete method receiver.
    
    Returns:
    
    a Object reference (non-null) with the concrete method receiver.
  - getConcIntArgument
```
protected final int getConcIntArgument(int i)
```
    Returns the i-th concrete parameter. The parameter must be an instance of Object.
    
    Parameters:
    
    i - the parameter index.
    
    Returns:
    
    a concrete Object reference to the concrete parameter.
  - getConcShortArgument
```
protected final short getConcShortArgument(int i)
```
    Returns the i-th concrete parameter. The parameter must be a short value.
    
    Parameters:
    
    i - the parameter index.
    
    Returns:
    
    a concrete short value.
  - getConcCharArgument
```
protected final char getConcCharArgument(int i)
```
    Returns the i-th concrete parameter. The parameter must be a char value.
    
    Parameters:
    
    i - the parameter index.
    
    Returns:
    
    a concrete char value.
  - getConcDoubleArgument
```
protected final double getConcDoubleArgument(int i)
```
    Returns the i-th concrete parameter. The parameter must be a double value.
    
    Parameters:
    
    i - the parameter index.
    
    Returns:
    
    a concrete double value.
  - getConcFloatArgument
```
protected final float getConcFloatArgument(int i)
```
    Returns the i-th concrete parameter. The parameter must be a float value.
    
    Parameters:
    
    i - the parameter index.
    
    Returns:
    
    a concrete float value.
  - getConcBooleanArgument
```
protected final boolean getConcBooleanArgument(int i)
```
    Returns the i-th concrete parameter. The parameter must be a boolean value.
    
    Parameters:
    
    i - the parameter index.
    
    Returns:
    
    a concrete boolean value.
  - getConcByteArgument
```
protected final byte getConcByteArgument(int i)
```
    Returns the i-th concrete parameter. The parameter must be a byte value.
    
    Parameters:
    
    i - the parameter index.
    
    Returns:
    
    a concrete byte value.
  - getConcLongArgument
```
protected final long getConcLongArgument(int i)
```
    Returns the i-th concrete parameter. The parameter must be a long value.
    
    Parameters:
    
    i - the parameter index.
    
    Returns:
    
    a concrete long value.
  - getConcArgument
```
protected final Object getConcArgument(int i)
```
    Returns the i-th concrete parameter. The parameter must be an Object reference.
    
    Parameters:
    
    i - the parameter index.
    
    Returns:
    
    a concrete object reference.
  - getSymbIntegerArgument
```
protected final IntegerValue getSymbIntegerArgument(int i)
```
    Returns the i-th symbolic parameter. The parameter must be a symbolic integer value.
    
    Parameters:
    
    i - the parameter index.
    
    Returns:
    
    a symbolic integer value.
  - getSymbRealArgument
```
protected final RealValue getSymbRealArgument(int i)
```
    Returns the i-th symbolic parameter. The parameter must be a symbolic real value.
    
    Parameters:
    
    i - the parameter index.
    
    Returns:
    
    a symbolic real value.
  - getSymbArgument
```
protected final ReferenceExpression getSymbArgument(int i)
```
    Returns the i-th symbolic parameter. The parameter must be a symbolic reference.
    
    Parameters:
    
    i - the parameter index.
    
    Returns:
    
    a symbolic reference.
  - getSymbRetVal
```
protected final ReferenceExpression getSymbRetVal()
```
    Returns the symbolic return value. The return value must be a symbolic reference.
    
    Returns:
    
    a symbolic reference of the return value.
  - getSymbIntegerRetVal
```
protected final IntegerValue getSymbIntegerRetVal()
```
    Returns the symbolic return value. The return value must be a symbolic integer value.
    
    Returns:
    
    a symbolic integer value of the return value.
  - getSymbRealRetVal
```
protected final RealValue getSymbRealRetVal()
```
    Returns the symbolic return value. The return value must be a symbolic real value.
    
    Returns:
    
    a symbolic real return value.
  - executeFunction
```
public abstract Object executeFunction()
```
    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.
    
    Returns:
    
    object!=null && object instanceof Reference or object instanceof IntegerExpression or object instanceof RealExpression
  - getConcIntRetVal
```
protected final int getConcIntRetVal()
```
    Returns the concrete return value of the concrete method execution. The concrete return value should be an integer value
    
    Returns:
    
    an integer value with the concrete method execution.
  - getConcShortRetVal
```
protected final short getConcShortRetVal()
```
    Returns the concrete return value of the concrete method execution. The concrete return value should be a short value
    
    Returns:
    
    a short value with the concrete method execution.
  - getConcCharRetVal
```
protected final char getConcCharRetVal()
```
    Returns the concrete return value of the concrete method execution. The concrete return value should be a char value
    
    Returns:
    
    a char value with the concrete method execution.
  - getConcDoubleRetVal
```
protected final double getConcDoubleRetVal()
```
    Returns the concrete return value of the concrete method execution. The concrete return value should be a double value
    
    Returns:
    
    a double value with the concrete method execution.
  - getConcFloatRetVal
```
protected final float getConcFloatRetVal()
```
    Returns the concrete return value of the concrete method execution. The concrete return value should be a float value
    
    Returns:
    
    a float value with the concrete method execution.
  - getConcBooleanRetVal
```
protected final boolean getConcBooleanRetVal()
```
    Returns the concrete return value of the concrete method execution. The concrete return value should be a boolean value
    
    Returns:
    
    a boolean value with the concrete method execution.
  - getConcByteRetVal
```
protected final byte getConcByteRetVal()
```
    Returns the concrete return value of the concrete method execution. The concrete return value should be a byte value
    
    Returns:
    
    a byte value with the concrete method execution.
  - getConcLongRetVal
```
protected final long getConcLongRetVal()
```
    Returns the concrete return value of the concrete method execution. The concrete return value should be a long value
    
    Returns:
    
    a long value with the concrete method execution.
  - getConcRetVal
```
protected final Object getConcRetVal()
```
    Returns the concrete return value of the concrete method execution. The concrete return value should be an Object reference
    
    Returns:
    
    an Object reference with the concrete method execution.
  - getDesc
```
public final String getDesc()
```
  - beforeExecuteFunction
```
public IntegerConstraint beforeExecuteFunction()
```
    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)

Class SymbolicFunction

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

env

Constructor Detail

SymbolicFunction

Method Detail

getOwner

getName

getSymbReceiver

getConcReceiver

getConcIntArgument

getConcShortArgument

getConcCharArgument

getConcDoubleArgument

getConcFloatArgument

getConcBooleanArgument

getConcByteArgument

getConcLongArgument

getConcArgument

getSymbIntegerArgument

getSymbRealArgument

getSymbArgument

getSymbRetVal

getSymbIntegerRetVal

getSymbRealRetVal

executeFunction

getConcIntRetVal

getConcShortRetVal

getConcCharRetVal

getConcDoubleRetVal

getConcFloatRetVal

getConcBooleanRetVal

getConcByteRetVal

getConcLongRetVal

getConcRetVal

getDesc

beforeExecuteFunction