org.xmloperator.lambda2.term.impl
Class Application1Impl

java.lang.Object
  extended byorg.xmloperator.lambda2.term.impl.TermImpl
      extended byorg.xmloperator.lambda2.term.impl.Application1Impl
All Implemented Interfaces:
Application, Term
Direct Known Subclasses:
ApplicationNImpl

public class Application1Impl
extends TermImpl
implements Application

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

Application1Impl

public Application1Impl(TermImpl function,
                        TermImpl argument)
Method Detail

getTermType

public final int getTermType()
Description copied from interface: Term
Returns the type of this term.

Specified by:
getTermType in interface Term
Returns:
the type of this term. It is one of the constants TYPE_*

isApplication

public final boolean isApplication()
Description copied from interface: Term
Returns true if this Term is an Application.

Specified by:
isApplication in interface Term
Overrides:
isApplication in class TermImpl

getFunction

public final Term getFunction()
Description copied from interface: Application
Returns the function of this Application.

Specified by:
getFunction in interface Application
Returns:
the function of this Application.

getArgument

public final Term getArgument()
Description copied from interface: Application
Returns the argument of this Application.

Specified by:
getArgument in interface Application
Returns:
the argument of this Application.

getFunctionExponent

public long getFunctionExponent()
Description copied from interface: Application
Returns the function exponent. Optional feature. Default value is 1L.

Specified by:
getFunctionExponent in interface Application
Returns:
the function exponent. Optional feature. Default value is 1L.