Uses of Interface
org.multijava.mjc.JInterfaceDeclarationType

Packages that use JInterfaceDeclarationType

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

Classes in org.jmlspecs.checker that implement JInterfaceDeclarationType

class	JInterfaceDeclarationWrapper This class represents a java interface in the syntax tree
class	JmlInterfaceDeclaration This class represents a java interface in the syntax tree

Methods in org.jmlspecs.checker that return JInterfaceDeclarationType

JInterfaceDeclarationType

JmlParser.jInterfaceDefinition(long mods, antlr.Token startToken)

Uses of JInterfaceDeclarationType in org.jmlspecs.jmldoc.jmldoc_142

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

void	SpecWriter.visitInterfaceDeclaration(JInterfaceDeclarationType self) visits an interface declaration

Uses of JInterfaceDeclarationType in org.multijava.mjc

Classes in org.multijava.mjc that implement JInterfaceDeclarationType

class

JInterfaceDeclaration This class represents a java interface in the syntax tree

Methods in org.multijava.mjc that return JInterfaceDeclarationType

JInterfaceDeclarationType

MjcParser.jInterfaceDefinition(long mods, antlr.Token startToken)