|
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.tc.CheckInvariants
Constructor Summary | |
(package private) |
CheckInvariants()
|
Method Summary | |
static void |
checkExpr(TypeSig sig,
VarInit expr)
|
static void |
checkObjectDesignator(TypeSig sig,
ObjectDesignator od)
|
static void |
checkStmt(TypeSig sig,
Stmt s)
|
static void |
checkType(Type t,
boolean resolved)
|
static void |
checkTypeDeclOfSig(TypeSig sig)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
CheckInvariants()
Method Detail |
public static void checkTypeDeclOfSig(TypeSig sig)
public static void checkType(Type t, boolean resolved)
public static void checkStmt(TypeSig sig, Stmt s)
public static void checkExpr(TypeSig sig, VarInit expr)
public static void checkObjectDesignator(TypeSig sig, ObjectDesignator od)
|
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 |