All Packages  Class Hierarchy  This Package  Previous  Next  Index

Interface fr.inria.openmath.omapi.ApplyNode

public interface ApplyNode
Defines some convenience methods for this kind of Node.


Method Index

 o getFirstArg()
Get the first argument object of this Apply node.
 o getFunction()
Get the applied symbol (function) of this node.

Methods

 o getFunction
 public abstract Node getFunction()
Get the applied symbol (function) of this node.

Returns:
The applied symbol of this node.
 o getFirstArg
 public abstract Node getFirstArg()
Get the first argument object of this Apply node.

Using getNextSibling() until findig null you can iterate through all arguments.

Returns:
The first argument object of this node.

All Packages  Class Hierarchy  This Package  Previous  Next  Index