javafe.tc
Class CheckInvariants

java.lang.Object
  javafe.tc.CheckInvariants

class CheckInvariants

extends java.lang.Object

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

CheckInvariants()

Method Detail

checkTypeDeclOfSig

public static void checkTypeDeclOfSig(TypeSig sig)

checkType

public static void checkType(Type t,
                             boolean resolved)

checkStmt

public static void checkStmt(TypeSig sig,
                             Stmt s)

checkExpr

public static void checkExpr(TypeSig sig,
                             VarInit expr)

checkObjectDesignator

public static void checkObjectDesignator(TypeSig sig,
                                         ObjectDesignator od)