Uses of Class
org.multijava.mjc.MJGenericFunctionDecl

Packages that use MJGenericFunctionDecl

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

Methods in org.jmlspecs.checker that return MJGenericFunctionDecl

MJGenericFunctionDecl[]

JmlCompilationUnit.gfDeclarations()

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

void	JmlAbstractVisitor.visitGenericFunctionDecl(MJGenericFunctionDecl self) Visits the given generic function declaration.
void	JmlVisitorNI.visitGenericFunctionDecl(MJGenericFunctionDecl self) visits a generic function anchor

Uses of MJGenericFunctionDecl in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitGenericFunctionDecl(MJGenericFunctionDecl self) visits a generic function anchor

Uses of MJGenericFunctionDecl in org.multijava.mjc

Fields in org.multijava.mjc declared as MJGenericFunctionDecl

private MJGenericFunctionDecl[]	JCompilationUnit.privateGFDeclarations Stores references to the collections of private generic functions declared in this compilation unit.
private MJGenericFunctionDecl[]	JCompilationUnit.gfDeclarations Stores references to the collections of non-private generic functions declared in this compilation unit.

Methods in org.multijava.mjc that return MJGenericFunctionDecl

MJGenericFunctionDecl[]	JCompilationUnit.gfDeclarations()
abstract MJGenericFunctionDecl[]	JCompilationUnitType.gfDeclarations()

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

abstract void	MjcVisitor.visitGenericFunctionDecl(MJGenericFunctionDecl self) visits a generic function anchor
void	MjcPrettyPrinter.visitGenericFunctionDecl(MJGenericFunctionDecl self) prints a generic function anchor