Uses of Interface
org.multijava.mjc.CClassContextType

Packages that use CClassContextType

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of CClassContextType in org.jmlspecs.checker

Classes in org.jmlspecs.checker that implement CClassContextType

class	JmlClassContext This class represents the context for a class during checking passes (checkInterface, checkInitializers, typecheck).
class	JmlInterfaceContext This class represents the context for an interface declaration during checking passes (checkInterface, checkInitializers, typecheck).

Methods in org.jmlspecs.checker that return CClassContextType

CClassContextType	JmlClassDeclaration.createContext(CContextType parent) Creates a class context for this class declaration.
CClassContextType	JmlInterfaceDeclaration.createContext(CContextType parent) Creates an interface context for this interface declaration.
CClassContextType	JmlContext.getClassContext() Returns the class context for this context.
CClassContextType	JmlContext.createClassContext(CClass self) Creates a class context with this context as its parent.
CClassContextType	JmlClassContext.getClassContext() getClassContext
CClassContextType	JmlCompilationUnitContext.getClassContext() getClass

Methods in org.jmlspecs.checker with parameters of type CClassContextType

CMethodContextType	JmlMethodDeclaration.createSelfContext(CClassContextType parent) Creates a context for this method declaration AST node.
private void	JmlMethodDeclaration.checkMethodSpecification(CClassContextType cContext, JmlSourceMethod self)
protected void	JmlMethodDeclaration.resetFinalFieldStatusIfConstructor(CClassContextType context) Resets the final field definite assignment info if this is a constructor.
void	JmlConstructorDeclaration.typecheck(CClassContextType cContext, CVariableInfoTable instanceInfo) Typechecks this method declaration.
protected void	JmlConstructorDeclaration.resetFinalFieldStatusIfConstructor(CClassContextType context) Resets the final field definite assignment info if this is a constructor.
CSourceField	JmlFieldDeclaration.checkInterface(CClassContextType context) Checks the basic interfaces to make sure things generally look OK.
CMethod	JmlContext.lookupMethod(String name, CType[] params, CClassContextType context) Searches for the most specific method in the current context that is applicable to the given identifier and argument type tuple.
CMethodSet	JmlContext.lookupMethodOrSet(String name, CType[] params, CClassContextType context) Searches for the most specific method(s) in the current context that is applicable to the given identifier and argument type tuple.
CMethod	JmlClassContext.lookupMethod(String ident, CType[] params, CClassContextType context) Searches for the most specific method when no receiver is explicit at the call site.
CMethodSet	JmlClassContext.lookupMethodOrSet(String ident, CType[] params, CClassContextType context) Searches for the most specific method(s) when no receiver is explicit at the call site.
CMethod	JmlCompilationUnitContext.lookupMethod(String name, CType[] params, CClassContextType context) Searches for the most specific method applicable to the given identifier and argument type tuple, in the current context.
CMethodSet	JmlCompilationUnitContext.lookupMethodOrSet(String name, CType[] params, CClassContextType context) Searches for the most specific method(s) applicable to the given identifier and argument type tuple, in the current context.
CMethodContextType	JmlNode.DummyInitializerDeclaration.createSelfContext(CClassContextType parent) Returns a context for this dummay initializer declaration.
CBinaryMethod	JmlSigClassCreator.createBinaryMethod(CClass owner, MethodInfo methodInfo, CClassContextType declCtx) Creates a JML binary method object.

Uses of CClassContextType in org.multijava.mjc

Subinterfaces of CClassContextType in org.multijava.mjc

interface

CInterfaceContextType This class represents the context for an interface declaration during checking passes (checkInterface, checkInitializers, typecheck).

Classes in org.multijava.mjc that implement CClassContextType

class	CBinaryClassContext This represents the context of a binary (i.e., read from .class file) class declaration.
class	CClassContext This class represents the context for a class during checking passes (checkInterface, checkInitializers, typecheck).
class	CExtendedClassContext This class represents the context for a class during checking passes (checkInterface, checkInitializers, typecheck).
class	CExtMethodContext This represents the context in which an external method declaration is typechecked.
class	CInterfaceContext This class represents the context for an interface declaration during checking passes (checkInterface, checkInitializers, typecheck).

Fields in org.multijava.mjc declared as CClassContextType

protected CClassContextType	JClassDeclaration.self
protected CClassContextType	CBinaryClass.declContext This declaration context is used in top method searches.
protected CClassContextType	TestCContext.clazz

Methods in org.multijava.mjc that return CClassContextType

