Examples with RealValue org.evosuite.symbolic.expr.fp.RealValue used on opensource projects

Example 61 with RealValue

use of org.evosuite.symbolic.expr.fp.RealValue in project evosuite by EvoSuite.

the class EXP method executeFunction.

@Override
public Object executeFunction() {
    double res = this.getConcDoubleRetVal();
    RealValue realExpression = this.getSymbRealArgument(0);
    RealValue expExpr;
    if (realExpression.containsSymbolicVariable()) {
        Operator op = Operator.EXP;
        expExpr = new RealUnaryExpression(realExpression, op, res);
    } else {
        expExpr = this.getSymbRealRetVal();
    }
    return expExpr;
}

Example 62 with RealValue

use of org.evosuite.symbolic.expr.fp.RealValue in project evosuite by EvoSuite.

the class LOG method executeFunction.

@Override
public Object executeFunction() {
    double res = this.getConcDoubleRetVal();
    RealValue realExpression = this.getSymbRealArgument(0);
    RealValue logExpr;
    if (realExpression.containsSymbolicVariable()) {
        Operator op = Operator.LOG;
        logExpr = new RealUnaryExpression(realExpression, op, res);
    } else {
        logExpr = this.getSymbRealRetVal();
    }
    return logExpr;
}

Example 63 with RealValue

use of org.evosuite.symbolic.expr.fp.RealValue 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 64 with RealValue

use of org.evosuite.symbolic.expr.fp.RealValue 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 65 with RealValue

use of org.evosuite.symbolic.expr.fp.RealValue 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;
}