|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
Namefree lambda-term. This is either a Leaf, an EndOfScope, an Abstraction or an Application. A Term instance is created by using a TermFactory and is terminated by being returned to the same TermFactory.
TermFactory
Field Summary | |
static int |
TYPE_ABSTRACTION
|
static int |
TYPE_APPLICATION
|
static int |
TYPE_ENDOFSCOPE
|
static int |
TYPE_LEAF
|
Method Summary | |
boolean |
canBeReturnedToFactory()
Returns true if this can be returned to its factory. |
TermFactory |
getFactory()
Returns the factory of this Term, which can be used for building compatible Terms. |
TermWithBody |
getParent()
A Term may have a parent Term. |
int |
getType()
Returns the type of this term. |
boolean |
isAbstraction()
Returns true if this Term is an Abstraction. |
boolean |
isApplication()
Returns true if this Term is an Application. |
boolean |
isEndOfScope()
Returns true if this Term is an EndOfScope. |
boolean |
isLeaf()
Returns true if this Term is a Leaf. |
void |
returnToFactory()
Returns this Term to its Factory. |
Field Detail |
public static final int TYPE_LEAF
public static final int TYPE_ENDOFSCOPE
public static final int TYPE_ABSTRACTION
public static final int TYPE_APPLICATION
Method Detail |
public TermFactory getFactory()
public boolean canBeReturnedToFactory()
public void returnToFactory()
Pre-condition: can be returned to factory.
Post-condition: is no more usable.
java.lang.IllegalStateException
- if this cannot be returned to factory.public int getType()
public boolean isLeaf()
public boolean isEndOfScope()
public boolean isAbstraction()
public boolean isApplication()
public TermWithBody getParent()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |