escjava.translate
Class CalcFreeVars

java.lang.Object
  escjava.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)