Examples with IntegerValue org.evosuite.symbolic.expr.bv.IntegerValue used on opensource projects

Example 16 with IntegerValue

use of org.evosuite.symbolic.expr.bv.IntegerValue in project evosuite by EvoSuite.

the class Z_ValueOf method executeFunction.

@Override
public Object executeFunction() {
    IntegerValue int_value = this.getSymbIntegerArgument(0);
    ReferenceConstant symb_boolean = (ReferenceConstant) this.getSymbRetVal();
    Boolean conc_boolean = (Boolean) this.getConcRetVal();
    env.heap.putField(Types.JAVA_LANG_BOOLEAN, SymbolicHeap.$BOOLEAN_VALUE, conc_boolean, symb_boolean, int_value);
    return symb_boolean;
}

Example 17 with IntegerValue

use of org.evosuite.symbolic.expr.bv.IntegerValue in project evosuite by EvoSuite.

the class I_ValueOf method executeFunction.

@Override
public Object executeFunction() {
    IntegerValue int_value = this.getSymbIntegerArgument(0);
    ReferenceConstant symb_integer = (ReferenceConstant) this.getSymbRetVal();
    Integer conc_integer = (Integer) this.getConcRetVal();
    env.heap.putField(Types.JAVA_LANG_INTEGER, SymbolicHeap.$INT_VALUE, conc_integer, symb_integer, int_value);
    return symb_integer;
}

Example 18 with IntegerValue

use of org.evosuite.symbolic.expr.bv.IntegerValue in project evosuite by EvoSuite.

the class S_ValueOf method executeFunction.

@Override
public Object executeFunction() {
    IntegerValue int_value = this.getSymbIntegerArgument(0);
    ReferenceConstant symb_short = (ReferenceConstant) this.getSymbRetVal();
    Short conc_short = (Short) this.getConcRetVal();
    env.heap.putField(Types.JAVA_LANG_SHORT, SymbolicHeap.$SHORT_VALUE, conc_short, symb_short, int_value);
    return symb_short;
}

Example 19 with IntegerValue

use of org.evosuite.symbolic.expr.bv.IntegerValue in project evosuite by EvoSuite.

the class B_ByteValue method executeFunction.

@Override
public Object executeFunction() {
    ReferenceConstant symb_byte = this.getSymbReceiver();
    Byte conc_byte = (Byte) this.getConcReceiver();
    int conc_byte_value = this.getConcByteRetVal();
    IntegerValue symb_byte_value = env.heap.getField(Types.JAVA_LANG_BYTE, SymbolicHeap.$BYTE_VALUE, conc_byte, symb_byte, conc_byte_value);
    return symb_byte_value;
}

Example 20 with IntegerValue

use of org.evosuite.symbolic.expr.bv.IntegerValue in project evosuite by EvoSuite.

the class C_ValueOf method executeFunction.

@Override
public Object executeFunction() {
    IntegerValue int_value = this.getSymbIntegerArgument(0);
    ReferenceConstant symb_character = (ReferenceConstant) this.getSymbRetVal();
    Character conc_character = (Character) this.getConcRetVal();
    env.heap.putField(Types.JAVA_LANG_CHARACTER, SymbolicHeap.$CHAR_VALUE, conc_character, symb_character, int_value);
    return symb_character;
}