use of org.evosuite.symbolic.expr.Operator in project evosuite by EvoSuite.
the class ToRadians method executeFunction.
@Override
public Object executeFunction() {
double res = this.getConcDoubleRetVal();
RealValue realExpression = this.getSymbRealArgument(0);
RealValue toRadiansExpr;
if (realExpression.containsSymbolicVariable()) {
Operator op = Operator.TORADIANS;
toRadiansExpr = new RealUnaryExpression(realExpression, op, res);
} else {
toRadiansExpr = this.getSymbRealRetVal();
}
return toRadiansExpr;
}
use of org.evosuite.symbolic.expr.Operator in project evosuite by EvoSuite.
the class EXPM1 method executeFunction.
@Override
public Object executeFunction() {
double res = this.getConcDoubleRetVal();
RealValue realExpression = this.getSymbRealArgument(0);
RealValue expm1Expr;
if (realExpression.containsSymbolicVariable()) {
Operator op = Operator.EXPM1;
expm1Expr = new RealUnaryExpression(realExpression, op, res);
} else {
expm1Expr = this.getSymbRealRetVal();
}
return expm1Expr;
}
use of org.evosuite.symbolic.expr.Operator in project evosuite by EvoSuite.
the class IEEEremainder method executeFunction.
@Override
public Object executeFunction() {
double res = this.getConcDoubleRetVal();
RealValue left = this.getSymbRealArgument(0);
RealValue right = this.getSymbRealArgument(1);
RealValue ieeeRemainderExpr;
if (left.containsSymbolicVariable() || right.containsSymbolicVariable()) {
Operator op = Operator.IEEEREMAINDER;
ieeeRemainderExpr = new RealBinaryExpression(left, op, right, res);
} else {
ieeeRemainderExpr = this.getSymbRealRetVal();
}
return ieeeRemainderExpr;
}
use of org.evosuite.symbolic.expr.Operator in project evosuite by EvoSuite.
the class POW method executeFunction.
@Override
public Object executeFunction() {
double res = this.getConcDoubleRetVal();
RealValue left = this.getSymbRealArgument(0);
RealValue right = this.getSymbRealArgument(1);
RealValue powExpr;
if (left.containsSymbolicVariable() || right.containsSymbolicVariable()) {
Operator op = Operator.POW;
powExpr = new RealBinaryExpression(left, op, right, res);
} else {
powExpr = this.getSymbRealRetVal();
}
return powExpr;
}
Aggregations