Uses of Class
org.multijava.mjc.JInterfaceDeclaration

Packages that use JInterfaceDeclaration

org.jmlspecs.checker	Contains the source code for a parser and typechecker for JML annotations and java code.
org.jmlspecs.jmlspec	A tool that can generate or compare specification skeletons from Java source or class files.
org.multijava.mjc	Implements mjc, a MultiJava compiler.

Uses of JInterfaceDeclaration in org.jmlspecs.checker

Subclasses of JInterfaceDeclaration in org.jmlspecs.checker

class

JInterfaceDeclarationWrapper This class represents a java interface in the syntax tree

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

void	JmlAbstractVisitor.visitInterfaceDeclaration(JInterfaceDeclaration self) Visits the given interface declaration.
void	JmlVisitorNI.visitInterfaceDeclaration(JInterfaceDeclaration self) visits an interface declaration

Uses of JInterfaceDeclaration in org.jmlspecs.jmlspec

Methods in org.jmlspecs.jmlspec with parameters of type JInterfaceDeclaration

void	JspPrettyPrinter.visitInterfaceDeclaration(JInterfaceDeclaration self)
protected void	JspPrettyPrinter.printInterfaceModifiers(JInterfaceDeclaration self, long modifiers)

Uses of JInterfaceDeclaration in org.multijava.mjc

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

abstract void	MjcVisitor.visitInterfaceDeclaration(JInterfaceDeclaration self) visits an interface declaration
void	MjcPrettyPrinter.visitInterfaceDeclaration(JInterfaceDeclaration self) prints an interface declaration
protected void	MjcPrettyPrinter.printInterfaceModifiers(JInterfaceDeclaration self, long modifiers)