|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.xmloperator.lambda2.term.impl.TermImpl
org.xmloperator.lambda2.term.impl.Abstraction0Impl
Zero or more variable Abstraction implementation.
Field Summary |
Fields inherited from interface org.xmloperator.lambda2.term.model.Term |
TYPE_ABSTRACTION, TYPE_APPLICATION, TYPE_VARIABLE |
Constructor Summary | |
Abstraction0Impl(TermImpl body)
|
Method Summary | |
Term |
getBody()
Returns the body of this Abstraction. |
Variable |
getBoundVariable(int index)
Returns the bound Variable of this Abstraction, with the given index. |
int |
getBoundVariableCount()
Returns the count of linear bound variables of this Abstraction. |
int |
getTermType()
Returns the type of this term. |
boolean |
isAbstraction()
Returns true if this Term is an Abstraction. |
Methods inherited from class org.xmloperator.lambda2.term.impl.TermImpl |
buildAbstraction, buildAbstraction, buildAbstraction, buildApplication, buildApplication, freeVariables, isApplication, isVariable, toString, toText |
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 |
buildAbstraction, buildAbstraction, buildAbstraction, buildApplication, buildApplication, freeVariables, isApplication, isVariable, toText |
Constructor Detail |
public Abstraction0Impl(TermImpl body)
Method Detail |
public final int getTermType()
Term
getTermType
in interface Term
public final boolean isAbstraction()
Term
isAbstraction
in interface Term
isAbstraction
in class TermImpl
public final Term getBody()
Abstraction
getBody
in interface Abstraction
public int getBoundVariableCount()
Abstraction
getBoundVariableCount
in interface Abstraction
public Variable getBoundVariable(int index)
Abstraction
getBoundVariable
in interface Abstraction
index
- an index between 0 and
boundVariableCount -1.
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |