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.


Method Index

 o getBinder()
Get the binder object of this node.
 o getBoundObject()
Get the bound object of this node.
 o getFirstBoundVar()
Get the first bound var Node of this Bind node.

Methods

 o getBinder
 public abstract Node getBinder()
Get the binder object of this node.

Returns:
The binder object of this node.
 o 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.
 o 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