JML

org.multijava.mjc
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
javadocComment
 
Methods inherited from interface org.multijava.mjc.CompilerPassEnterable
accept, checkInitializers, checkInterface, getTokenReference, preprocessDependencies, resolveSpecializers, translateMJ, typecheck
 
Methods inherited from interface java.lang.Comparable
compareTo
 

Method Detail

createContext

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

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

JML

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.