---

CallBackRegistry Class Reference

List of all members.

Public Methods
	CallBackRegistry ()
void	callVInvoke (VirtualInvokeExpr v, FGExpr obj)
void	regVInvoke (CallBack cb)
Static Protected Attributes
Category	cat
Private Attributes
Vector	vinvokeRegister

---

Detailed Description

The user can register with this class the various callback objects to be invoked at suitable points during the analysis. These callback objects should inherit from CallBack.

Author:

Venkatesh Prasad Ranganath

Version:

Name:

(

Revision:

1.1.1.1

)

Definition at line 58 of file CallBackRegistry.java.

---

Constructor & Destructor Documentation

CallBackRegistry::CallBackRegistry (    )  [inline]

Creates a new CallBackRegistry instance. Definition at line 76 of file CallBackRegistry.java.

---

Member Function Documentation

void CallBackRegistry::callVInvoke (  VirtualInvokeExpr   v, FGExpr   obj )  [inline]

Activation point when a trigger pertaining to virtual method invocation occurs during flow analysis. Parameters: v   object representing the virtual invoke expression. obj   object which was processing the expression. Definition at line 88 of file CallBackRegistry.java.

void CallBackRegistry::regVInvoke (  CallBack   cb )  [inline]

Registers a callback object to be called when a particular method will be invoked. Parameters: cb   object to be called when a virtual invoke expression is encountered during flow analysis. Definition at line 101 of file CallBackRegistry.java. Referenced by BOFA::analyze().

---

Member Data Documentation

Category CallBackRegistry::cat [static, protected]

Object used to create a category for logging information. Definition at line 70 of file CallBackRegistry.java.

Vector CallBackRegistry::vinvokeRegister [private]

Information of all virtual invocation on which external methods needs to be called is stored as a Vector. Definition at line 64 of file CallBackRegistry.java.

---

The documentation for this class was generated from the following file:

• CallBackRegistry.java

---