Uses of Interface
org.multijava.mjc.CMethodContextType

Packages that use CMethodContextType

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 CMethodContextType in org.jmlspecs.checker

Classes in org.jmlspecs.checker that implement CMethodContextType

class	JmlConstructorContext This class represents the context for a constructor during checking passes (checkInterface, checkInitializers, typecheck).
class	JmlInitializerContext This class represents the context for a static initializer during checking passes (checkInterface, checkInitializers, typecheck).
class	JmlMethodContext This class represents the context for a method during checking passes (checkInterface, checkInitializers, typecheck).

Methods in org.jmlspecs.checker that return CMethodContextType

CMethodContextType	JmlMethodDeclaration.createSelfContext(CClassContextType parent) Creates a context for this method declaration AST node.
CMethodContextType	JmlContext.getMethodContext() Returns the method context for this context.
CMethodContextType	JmlClassContext.createMethodContext(CMethod self)
CMethodContextType	JmlCompilationUnitContext.getMethodContext() getMethod
CMethodContextType	JmlMethodContext.getMethodContext() Returns the nearest surrounding context of type CMethodContext.
CMethodContextType	JmlNode.DummyInitializerDeclaration.createSelfContext(CClassContextType parent) Returns a context for this dummay initializer declaration.

Constructors in org.jmlspecs.checker with parameters of type CMethodContextType

JmlFlowControlContext(CMethodContextType parent, int varEstimate, TokenReference where)
Construct an outer-most flow control context.

JmlFlowControlContext(CMethodContextType parent, int varEstimate, boolean isInExternalGF, TokenReference where)
Construct an outer-most flow control context.

Uses of CMethodContextType in org.multijava.mjc

Subinterfaces of CMethodContextType in org.multijava.mjc

interface	CConstructorContextType This class represents the context for a constructor during checking passes (checkInterface, checkInitializers, typecheck).
interface	CInitializerContextType This class represents the context for a static initializer during checking passes (checkInterface, checkInitializers, typecheck).

Classes in org.multijava.mjc that implement CMethodContextType

class	CConstructorContext This class represents the context for a constructor during checking passes (checkInterface, checkInitializers, typecheck).
class	CInitializerContext This class represents the context for a static initializer during checking passes (checkInterface, checkInitializers, typecheck).
class	CMethodContext This class represents the context for a method during checking passes (checkInterface, checkInitializers, typecheck).

Fields in org.multijava.mjc declared as CMethodContextType

protected CMethodContextType	CFlowControlContext.methodContext This is an alias of the inherited parent field but stored as a subtype to avoid casts.
protected CMethodContextType	TestCContext.method

Methods in org.multijava.mjc that return CMethodContextType

abstract CMethodContextType	CContextType.getMethodContext() Returns the method context for this context.
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.
CMethodContextType	CContext.getMethodContext() Returns the method context for this context.
CMethodContextType	CClassContext.createMethodContext(CMethod self)
abstract CMethodContextType	CClassContextType.createMethodContext(CMethod self)
CMethodContextType	JConstructorDeclaration.createSelfContext(CClassContextType parent) Creates a context for this constructor AST node.
CMethodContextType	JInitializerDeclaration.createSelfContext(CClassContextType parent) Creates a context for this initializer AST node.
abstract CMethodContextType	CMethodContextType.getMethodContext() Returns the nearest surrounding context of type CMethodContextType.
abstract CMethodContextType	CCompilationUnitContextType.getMethodContext() getMethod
CMethodContextType	CCompilationUnitContext.getMethodContext() getMethod
CMethodContextType	CMethodContext.getMethodContext() Returns the nearest surrounding context of type CMethodContextType.

Constructors in org.multijava.mjc with parameters of type CMethodContextType

CFlowControlContext(CMethodContextType parent, int varEstimate, boolean isInExternalGF, TokenReference where)
Construct an outer-most flow control context.

CFlowControlContext(CMethodContextType parent, int varEstimate, TokenReference where)