org.xmloperator.lambda2.term.impl
Class VariableImpl

java.lang.Object
  extended byorg.xmloperator.lambda2.term.impl.TermImpl
      extended byorg.xmloperator.lambda2.term.impl.VariableImpl
All Implemented Interfaces:
Term, Variable
Direct Known Subclasses:
PortImpl

public class VariableImpl
extends TermImpl
implements Variable

Variable implementation.


Field Summary
 
Fields inherited from interface org.xmloperator.lambda2.term.model.Term
TYPE_ABSTRACTION, TYPE_APPLICATION, TYPE_VARIABLE
 
Constructor Summary
VariableImpl()
           
 
Method Summary
 int getTermType()
          Returns the type of this term.
 boolean isVariable()
          Returns true if this Term is a Variable.
 
Methods inherited from class org.xmloperator.lambda2.term.impl.TermImpl
buildAbstraction, buildAbstraction, buildAbstraction, buildApplication, buildApplication, freeVariables, isAbstraction, isApplication, 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, isApplication, toText
 

Constructor Detail

VariableImpl

public VariableImpl()
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_*

isVariable

public final boolean isVariable()
Description copied from interface: Term
Returns true if this Term is a Variable.

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