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

InterferStmt Class Reference

List of all members.

Public Methods

 InterferStmt (MethodInfo mdInfo, Stmt stmt, Set varSet)

Public Attributes

MethodInfo methodInfo
Stmt interferStmt
Set interferVars

Detailed Description

This class is for information of interference statement.

Definition at line 41 of file InterferStmt.java.


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