public abstract static class Expression.Base extends Object implements Expression
Expression.Application, Expression.Base, Expression.BoolConstant, Expression.Constant, Expression.Fixed, Expression.Util, Expression.Valof, Expression.Variable
FALSE, TRUE
Constructor and Description |
---|
Expression.Base() |
Modifier and Type | Method and Description |
---|---|
int |
argCount()
If this Expression is an application, answer the number of arguments that
it has.
|
boolean |
equals(Object other) |
Expression |
getArg(int i)
If this Expression is an application, and 0 <= i < argCount(), answer the
i th argument. |
String |
getFun()
If this Expression is an application, return the string identifying the function,
which should be a URI.
|
String |
getName()
If this Expression is a variable, answer a [non-null] String which is its name.
|
Object |
getValue()
If this Expression is a literal, answer the value of that literal.
|
boolean |
isApply()
Answer true iff this Expression represents the application of some function
[or operator] to some arguments [or operands].
|
boolean |
isConstant()
Answer true iff this Expression represents a literal [Java object] value.
|
boolean |
isVariable()
Answer true iff this Expression represents a variable.
|
getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
prepare
public boolean isVariable()
Expression
isVariable
in interface Expression
public boolean isApply()
Expression
isApply
in interface Expression
public boolean isConstant()
Expression
isConstant
in interface Expression
public String getName()
Expression
getName
in interface Expression
public Object getValue()
Expression
getValue
in interface Expression
public int argCount()
Expression
argCount
in interface Expression
public String getFun()
Expression
getFun
in interface Expression
public Expression getArg(int i)
Expression
i
th argument. Otherwise the behaviour is unspecified.getArg
in interface Expression
Copyright ? 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009 Hewlett-Packard Development Company, LP