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 Translate.EverythingLoc

java.lang.Object
  extended byescjava.translate.Translate.EverythingLoc
Enclosing class:
Translate

public class Translate.EverythingLoc
extends java.lang.Object


Field Summary
 Set completed
           
 SeqCmd gcseq
           
 int loc
           
 java.util.Hashtable pt
           
 
Constructor Summary
Translate.EverythingLoc(int loc, java.util.Hashtable pt)
           
 
Method Summary
 void add(Expr e)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

loc

public int loc

pt

public java.util.Hashtable pt

gcseq

public SeqCmd gcseq

completed

public Set completed
Constructor Detail

Translate.EverythingLoc

public Translate.EverythingLoc(int loc,
                               java.util.Hashtable pt)
Method Detail

add

public void add(Expr 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