Main Page   Packages   Class Hierarchy   Alphabetical List   Compound List   File List   Compound Members  

CallBack Interface Reference

Inheritance diagram for CallBack:
[legend]
List of all members.

Public Methods

void callback (Expr v, Object o)

Detailed Description

CallBack is the interface through which callbacks will be called from BOFA while analyzing.

Author:
Venkatesh Prasad Ranganath
Version:
Name:
(
Revision:
1.1.1.1
)

Definition at line 52 of file CallBack.java.


Member Function Documentation

void CallBack::callback Expr   e,
Object   o
 

This method will be invoked when the expression is encountered for which the call back is registered.

Parameters:
v   Expr object representing the expression which triggered the callback.
o   Object object representing an auxillary parameter to the call back function. This can be used to pass the context in which the expression was evaluated.

Reimplemented in VInvokeCallBack.


The documentation for this interface was generated from the following file:
Generated at Thu Feb 7 07:05:51 2002 for Bandera by doxygen1.2.10 written by Dimitri van Heesch, © 1997-2001