edu.rice.cs.dynamicjava.interpreter
Class ClassChecker

java.lang.Object
  edu.rice.cs.dynamicjava.interpreter.ClassChecker

public class ClassChecker
extends Object

Checks the members of a class declaration. The following are set:

• ERASED_TYPE on all MethodDeclarations

Constructor Summary

ClassChecker(DJClass c, ClassLoader loader, TypeContext context, Options opt)

Method Summary

void	checkBodies(AnonymousAllocation ast) Check the field initializers, method bodies, nested class bodies, etc., of a class or interface declaration.
void	checkBodies(AnonymousInnerAllocation ast) Check the field initializers, method bodies, nested class bodies, etc., of a class or interface declaration.
void	checkBodies(TypeDeclaration ast) Check the field initializers, method bodies, nested class bodies, etc., of a class or interface declaration.
void	checkSignatures(AnonymousAllocation ast) Check the class's signature declarations.
void	checkSignatures(AnonymousInnerAllocation ast) Check the class's signature declarations.
void	checkSignatures(TypeDeclaration ast) Check the class's signature declarations.
void	initializeClassSignatures(AnonymousAllocation ast) Initialize and check the structure of types in the signatures of the given class and any nested classes.
void	initializeClassSignatures(AnonymousInnerAllocation ast) Initialize and check the structure of types in the signatures of the given class and any nested classes.
void	initializeClassSignatures(TypeDeclaration ast) Initialize and check the structure of types in the signatures of the given class and any nested classes.

Methods inherited from class java.lang.Object

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

Constructor Detail

ClassChecker

public ClassChecker(DJClass c,
                    ClassLoader loader,
                    TypeContext context,
                    Options opt)

Method Detail

initializeClassSignatures

public void initializeClassSignatures(TypeDeclaration ast)

Initialize and check the structure of types in the signatures of the given class and any nested classes. Requires the DJ_CLASS property to be set on all referenced classes; after this step, the type hierarchy may safely be traversed. Types aren't guaranteed to be well-formed.

initializeClassSignatures

public void initializeClassSignatures(AnonymousAllocation ast)

Initialize and check the structure of types in the signatures of the given class and any nested classes. Requires the DJ_CLASS property to be set on all referenced classes; after this step, the type hierarchy may safely be traversed. Types aren't guaranteed to be well-formed.

initializeClassSignatures

public void initializeClassSignatures(AnonymousInnerAllocation ast)

Initialize and check the structure of types in the signatures of the given class and any nested classes. Requires the DJ_CLASS property to be set on all referenced classes; after this step, the type hierarchy may safely be traversed. Types aren't guaranteed to be well-formed.

checkSignatures

public void checkSignatures(TypeDeclaration ast)

Check the class's signature declarations. Verifies that the class's signature is well formed, checks the types in field and method signatures, and recurs on nested classes.

checkSignatures

public void checkSignatures(AnonymousAllocation ast)

Check the class's signature declarations. Verifies that the class's signature is well formed, checks the types in field and method signatures, and recurs on nested classes.

checkSignatures

public void checkSignatures(AnonymousInnerAllocation ast)

Check the class's signature declarations. Verifies that the class's signature is well formed, checks the types in field and method signatures, and recurs on nested classes.

checkBodies

public void checkBodies(TypeDeclaration ast)

Check the field initializers, method bodies, nested class bodies, etc., of a class or interface declaration. Should be called after the signatures of all relevant classes and interfaces have been checked.

checkBodies

public void checkBodies(AnonymousAllocation ast)

Check the field initializers, method bodies, nested class bodies, etc., of a class or interface declaration. Should be called after the signatures of all relevant classes and interfaces have been checked.

checkBodies

public void checkBodies(AnonymousInnerAllocation ast)

Check the field initializers, method bodies, nested class bodies, etc., of a class or interface declaration. Should be called after the signatures of all relevant classes and interfaces have been checked.