Uses of Interface
org.multijava.mjc.SigSourceMember

Packages that use SigSourceMember

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

Classes in org.jmlspecs.checker that implement SigSourceMember

class

JmlSourceMethod A class for representing JML method declaration in the signature forest.

Uses of SigSourceMember in org.multijava.mjc

Classes in org.multijava.mjc that implement SigSourceMember

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	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	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.
(package private) class	CSourceAmbiguousDispatcherClass.CSourceAmbiguousDispatcherClass$1
(package private) class	CSourceAmbiguousDispatcherClass.CSourceAmbiguousDispatcherClass$2
(package private) class	CSourceAmbiguousDispatcherClass.CSourceAmbiguousDispatcherClass$3
(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.
(package private) class	CSourceDispatcherSignature.CSourceDispatcherSignature$1
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	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.