Uses of Class
org.multijava.mjc.JClassBlock

Packages that use JClassBlock

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

Subclasses of JClassBlock in org.jmlspecs.checker

class

JmlClassBlock This class represents a instance or static initializer block annotated with a JML method specification.

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

void	JmlAbstractVisitor.visitClassBlock(JClassBlock self) Visits the given class block.
void	JmlVisitorNI.visitClassBlock(JClassBlock self) visits a class block (initializer)
void	JmlAccumSubclassingInfo.visitClassBlock(JClassBlock self)

Uses of JClassBlock in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitClassBlock(JClassBlock self) visits a class block (initializer)

Uses of JClassBlock in org.multijava.mjc

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

abstract void	MjcVisitor.visitClassBlock(JClassBlock self) visits a class block (initializer)
void	CParseClassContext.addBlockInitializer(JClassBlock block)
void	MjcPrettyPrinter.visitClassBlock(JClassBlock self) prints a class block (initializer)