edu.rice.cs.dynamicjava.sourcechecker
Class CompilationUnitChecker

java.lang.Object
  edu.rice.cs.dynamicjava.sourcechecker.CompilationUnitChecker

public class CompilationUnitChecker
extends java.lang.Object

Constructor Summary

CompilationUnitChecker(TypeContext context, Options opt)

Method Summary

Relation<TypeDeclaration,ClassChecker>

extractDeclarations(CompilationUnit u) Produce a ClassChecker for each TypeDeclaration in the compilation unit.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CompilationUnitChecker

public CompilationUnitChecker(TypeContext context,
                              Options opt)

Method Detail

extractDeclarations

public Relation<TypeDeclaration,ClassChecker> extractDeclarations(CompilationUnit u)
                                                           throws InterpreterException

Produce a ClassChecker for each TypeDeclaration in the compilation unit.

Throws:

InterpreterException - If there is an error in the import statements.