Uses of Class
org.multijava.mjc.JSynchronizedStatement

Packages that use JSynchronizedStatement

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmldoc.jmldoc_142
org.jmlspecs.jmlrac	Generates Java classes from JML specifications that check assertions at runtime.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JSynchronizedStatement in org.jmlspecs.checker

Methods in org.jmlspecs.checker that return JSynchronizedStatement

JSynchronizedStatement

JmlParser.jSynchronizedStatement()

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

void	JmlAbstractVisitor.visitSynchronizedStatement(JSynchronizedStatement self) Visits the given synchronized statement.
void	JmlVisitorNI.visitSynchronizedStatement(JSynchronizedStatement self) visits a synchronized statement
void	JmlAccumSubclassingInfo.visitSynchronizedStatement(JSynchronizedStatement self)

Uses of JSynchronizedStatement in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitSynchronizedStatement(JSynchronizedStatement self) visits a synchronized statement

Uses of JSynchronizedStatement in org.jmlspecs.jmlrac

Methods in org.jmlspecs.jmlrac with parameters of type JSynchronizedStatement

void	TransMethodBody.visitSynchronizedStatement(JSynchronizedStatement self) Translates the given Java synchronized statement.

Uses of JSynchronizedStatement in org.multijava.mjc

Methods in org.multijava.mjc that return JSynchronizedStatement

JSynchronizedStatement

MjcParser.jSynchronizedStatement()

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

abstract void	MjcVisitor.visitSynchronizedStatement(JSynchronizedStatement self) visits a synchronized statement
void	MjcPrettyPrinter.visitSynchronizedStatement(JSynchronizedStatement self) prints a synchronized statement