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

Example 66 with RealValue

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

the class ACOS method executeFunction.

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

Example 67 with RealValue

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

the class ATAN method executeFunction.

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

Example 68 with RealValue

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

the class D_ValueOf method executeFunction.

@Override
public Object executeFunction() {
    RealValue real_value = this.getSymbRealArgument(0);
    ReferenceConstant symb_double = (ReferenceConstant) this.getSymbRetVal();
    Double conc_double = (Double) this.getConcRetVal();
    env.heap.putField(Types.JAVA_LANG_DOUBLE, SymbolicHeap.$DOUBLE_VALUE, conc_double, symb_double, real_value);
    return symb_double;
}

Example 69 with RealValue

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

the class F_Init method executeFunction.

@Override
public Object executeFunction() {
    RealValue fp32 = this.getSymbRealArgument(0);
    ReferenceConstant symb_float = this.getSymbReceiver();
    env.heap.putField(Types.JAVA_LANG_FLOAT, SymbolicHeap.$FLOAT_VALUE, null, /* conc_float */
    symb_float, fp32);
    // return void
    return null;
}

Example 70 with RealValue

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

the class LOG1P method executeFunction.

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