public class Variable extends Expr implements java.io.Serializable
Modifier and Type | Method and Description |
---|---|
static Variable |
make(java.lang.String name)
Return a unique variable named `name'.
|
java.lang.String |
name()
Get name of variable
|
void |
setValue(double value)
Set the value.
|
java.lang.String |
toString()
Return the name and value
|
double |
value()
Get the value.
|
makeApp1, makeApp2, makeIfThenElse, makeLiteral
public static Variable make(java.lang.String name)
name
- the variable's namepublic java.lang.String toString()
toString
in class java.lang.Object
public java.lang.String name()
public double value()
public void setValue(double value)
value
- the new value