org.xmloperator.lambda.tree.model
Interface Application

All Superinterfaces:
Term, TermWithBody

public interface Application
extends TermWithBody

Application Term.


Field Summary
 
Fields inherited from interface org.xmloperator.lambda.tree.model.Term
TYPE_ABSTRACTION, TYPE_APPLICATION, TYPE_ENDOFSCOPE, TYPE_LEAF
 
Method Summary
 void clearArgument()
          Clear the argument of this Application.
 Term getArgument()
          Returns the argument Term of this Application.
 void setArgument(Term argument)
          Set the argument of this Application.
 
Methods inherited from interface org.xmloperator.lambda.tree.model.TermWithBody
clearBody, getBody, setBody
 
Methods inherited from interface org.xmloperator.lambda.tree.model.Term
canBeReturnedToFactory, getFactory, getParent, getType, isAbstraction, isApplication, isEndOfScope, isLeaf, returnToFactory
 

Method Detail

getArgument

public Term getArgument()
Returns the argument Term of this Application.

Returns:
the argument Term of this Application.

setArgument

public void setArgument(Term argument)
Set the argument of this Application.

Parameters:
argument - a Term.
Throws:
java.lang.IllegalArgumentException - if the given Term is null or has already a parent.
IllegalCastException - if the implementation of the argument is not compatible with the implementation of this Application.
ReturnedToTheFactoryException - if this Application has been returned to the factory.

clearArgument

public void clearArgument()
Clear the argument of this Application.