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 RepHelper

java.lang.Object
  extended byescjava.translate.RepHelper

public class RepHelper
extends java.lang.Object


Field Summary
 ASTNode a
           
 TypeDecl td
           
 
Constructor Summary
RepHelper(FieldAccess fa)
           
RepHelper(TypeDecl td, FieldDecl fd)
           
RepHelper(TypeDecl td, RoutineDecl rd)
           
 
Method Summary
 boolean equals(java.lang.Object o)
           
 int hashCode()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

td

public TypeDecl td

a

public ASTNode a
Constructor Detail

RepHelper

public RepHelper(TypeDecl td,
                 FieldDecl fd)

RepHelper

public RepHelper(TypeDecl td,
                 RoutineDecl rd)

RepHelper

public RepHelper(FieldAccess fa)
Method Detail

equals

public boolean equals(java.lang.Object o)

hashCode

public int hashCode()

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