Uses of Class
org.multijava.mjc.CClass.NoDupStrategy

Packages that use CClass.NoDupStrategy

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

Subclasses of CClass.NoDupStrategy in org.jmlspecs.checker

(package private) class	JmlSourceClass.JmlSourceClass$1
(package private) class	JmlSourceClass.JmlSourceClass$2
(package private) class	JmlSourceClass.JmlSourceClass$3

Methods in org.jmlspecs.checker with parameters of type CClass.NoDupStrategy

protected void	JmlSourceClass.accumMostSpecificMethods(String name, CClass.NoDupStrategy actor, CMethodSet accum, CClassType[] args, CContextType context) Accumulates the set of methods with identifier name declared in the type represented by this, or added to the type by external methods, using the strategy actor.
protected void	JmlSourceClass.accumLocalInternalMethods(String name, CClass.NoDupStrategy actor, CMethodSet accum, CClassType[] args) Accumulates the set of methods with identifier name declared in the type represented by this, using the strategy actor.
private void	JmlSourceClass.accumMethodsJMLOnly(CClass.NoDupStrategy actor, String name, CMethodSet accum) Accumulates the set of methods with identifier name declared in the type represented by this, ignoring external methods, using the strategy actor.

Uses of CClass.NoDupStrategy in org.multijava.mjc

Subclasses of CClass.NoDupStrategy in org.multijava.mjc

(package private) class	CClass.CClass$1
(package private) class	CClass.CClass$2
(package private) class	CClass.CClass$3
(package private) class	CClass.CClass$4
(package private) class	CClass.CClass$5
(package private) class	CClass.CClass$6

Methods in org.multijava.mjc with parameters of type CClass.NoDupStrategy

protected void	CClass.accumMostSpecificMethods(String name, CClass.NoDupStrategy actor, CMethodSet accum, CClassType[] args, CContextType context) Accumulates the set of methods with identifier name declared in the type represented by this, or added to the type by external methods, using the strategy actor.
protected void	CClass.accumLocalInternalMethods(String name, CClass.NoDupStrategy actor, CMethodSet accum, CClassType[] args) Accumulates the set of methods with identifier name declared in the type represented by this, using the strategy actor.
protected void	CClass.accumLocalExtAndInheritedMethods(String name, CClass.NoDupStrategy actor, CMethodSet accum, CClassType[] args, CContextType context) Accumulates the set of methods with identifier name declared in the type represented by this, or added to the type by external methods, using the strategy actor.