|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.xmloperator.lambda2.term.impl.TermImpl
Term implementation.
Field Summary |
Fields inherited from interface org.xmloperator.lambda2.term.model.Term |
TYPE_ABSTRACTION, TYPE_APPLICATION, TYPE_VARIABLE |
Constructor Summary | |
TermImpl()
|
Method Summary | |
Abstraction |
buildAbstraction()
Builds and returns an Abstraction whose body is this Term and which has no bound variable. |
Abstraction |
buildAbstraction(Variable boundVariable)
Builds and returns an Abstraction whose body is this Term and with the given bound variable. |
Abstraction |
buildAbstraction(Variable[] boundVariables)
Builds and returns an Abstraction whose body is this Term and with the given bound variables. |
Application |
buildApplication(Term argument)
Builds and returns an Application whose function is this Term and the argument is given. |
Application |
buildApplication(Term argument,
long functionExponent)
Builds and returns an Application whose function is this Term and the argument is given. |
java.util.Set |
freeVariables()
Returns the set of free variables of this Term. |
boolean |
isAbstraction()
Returns true if this Term is an Abstraction. |
boolean |
isApplication()
Returns true if this Term is an Application. |
boolean |
isVariable()
Returns true if this Term is a Variable. |
java.lang.String |
toString()
|
java.lang.String |
toText()
Returns a text representation of this Term. |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface org.xmloperator.lambda2.term.model.Term |
getTermType |
Constructor Detail |
public TermImpl()
Method Detail |
public java.lang.String toString()
public boolean isVariable()
Term
isVariable
in interface Term
public boolean isAbstraction()
Term
isAbstraction
in interface Term
public boolean isApplication()
Term
isApplication
in interface Term
public final java.util.Set freeVariables()
Term
freeVariables
in interface Term
public final java.lang.String toText()
Term
toText
in interface Term
public Abstraction buildAbstraction()
Term
buildAbstraction
in interface Term
public Abstraction buildAbstraction(Variable boundVariable)
Term
buildAbstraction
in interface Term
boundVariable
- a Variable used once within this Term.
public Abstraction buildAbstraction(Variable[] boundVariables)
Term
buildAbstraction
in interface Term
boundVariables
- a set of variables used each once within this Term.
public Application buildApplication(Term argument)
Term
buildApplication
in interface Term
argument
- a Term.
public Application buildApplication(Term argument, long functionExponent)
Term
buildApplication
in interface Term
argument
- a Term.functionExponent
- a function exponent.
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |