org.multijava.mjc
Interface JClassDeclarationType
- All Superinterfaces:
- Annotatable, Comparable, CompilerPassEnterable, JMemberDeclarationType, JTypeDeclarationType, PhylumType
- All Known Implementing Classes:
- JClassDeclaration, JmlClassDeclaration
- public interface JClassDeclarationType
- extends JTypeDeclarationType
This type represents a java class declaration in the syntax tree.
| 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 |
setSuperClass
public void setSuperClass(CClassType superType)
- Sets the super class of this class.
setInterfaces
public void setInterfaces(CClassType[] interfaces)
- Sets the list of interfaces that this class implements.
hasConstructor
public boolean hasConstructor()
- Returns true if this class declaration contains an
explicit constructor declaration.
This method is used by
checkInterface
to determine whether or not to create a default
constructor for this type.
createContext
public CClassContextType createContext(CContextType parent)
- Creates a class context for this class declaration.
- Specified by:
createContext in interface JTypeDeclarationType
- Parameters:
parent - the parent context or null
- Returns:
- returns a CClassContextType that represents this context
superName
public String superName()
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.