Uses of Interface
org.multijava.mjc.CMemberHost

Packages that use CMemberHost

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

Classes in org.jmlspecs.checker that implement CMemberHost

class	JmlBinarySourceClass This class represents a class read from a *.class file.
class	JmlSigBinaryClass A class to represent JML class declaratons read from bytecode files.
class	JmlSourceClass A class for representing JML classes read from *.java files.

Methods in org.jmlspecs.checker that return CMemberHost

CMemberHost	JmlContext.findNearestHost() Returns the signature of the nearest lexically enclosing context that can host member declarations (i.e., a CClass or a CCompilationUnit).
private static CMemberHost	JmlBinarySourceClass.getHostFrom(String clazz) Returns the host for the class named by the argument.
CMemberHost	JmlClassContext.findNearestHost() Returns the signature of the nearest lexically enclosing context that can host member declarations (i.e., a CClass or a CCompilationUnit).
CMemberHost	JmlCompilationUnitContext.findNearestHost() Returns the signature of the nearest lexically enclosing context that can host member declarations (i.e., a CClass or a CCompilationUnit).

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

boolean	JmlSourceClass.isAccessibleFrom(CMemberHost from) Indicates whether this is accessible from the given host.
boolean	JmlSourceClass.isLocalTo(CMemberHost from) Indicates whether the declaration of this member is local to the given host.
protected CSourceClass	JClassDeclarationWrapper.makeSignature(Main compiler, CClass owner, CMemberHost host, String prefix, boolean isAnon, boolean isMember) Generates the signature object for this class declaration.
protected CSourceClass	JInterfaceDeclarationWrapper.makeSignature(Main compiler, CClass owner, CMemberHost host, String prefix, boolean isAnon, boolean isMember) Generates the signature object for this.
void	JmlTypeDeclaration.generateInterface(Main compiler, CClass owner, CMemberHost host, String prefix, boolean isAnon, boolean isMember) Generates a CSourceClass class signature singleton for this declaration.
boolean	JmlMemberAccess.isMemberVisibleInX(CMember member, CMemberHost from) Indicates whether this is accessible from the given host.
boolean	JmlSourceField.isLocalTo(CMemberHost from)
MemberAccess	JmlSigClassCreator.createMemberAccess(CClass owner, CMemberHost host, ClassInfo classInfo) Creates a JML member access object.

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

JmlSourceClass(Main compiler, CClass owner, CMemberHost host, TokenReference where, long modifiers, String ident, String qualifiedName, CTypeVariable[] typevariables, boolean isAnonymous, boolean isMember, boolean deprecated)
Constructs a class export from source

JmlMemberAccess(CClass owner, CMemberHost host, long modifiers)
Constructs a top-level member export

Uses of CMemberHost in org.multijava.mjc

Classes in org.multijava.mjc that implement CMemberHost

class	CBadClass This class represents an undefined class (something that comes from a bad classfile) This class is not usable to anything, so it will sooner or later produce a comprehensive error.
class	CBinaryClass This class represents a class read from a *.class file.
class	CBinaryGFCollection This class represents a single generic function collection as read from a .class file.
class	CClass This class represents a class declaration in the signature hierarchy.
class	CCompilationUnit This class handles namespace management for a compilation unit.
class	CSourceAmbiguousDispatcherClass This class represents an inner dispatcher class from which an ambiguous error method can be generated.
class	CSourceClass This class represents a class read from a *.java file.
class	CSourceDispatcherClass This class represents an inner dispatcher class for a collection of multimethods of the same generic function declared in a single lexical context.
class	CSourceDispatcherSignature This class represents the type (i.e., $signature) for inner dispatcher classes of an external generic function.
class	CSourceGFCollection This class represents a single generic function collection, which encapsulates all the top-level methods declared in a given context.

Fields in org.multijava.mjc declared as CMemberHost

protected CMemberHost

MemberAccess.host Denotes the context in which this member is declared.

Methods in org.multijava.mjc that return CMemberHost

