public abstract static class Expression.Application extends Expression.Base
Expression.Application, Expression.Base, Expression.BoolConstant, Expression.Constant, Expression.Fixed, Expression.Util, Expression.Valof, Expression.VariableFALSE, TRUE| Constructor and Description |
|---|
Expression.Application() |
| Modifier and Type | Method and Description |
|---|---|
abstract int |
argCount()
If this Expression is an application, answer the number of arguments that
it has.
|
abstract Expression |
getArg(int i)
If this Expression is an application, and 0 <= i < argCount(), answer the
ith argument. |
abstract String |
getFun()
If this Expression is an application, return the string identifying the function,
which should be a URI.
|
boolean |
isApply()
Answer true iff this Expression represents the application of some function
[or operator] to some arguments [or operands].
|
equals, getName, getValue, isConstant, isVariablegetClass, hashCode, notify, notifyAll, toString, wait, wait, waitpreparepublic boolean isApply()
ExpressionisApply in interface ExpressionisApply in class Expression.Basepublic abstract int argCount()
ExpressionargCount in interface ExpressionargCount in class Expression.Basepublic abstract String getFun()
ExpressiongetFun in interface ExpressiongetFun in class Expression.Basepublic abstract Expression getArg(int i)
Expressionith argument. Otherwise the behaviour is unspecified.getArg in interface ExpressiongetArg in class Expression.BaseLicenced under the Apache License, Version 2.0