All Packages Class Hierarchy This Package Previous Next Index
Interface fr.inria.openmath.omapi.BindNode
- public interface BindNode
Defines some convenience methods for this kind of Node.
-
getBinder()
- Get the binder object of this node.
-
getBoundObject()
- Get the bound object of this node.
-
getFirstBoundVar()
- Get the first bound var Node of this Bind node.
getBinder
public abstract Node getBinder()
- Get the binder object of this node.
- Returns:
- The binder object of this node.
getFirstBoundVar
public abstract Node getFirstBoundVar()
- Get the first bound var Node of this Bind node.
Using getNextSibling() until findig null you can
itarate through all bound variables.
- Returns:
- The first bound variable of this node.
getBoundObject
public abstract Node getBoundObject()
- Get the bound object of this node.
- Returns:
- The bound object of this node.
All Packages Class Hierarchy This Package Previous Next Index