|
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 |
java.lang.Objectjavafe.ast.ASTNode
javafe.ast.CompilationUnit
escjava.RefinementSequence
Field Summary | |
protected boolean |
hasJavaDef
|
private java.util.Map |
initblockmap
|
protected CompilationUnit |
javacu
|
protected boolean |
javaIsBinary
|
private TypeDecl |
objectDecl
|
protected java.util.ArrayList |
refinements
|
Fields inherited from class javafe.ast.CompilationUnit |
duplicate, elems, imports, lexicalPragmas, loc, otherPragmas, pkgName |
Fields inherited from class javafe.ast.ASTNode |
|
Constructor Summary | |
RefinementSequence(java.util.ArrayList refinements,
CompilationUnit javacu,
AnnotationHandler ah)
|
Method Summary | |
FormalParaDeclVec |
cleancopy(FormalParaDeclVec args,
boolean omitFirst)
|
(package private) TypeDecl |
cleancopy(TypeDecl td)
|
(package private) TypeDeclElem |
cleancopy(TypeDeclElem tde)
|
(package private) TypeDeclVec |
cleancopy(TypeDeclVec types)
|
(package private) void |
combineFields(FieldDecl newfd,
FieldDecl fd)
|
(package private) void |
combineRoutine(RoutineDecl newrd,
RoutineDecl rd)
|
(package private) void |
combineType(TypeDecl newtd,
TypeDecl td,
boolean addNewItems)
|
(package private) CompilationUnit |
consolidateRefinements(java.util.ArrayList refinements,
CompilationUnit javacu)
|
boolean |
equalTypes(Type t,
Type tt)
|
(package private) MethodDecl |
findMatchingMethod(MethodDecl md,
TypeDecl td)
|
(package private) TypeDecl |
getObjectDecl()
|
(package private) boolean |
match(RoutineDecl newrd,
RoutineDecl rd)
|
java.util.ArrayList |
refinements()
|
Methods inherited from class javafe.ast.CompilationUnit |
accept, accept, check, childAt, childCount, getEndLoc, getStartLoc, getTag, isBinary, make, sourceFile, toString |
Methods inherited from class javafe.ast.ASTNode |
clone, clone, getDecorations, setDecorations |
Methods inherited from class java.lang.Object |
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
protected CompilationUnit javacu
protected java.util.ArrayList refinements
protected boolean hasJavaDef
protected boolean javaIsBinary
private TypeDecl objectDecl
private java.util.Map initblockmap
Constructor Detail |
public RefinementSequence(java.util.ArrayList refinements, CompilationUnit javacu, AnnotationHandler ah)
Method Detail |
public java.util.ArrayList refinements()
CompilationUnit consolidateRefinements(java.util.ArrayList refinements, CompilationUnit javacu)
void combineFields(FieldDecl newfd, FieldDecl fd)
boolean match(RoutineDecl newrd, RoutineDecl rd)
public boolean equalTypes(Type t, Type tt)
void combineRoutine(RoutineDecl newrd, RoutineDecl rd)
void combineType(TypeDecl newtd, TypeDecl td, boolean addNewItems)
MethodDecl findMatchingMethod(MethodDecl md, TypeDecl td)
TypeDecl getObjectDecl()
TypeDeclVec cleancopy(TypeDeclVec types)
TypeDecl cleancopy(TypeDecl td)
TypeDeclElem cleancopy(TypeDeclElem tde)
public FormalParaDeclVec cleancopy(FormalParaDeclVec args, boolean omitFirst)
|
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 |