ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

escjava.translate
Class CalcFreeVars

java.lang.Object
  extended byescjava.translate.CalcFreeVars

class CalcFreeVars
extends java.lang.Object


Field Summary
private  Set freeVars
           
private  java.util.Vector quantifiedVars
           
 
Constructor Summary
(package private) CalcFreeVars()
           
 
Method Summary
(package private)  Set getFreeVars()
           
(package private)  void traverse(ASTNode e)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

freeVars

private Set freeVars

quantifiedVars

private java.util.Vector quantifiedVars
Constructor Detail

CalcFreeVars

CalcFreeVars()
Method Detail

getFreeVars

Set getFreeVars()

traverse

void traverse(ASTNode e)

ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

The ESC/Java2 Project Homepage