public final void setDouble(double number) { ((NumberLiteral)this).setNumber(number); }
public final void setDouble(double number) { ((NumberLiteral)this).setNumber(number); }
public final void setDouble(double number) { ((NumberLiteral)this).setNumber(number); }
public final void setDouble(double number) { ((NumberLiteral)this).setNumber(number); }
public static Node newNumber(double number) { NumberLiteral n = new NumberLiteral(); n.setNumber(number); return n; }
public static Node newNumber(double number) { NumberLiteral n = new NumberLiteral(); n.setNumber(number); return n; }
public static Node newNumber(double number) { NumberLiteral n = new NumberLiteral(); n.setNumber(number); return n; }
public static Node newNumber(double number) { NumberLiteral n = new NumberLiteral(); n.setNumber(number); return n; }