Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## escjava.translate
Class Translate.EverythingLoc

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

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

The ESC/Java2 Project Homepage