|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
| Method Summary | |
void |
assertParentOf(Type a,
Type b)
Type a is the parent type of b |
void |
finished()
No more changes. |
Type |
getSuperClass(Type t1)
Return the parent of the supplied type, null if none |
boolean |
narrows(Type t1,
Type t2)
is t1 a direct or indirect subclass of t2? |
boolean |
widens(Type t1,
Type t2)
Is t1 a direct or indirect superclass of t2? |
| Method Detail |
public void assertParentOf(Type a,
Type b)
public void finished()
public boolean narrows(Type t1,
Type t2)
public boolean widens(Type t1,
Type t2)
public Type getSuperClass(Type t1)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||