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

Example 96 with ReferenceConstant

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

the class Z_BooleanValue method executeFunction.

@Override
public Object executeFunction() {
    ReferenceConstant symb_boolean = this.getSymbReceiver();
    Boolean conc_boolean = (Boolean) this.getConcReceiver();
    boolean conc_boolean_value = this.getConcBooleanRetVal();
    IntegerValue symb_boolean_value = env.heap.getField(Types.JAVA_LANG_BOOLEAN, SymbolicHeap.$BOOLEAN_VALUE, conc_boolean, symb_boolean, conc_boolean_value ? 1 : 0);
    return symb_boolean_value;
}

Example 97 with ReferenceConstant

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

the class Z_Init method executeFunction.

@Override
public Object executeFunction() {
    IntegerValue bv32 = this.getSymbIntegerArgument(0);
    ReferenceConstant symb_boolean = this.getSymbReceiver();
    env.heap.putField(Types.JAVA_LANG_BOOLEAN, SymbolicHeap.$BOOLEAN_VALUE, null, /* conc_boolean */
    symb_boolean, bv32);
    // return void
    return null;
}

Example 98 with ReferenceConstant

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

the class J_LongValue method executeFunction.

@Override
public Object executeFunction() {
    ReferenceConstant symb_long = this.getSymbReceiver();
    Long conc_long = (Long) this.getConcReceiver();
    long conc_long_value = this.getConcLongRetVal();
    IntegerValue symb_long_value = env.heap.getField(Types.JAVA_LANG_LONG, SymbolicHeap.$LONG_VALUE, conc_long, symb_long, conc_long_value);
    return symb_long_value;
}

Example 99 with ReferenceConstant

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

the class S_Init method executeFunction.

@Override
public Object executeFunction() {
    IntegerValue bv32 = this.getSymbIntegerArgument(0);
    ReferenceConstant symb_short = this.getSymbReceiver();
    env.heap.putField(Types.JAVA_LANG_SHORT, SymbolicHeap.$SHORT_VALUE, null, /* conc_short */
    symb_short, bv32);
    // return void
    return null;
}