Examples with ReferenceConstant org.evosuite.symbolic.expr.ref.ReferenceConstant used on opensource projects

Example 71 with ReferenceConstant

use of org.evosuite.symbolic.expr.ref.ReferenceConstant in project evosuite by EvoSuite.

the class C_Init method executeFunction.

@Override
public Object executeFunction() {
    ReferenceConstant symb_character = this.getSymbReceiver();
    IntegerValue bv32 = this.getSymbIntegerArgument(0);
    env.heap.putField(Types.JAVA_LANG_CHARACTER, SymbolicHeap.$CHAR_VALUE, null, /* conc_character */
    symb_character, bv32);
    // return void
    return null;
}

Example 72 with ReferenceConstant

use of org.evosuite.symbolic.expr.ref.ReferenceConstant in project evosuite by EvoSuite.

the class D_Init method executeFunction.

@Override
public Object executeFunction() {
    RealValue fp64 = this.getSymbRealArgument(0);
    ReferenceConstant symb_double = this.getSymbReceiver();
    env.heap.putField(Types.JAVA_LANG_DOUBLE, SymbolicHeap.$DOUBLE_VALUE, null, /* conc_double */
    symb_double, fp64);
    // return voids
    return null;
}

Example 73 with ReferenceConstant

use of org.evosuite.symbolic.expr.ref.ReferenceConstant in project evosuite by EvoSuite.

the class F_FloatValue method executeFunction.

@Override
public Object executeFunction() {
    ReferenceConstant symb_float = this.getSymbReceiver();
    Float conc_float = (Float) this.getConcReceiver();
    float conc_float_value = this.getConcFloatRetVal();
    RealValue symb_int_value = env.heap.getField(Types.JAVA_LANG_FLOAT, SymbolicHeap.$FLOAT_VALUE, conc_float, symb_float, conc_float_value);
    return symb_int_value;
}

Example 74 with ReferenceConstant

use of org.evosuite.symbolic.expr.ref.ReferenceConstant in project evosuite by EvoSuite.

the class F_ValueOf method executeFunction.

@Override
public Object executeFunction() {
    RealValue real_value = this.getSymbRealArgument(0);
    ReferenceConstant symb_float = (ReferenceConstant) this.getSymbRetVal();
    Float conc_float = (Float) this.getConcRetVal();
    env.heap.putField(Types.JAVA_LANG_FLOAT, SymbolicHeap.$FLOAT_VALUE, conc_float, symb_float, real_value);
    return symb_float;
}

Example 75 with ReferenceConstant

use of org.evosuite.symbolic.expr.ref.ReferenceConstant in project evosuite by EvoSuite.

the class J_Init method executeFunction.

@Override
public Object executeFunction() {
    IntegerValue bv64 = this.getSymbIntegerArgument(0);
    ReferenceConstant symb_long = this.getSymbReceiver();
    env.heap.putField(Types.JAVA_LANG_LONG, SymbolicHeap.$LONG_VALUE, null, /* conc_long */
    symb_long, bv64);
    // return void
    return null;
}