JML

org.multijava.mjc
Interface JConstructorDeclarationType

All Superinterfaces:
Annotatable, Comparable, JMemberDeclarationType, JMethodDeclarationType, PhylumType
All Known Implementing Classes:
JConstructorDeclaration, JmlConstructorDeclaration

public interface JConstructorDeclarationType
extends JMethodDeclarationType

This type represents a constructor in the AST.


Method Summary
 void typecheck(CClassContextType context, CVariableInfoTable instanceInfo)
          Typechecks this method declaration.
 
Methods inherited from interface org.multijava.mjc.JMethodDeclarationType
addParameter, body, checkInterface, checkInterfaceType, checkOverriding, compareTo, createSelfContext, getExceptions, hasBody, ident, isDeclaredNonNull, isExternal, isOverriding, modifiers, overriddenMethods, parameters, resolveExtMethods, resolveSpecializers, resolveTopMethods, returnType, setModifiers, setParameters, typecheck, usesMultipleDispatch
 
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
 

Method Detail

typecheck

public void typecheck(CClassContextType context,
                      CVariableInfoTable instanceInfo)
                        throws PositionedError
Typechecks this method declaration. Mutates the context to record the information gathered during the checks.

Parameters:
context - the context in which this method appears
instanceInfo - the definite-assignment state of the surrounding class after instance initializers but before any constructors
Throws:
PositionedError - if the checks fail and the failure cannot be recovered from

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.