abstract CClassContextType	CContextType.getClassContext() Returns the class context for this context.
abstract CClassContextType	CContextType.createClassContext(CClass self) Creates a class context with this context as its parent.
abstract CClassContextType	JTypeDeclarationType.createContext(CContextType parent) Creates a lexical context for typechecking and control flow analysis on this.
CClassContextType	CContext.getClassContext() Returns the class context for this context.
CClassContextType	CContext.createClassContext(CClass self) Creates a class context with this context as its parent.
CClassContextType	CClassContext.getClassContext() getClassContext
abstract CClassContextType	CClassContextType.getClassContext() getClassContext
abstract CClassContextType	JTypeDeclaration.createContext(CContextType parent) Creates a lexical context for typechecking and control flow analysis on this.
CClassContextType	JClassDeclaration.createContext(CContextType parent) Creates a class context for this class declaration.
abstract CClassContextType	JClassDeclarationType.createContext(CContextType parent) Creates a class context for this class declaration.
CClassContextType	JInterfaceDeclaration.createContext(CContextType parent) Creates an interface context for this interface declaration.
abstract CClassContextType	JInterfaceDeclarationType.createContext(CContextType parent) Creates an interface context for this interface declaration.
abstract CClassContextType	CCompilationUnitContextType.getClassContext() getClass
CClassContextType	CCompilationUnitContext.getClassContext() getClass

Methods in org.multijava.mjc with parameters of type CClassContextType

abstract CMethod	CContextType.lookupMethod(String name, CType[] params, CClassContextType context) Searches for the most specific method in the current context that is applicable to the given identifier and argument type tuple.
abstract CMethodSet	CContextType.lookupMethodOrSet(String name, CType[] params, CClassContextType context) Searches for the most specific method(s) in the current context that is applicable to the given identifier and argument type tuple.
CMethodContextType	JMethodDeclaration.createSelfContext(CClassContextType parent) Creates a context for this method declaration AST node.
abstract CMethodContextType	JMethodDeclarationType.createSelfContext(CClassContextType parent) Creates a context for this method declaration AST node.
CMethod	CContext.lookupMethod(String name, CType[] params, CClassContextType context) Searches for the most specific method in the current context that is applicable to the given identifier and argument type tuple.
CMethodSet	CContext.lookupMethodOrSet(String name, CType[] params, CClassContextType context) Searches for the most specific method(s) in the current context that are applicable to the given identifier and argument type tuple.
CMethod	CClassContext.lookupMethod(String ident, CType[] params, CClassContextType context) Searches for the most specific method when no receiver is explicit at the call site.
CMethodSet	CClassContext.lookupMethodOrSet(String ident, CType[] params, CClassContextType context) Searches for the most specific method(s) when no receiver is explicit at the call site.
abstract CMethod	CClassContextType.lookupMethod(String ident, CType[] params, CClassContextType context) Searches for the most specific method when no receiver is explicit at the call site.
abstract CMethodSet	CClassContextType.lookupMethodOrSet(String ident, CType[] params, CClassContextType context) Searches for the most specific method(s) when no receiver is explicit at the call site.
abstract void	JConstructorDeclarationType.typecheck(CClassContextType context, CVariableInfoTable instanceInfo) Typechecks this method declaration.
void	JConstructorDeclaration.typecheck(CClassContextType cContext, CVariableInfoTable instanceInfo) Typechecks this method declaration.
CMethodContextType	JConstructorDeclaration.createSelfContext(CClassContextType parent) Creates a context for this constructor AST node.
CSourceField	JFieldDeclaration.checkInterface(CClassContextType context) Checks the basic interfaces to make sure things generally look OK.
abstract CSourceField	JFieldDeclarationType.checkInterface(CClassContextType context) Checks the basic interfaces to make sure things generally look OK.
void	JVariableDefinition.checkInterface(CClassContextType context) Checks the basic interfaces to make sure things generally look OK.
CMethodContextType	JInitializerDeclaration.createSelfContext(CClassContextType parent) Creates a context for this initializer AST node.
protected void	JInitializerDeclaration.checkAccess(CClassContextType context, CMethodSet superMethods)
void	JInitializerDeclaration.checkInitializer(CClassContextType context) Checks the static initializers and informs the context that it has a valid initializer.
abstract CMethod	CCompilationUnitContextType.lookupMethod(String name, CType[] params, CClassContextType context) Searches for the most specific method applicable to the given identifier and argument type tuple, in the current context.
abstract CMethodSet	CCompilationUnitContextType.lookupMethodOrSet(String name, CType[] params, CClassContextType context) Searches for the most specific method(s) applicable to the given identifier and argument type tuple, in the current context.
CMethod	CExtMethodContext.lookupMethod(String ident, CType[] params, CClassType[] args, CClassContextType context) Searches for the most specific method when no receiver is explicit at the call site.
CMethodSet	CExtMethodContext.lookupMethodOrSet(String ident, CType[] params, CClassContextType context) Searches for the most specific method(s) when no receiver is explicit at the call site.
CBinaryMethod	ClassCreator.createBinaryMethod(CClass owner, MethodInfo methodInfo, CClassContextType declCtx) Creates a binary method object.
CMethod	CCompilationUnitContext.lookupMethod(String name, CType[] params, CClassContextType context) Searches for the most specific method applicable to the given identifier and argument type tuple, in the current context.
CMethodSet	CCompilationUnitContext.lookupMethodOrSet(String name, CType[] params, CClassContextType context) Searches for the most specific method(s) applicable to the given identifier and argument type tuple, in the current context.