Uses of Class
org.multijava.mjc.CMember

Packages that use CMember

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

Uses of CMember in org.jmlspecs.checker

Subclasses of CMember in org.jmlspecs.checker

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	JmlSigBinaryField A class to represent JML field declaratons read from bytecode files.
class	JmlSigBinaryMethod A class to represent JML method declaratons read from bytecode files.
class	JmlSourceClass A class for representing JML classes read from *.java files.
class	JmlSourceField A class for representing an exported field of a class.
class	JmlSourceMethod A class for representing JML method declaration in the signature forest.

Fields in org.jmlspecs.checker declared as CMember

protected CMember

JmlBinaryMember.member

Methods in org.jmlspecs.checker that return CMember

CMember	JConstructorDeclarationWrapper.checkInterface(CContextType context)
CMember	JmlMethodDeclaration.checkInterface(CContextType context) Checks the basic interfaces to make sure things generally look OK.

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

boolean

JmlMemberAccess.isMemberVisibleInX(CMember member, CMemberHost from) Indicates whether this is accessible from the given host.

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

JmlBinaryMember(TokenReference where, CMember member)

Uses of CMember in org.jmlspecs.jmldoc.jmldoc_142

Methods in org.jmlspecs.jmldoc.jmldoc_142 with parameters of type CMember

boolean

JmldocClassWriter.JmlMemberFilter.use(CMember f)

Uses of CMember in org.multijava.mjc

Subclasses of CMember in org.multijava.mjc

class	CAnchorInitializer This is used as a wrapper around the normal static or instance initializer method of a class that includes nested dispatcher classes (e.g., an anchor class).
class	CAssertHelperMethod This class represents a synthetic method used in the implementation of Java's assertion mechanism.
class	CAssertStaticInitMethod This class represents a static initializer that begins with code to figure out if the associated class has assertions enabled or not.
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	CBinaryField This class represents loaded (compiled) class fields.
class	CBinaryGFCollection This class represents a single generic function collection as read from a .class file.
class	CBinaryMethod This class represents a loaded (already compiled) class method.
class	CClass This class represents a class declaration in the signature hierarchy.
class	CCORInitializer This generates code to add external generic function dispatcher classes to the chain of responsibility for the appropriate generic function anchor class.
class	CDispatcherInitializer This is used as the initializer of a dispatcher class, in RMJ.
class	CField This class represents an exported member of a class (fields)
class	CFieldAccessorMethod This class is the abstract base class for the field getter and setter methods.
class	CFieldGetterMethod This class represents a getter method for a field that an inner or enclosing class has privileged access to.
class	CFieldSetterMethod This class represents a setter method for a field that an inner or enclosing class has privileged access to.
class	CFunctionAccessMethod This generates code to thread-safely return the function field of an external generic function.
class	CMethod This class represents an actual method, whether generated from source code or read from a class file.
class	CSourceAmbiguousDispatcherClass This class represents an inner dispatcher class from which an ambiguous error method can be generated.
(package private) class	CSourceAmbiguousDispatcherClass.CSourceAmbiguousDispatcherClass$1
(package private) class	CSourceAmbiguousDispatcherClass.CSourceAmbiguousDispatcherClass$2
(package private) class	CSourceAmbiguousDispatcherClass.CSourceAmbiguousDispatcherClass$3
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.
(package private) class	CSourceDispatcherClass.CSourceDispatcherClass$1
class	CSourceDispatcherMethod This class represents a dispatcher method wrapping a set of multimethods of the same generic function as read from a source file.
class	CSourceDispatcherSignature This class represents the type (i.e., $signature) for inner dispatcher classes of an external generic function.
(package private) class	CSourceDispatcherSignature.CSourceDispatcherSignature$1
class	CSourceField This class represents an exported member of a class (fields)
class	CSourceFilteredDispatcherMethod This class represents a special dispatcher method for superclass method invocations whose caller is an external method and whose target is the same external generic function to which the caller belongs [see Clifton-01, Figure 24, case s-e4].
class	CSourceGFCollection This class represents a single generic function collection, which encapsulates all the top-level methods declared in a given context.
class	CSourceMethod This class represents a method read from a source code (*.java) file.
class	CSourceRedirectorMethod This class represents a redirector method for a pleomorphic method that belongs to an internal and external generic function.
class	CWrapperMethod This class represents a wrapper method for a method that an inner or enclosing class has privileged access to.

Fields in org.multijava.mjc declared as CMember

private CMember

JMemberDeclaration.export

Methods in org.multijava.mjc that return CMember

CMember	JMethodDeclaration.checkInterface(CContextType context) Checks the basic interfaces to make sure things generally look OK.
abstract CMember	JMethodDeclarationType.checkInterface(CContextType context) Checks the basic interfaces to make sure things generally look OK.
CMember	JConstructorDeclaration.checkInterface(CContextType context) Checks the basic interfaces to make sure things generally look OK.
CMember	MJTopLevelMethodDeclaration.checkInterface(CContextType context) Checks the basic interfaces to make sure things generally look OK.
abstract CMember	MJTopLevelDeclaration.checkInterface(CContextType context) Checks the basic interfaces to make sure things generally look OK.
CMember	MJTopLevelAbstractMethodDeclaration.checkInterface(CContextType context)

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

protected boolean	CClass.memberNeedsPrivilegedAccess(CMember m, CContextType context) Indicates whether the given member needs a wrapper method
protected void	JMemberDeclaration.setInterface(CMember export)
boolean	MemberAccess.isMemberVisibleIn(CMember member, CMemberHost from) Indicates whether this is accessible from the given host.