Interface JInterfaceDeclarationType

All Superinterfaces:
Annotatable, Comparable, CompilerPassEnterable, JMemberDeclarationType, JTypeDeclarationType, PhylumType
All Known Implementing Classes:
JInterfaceDeclaration, JmlInterfaceDeclaration

public interface JInterfaceDeclarationType
extends JTypeDeclarationType

This type represents a java interface in the syntax tree.

Method Summary
 CClassContextType createContext(CContextType parent)
          Creates an interface context for this interface declaration.
Methods inherited from interface org.multijava.mjc.JTypeDeclarationType
accumAllTypeSignatures, addMember, cachePassParameters, checkInitializers, checkInterface, fields, fieldsAndInits, generateInterface, getAllMethods, getDefaultConstructor, ident, inners, interfaces, isAtTopLevel, methods, modifiers, owner, preprocessDependencies, resolveSpecializers, resolveTopMethods, setDefaultConstructor, setIdent, setInners, setStatic, syntheticOuterThisInaccessible, translateMJ, typecheck, unsetStatic
Methods inherited from interface org.multijava.mjc.JMemberDeclarationType
accept, genComments, getCClass, getField, getMethod, isDeprecated
Methods inherited from interface org.multijava.util.compiler.PhylumType
getTokenReference, setTokenReference
Methods inherited from interface org.multijava.javadoc.Annotatable
Methods inherited from interface org.multijava.mjc.CompilerPassEnterable
accept, checkInitializers, checkInterface, getTokenReference, preprocessDependencies, resolveSpecializers, translateMJ, typecheck
Methods inherited from interface java.lang.Comparable

Method Detail


public CClassContextType createContext(CContextType parent)
Creates an interface context for this interface declaration.

Specified by:
createContext in interface JTypeDeclarationType
parent - the parent context or null
returns a CClassContextType that represents this context


JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.