abstract CMemberHost	CContextType.findNearestHost() Returns the signature of the nearest lexically enclosing context that can host member declarations (i.e., a CClass or a CCompilationUnit).
CMemberHost	CMember.host() Returns the host of this member's declaration, which is the same value returned by owner() unless this is a top-level declaration.
abstract CMemberHost	CMemberHost.host() Returns the host of this host, that is, the context in which this host is declared.
CMemberHost	CContext.findNearestHost() Returns the signature of the nearest lexically enclosing context that can host member declarations (i.e., a CClass or a CCompilationUnit).
CMemberHost	CClassContext.findNearestHost() Returns the signature of the nearest lexically enclosing context that can host member declarations (i.e., a CClass or a CCompilationUnit).
abstract CMemberHost	CClassContextType.findNearestHost() Returns the signature of the nearest lexically enclosing context that can host member declarations (i.e., a CClass or a CCompilationUnit).
CMemberHost	MemberAccess.host() Returns the host of this member's declaration, which is the same value returned by owner() unless this is a top-level declaration.
CMemberHost	CCompilationUnit.host() Returns the host of this host, that is, the context in which this host is declared.
abstract CMemberHost	CCompilationUnitContextType.findNearestHost() Returns the signature of the nearest lexically enclosing context that can host member declarations (i.e., a CClass or a CCompilationUnit).
private static CMemberHost	CBinaryClass.getHostFrom(String clazz) Returns the host for the class named by the argument.
CMemberHost	CExtMethodContext.findNearestHost() Returns the signature of the nearest lexically enclosing context that can host member declarations (i.e., a CClass or a CCompilationUnit).
CMemberHost	CCompilationUnitContext.findNearestHost() Returns the signature of the nearest lexically enclosing context that can host member declarations (i.e., a CClass or a CCompilationUnit).

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

boolean	CMember.isLocalTo(CMemberHost from) Indicates whether the declaration of this member is local to the given host.
boolean	CMember.isAccessibleFrom(CMemberHost from) Indicates whether this is accessible from the given host.
boolean	CMember.hasProtectedVisibilityIn(CMemberHost from) Indicates whether this member is accessible from the given host when this member has protected visibility.
abstract void	JTypeDeclarationType.generateInterface(Main compiler, CClass owner, CMemberHost host, String prefix, boolean isAnon, boolean isMember) Generates a CSourceClass class signature singleton for this declaration.
boolean	CClass.isDefinedInside(CMemberHost maybeOuter) Indicates whether this is defined inside the given host.
boolean	CClass.hasProtectedVisibilityIn(CMemberHost from) Indicates whether this member is accessible from the given host when this member has protected visibility.
abstract boolean	CMemberHost.isAccessibleFrom(CMemberHost from) Indicates whether this is accessible from the given host.
abstract boolean	CMemberHost.isDefinedInside(CMemberHost maybeOutside) Indicates whether this is defined inside the given host.
void	JTypeDeclaration.generateInterface(Main compiler, CClass owner, CMemberHost host, String prefix, boolean isAnon, boolean isMember) Generates a CSourceClass class signature singleton for this declaration and then registers the signature with CTopLevel.
protected CSourceClass	JTypeDeclaration.makeSignature(Main compiler, CClass owner, CMemberHost host, String prefix, boolean isAnon, boolean isMember) Generates the signature object for this.
boolean	MemberAccess.isMemberVisibleIn(CMember member, CMemberHost from) Indicates whether this is accessible from the given host.
protected CSourceClass	MJGenericFunctionDecl.makeSignature(Main compiler, CClass owner, CMemberHost host, String prefix, boolean isAnon, boolean isMember) Generates the signature object for this.
private void	JClassFieldExpression.findPrefixAndField(CMemberHost localHost, CExpressionContextType context) Finds the type of the prefix as part of typechecking.
private void	JClassFieldExpression.checkAccess(CMemberHost localHost, CExpressionContextType context) Verifies that the field is accessible in this context.
boolean	CCompilationUnit.isAccessibleFrom(CMemberHost from) Indicates whether this is accessible from the given host.
boolean	CCompilationUnit.isDefinedInside(CMemberHost maybeOutside) Indicates whether this is defined inside the given host.
MemberAccess	ClassCreator.createMemberAccess(CClass owner, CMemberHost host, ClassInfo classInfo) Creates a member access object.
boolean	CBadClass.isAccessibleFrom(CMemberHost from) Indicates whether this is accessible from the given host.

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

MemberAccess(CClass owner, CMemberHost host, long modifiers)
Constructs a top-level member export

CSourceRedirectorMethod(CClass owner, CMemberHost host, long modifiers, String ident, CType returnType, CSpecializedType[] paramTypes, CClassType[] exceptions, boolean deprecated, JBlock body, CContextType declarationContext)
Constructs a redirector method.

CSourceGFCollection(Main compiler, CClass owner, CMemberHost host, TokenReference where, long modifiers, String ident, String qualifiedName, boolean isAnonymous, boolean isMember, boolean deprecated, CMethod[] tlMethods)