|
|||||||||||
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 |