|
|||||||||||
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.Application1Impl
Application implementation.
Field Summary |
Fields inherited from interface org.xmloperator.lambda2.term.model.Term |
TYPE_ABSTRACTION, TYPE_APPLICATION, TYPE_VARIABLE |
Constructor Summary | |
Application1Impl(TermImpl function,
TermImpl argument)
|
Method Summary | |
Term |
getArgument()
Returns the argument of this Application. |
Term |
getFunction()
Returns the function of this Application. |
long |
getFunctionExponent()
Returns the function exponent. |
int |
getTermType()
Returns the type of this term. |
boolean |
isApplication()
Returns true if this Term is an Application. |
Methods inherited from class org.xmloperator.lambda2.term.impl.TermImpl |
buildAbstraction, buildAbstraction, buildAbstraction, buildApplication, buildApplication, freeVariables, isAbstraction, 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, isAbstraction, isVariable, toText |
Constructor Detail |
public Application1Impl(TermImpl function, TermImpl argument)
Method Detail |
public final int getTermType()
Term
getTermType
in interface Term
public final boolean isApplication()
Term
isApplication
in interface Term
isApplication
in class TermImpl
public final Term getFunction()
Application
getFunction
in interface Application
public final Term getArgument()
Application
getArgument
in interface Application
public long getFunctionExponent()
Application
getFunctionExponent
in interface Application
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |