@Override public NumericConstant negate() { return FloatConstant.v(-(this.value)); }
public static FloatConstant v(float value) { return new FloatConstant(value); }
@Override public NumericConstant subtract(NumericConstant c) { assertInstanceOf(c); return FloatConstant.v(this.value - ((FloatConstant) c).value); }
@Override public NumericConstant notEqual(NumericConstant c) { assertInstanceOf(c); return IntConstant.v(Float.compare(this.value, ((FloatConstant) c).value) != 0 ? 1 : 0); }
@Override public Expression mkFloatConstant(FloatConstant arg0) { if (!constantDictionary.containsKey(arg0)) { constantDictionary.put(arg0, SootTranslationHelpers.v().getProgram().lookupGlobalVariable( "$float" + constantDictionary.size(), lookupType(arg0.getType()))); } return new IdentifierExpression(this.statementSwitch.getCurrentLoc(), constantDictionary.get(arg0)); }
@Override public NumericConstant greaterThan(NumericConstant c) { assertInstanceOf(c); return IntConstant.v(Float.compare(this.value, ((FloatConstant) c).value) > 0 ? 1 : 0); }
@Override public FloatConstant getConstant() { return FloatConstant.v(value); }
@Override public NumericConstant add(NumericConstant c) { assertInstanceOf(c); return FloatConstant.v(this.value + ((FloatConstant) c).value); }
public static FloatConstant v(float value) { return new FloatConstant(value); }
@Override public NumericConstant lessThan(NumericConstant c) { assertInstanceOf(c); return IntConstant.v(Float.compare(this.value, ((FloatConstant) c).value) < 0 ? 1 : 0); }
public FloatConstant toFloatConstant() { return FloatConstant.v(Float.intBitsToFloat((int) value)); }
@Override public NumericConstant divide(NumericConstant c) { assertInstanceOf(c); return FloatConstant.v(this.value / ((FloatConstant) c).value); }
public static FloatConstant v(float value) { return new FloatConstant(value); }
@Override public NumericConstant greaterThanOrEqual(NumericConstant c) { assertInstanceOf(c); return IntConstant.v(Float.compare(this.value, ((FloatConstant) c).value) >= 0 ? 1 : 0); }
public Value createJimpleConstantValue(cp_info[] constant_pool) { return FloatConstant.v(convert()); } }
@Override public NumericConstant multiply(NumericConstant c) { assertInstanceOf(c); return FloatConstant.v(this.value * ((FloatConstant) c).value); }
@Override public NumericConstant equalEqual(NumericConstant c) { assertInstanceOf(c); return IntConstant.v(Float.compare(this.value, ((FloatConstant) c).value) == 0 ? 1 : 0); }
/** * @ast method * @aspect Expressions * @declaredat /Users/eric/Documents/workspaces/clara-soot/JastAddExtensions/JimpleBackend/Expressions.jrag:26 */ public soot.Value eval(Body b) { return soot.jimple.FloatConstant.v(constant().floatValue()); } /**
@Override public NumericConstant remainder(NumericConstant c) { assertInstanceOf(c); return FloatConstant.v(this.value % ((FloatConstant) c).value); }