|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
Term with body. This is either an EndOfScope, an Abstraction or an Application.
| Field Summary |
| Fields inherited from interface org.xmloperator.lambda.tree.model.Term |
TYPE_ABSTRACTION, TYPE_APPLICATION, TYPE_ENDOFSCOPE, TYPE_LEAF |
| Method Summary | |
void |
clearBody()
Clear the body of this Term. |
Term |
getBody()
Returns the body of this Term. |
void |
setBody(Term body)
Set the body of this Term. |
| Methods inherited from interface org.xmloperator.lambda.tree.model.Term |
canBeReturnedToFactory, getFactory, getParent, getType, isAbstraction, isApplication, isEndOfScope, isLeaf, returnToFactory |
| Method Detail |
public Term getBody()
public void setBody(Term body)
body - a Term.
java.lang.IllegalArgumentException - if the given Term is null or has
already a parent.
IllegalCastException - if the implementation of the body
is not compatible with the implementation of this Term.
ReturnedToTheFactoryException - if this Term has been returned to
the factory.public void clearBody()
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||