JML

org.multijava.mjc
Interface CConstructorContextType

All Superinterfaces:
CContextType, CMethodContextType
All Known Implementing Classes:
CConstructorContext, JmlConstructorContext

public interface CConstructorContextType
extends CMethodContextType

This class represents the context for a constructor during checking passes (checkInterface, checkInitializers, typecheck). It includes data on whether the constructor calls a super constructor.

See Also:
CContextType

Method Summary
 boolean isInConstructor()
          Indicates whether this context is enclosed in a constructor.
 boolean isSuperConstructorCalled()
           
 void setSuperConstructorCalled(boolean b)
           
 void verifyExceptions(TokenReference ref)
          Verifies that all checked exceptions are defined in the throw list.
 
Methods inherited from interface org.multijava.mjc.CMethodContextType
addThrowable, createFlowControlContext, createFlowControlContext, getCMethod, getMethodContext, isInInitializer, isPure, isStatic, throwables
 
Methods inherited from interface org.multijava.mjc.CContextType
addFANonNull, addFANonNulls, addFANull, addFANulls, adoptNullityInfo, arithmeticMode, catchUp, check, check, check, check, classToGenerate, createClassContext, createExtMethodContext, createInterfaceContext, declaredOutsideOfLoop, declares, dumpNonNulls, fail, fail, findNearestHost, getClassContext, getCompilationUnit, getCompiler, getFANonNulls, getFANulls, getFlowControlContext, getParentContext, initializeField, isBeforeSuperConstructorCall, isFANonNull, isFieldDefinitelyAssigned, isInLoop, lookupClass, lookupField, lookupField, lookupLocalVariable, lookupMethod, lookupMethod, lookupMethodOrSet, lookupMethodOrSet, lookupOuterField, lookupOuterField, lookupOuterLocalVariable, lookupTypeVariable, mergeNullityInfo, modUtil, registerGFDecl, registerVisibleMethod, registerVisibleType, removeAllFANullity, removeFANonNull, replaceFieldInfoUpTo, reportTrouble, resolveMaybeExtMethodRef
 

Method Detail

verifyExceptions

public void verifyExceptions(TokenReference ref)
                               throws PositionedError
Verifies that all checked exceptions are defined in the throw list. Sets the throwables of the constructor if it is the synthetic constructor of an anonymous class.

Specified by:
verifyExceptions in interface CMethodContextType
Throws:
PositionedError - if checks fail

isInConstructor

public boolean isInConstructor()
Indicates whether this context is enclosed in a constructor.

Specified by:
isInConstructor in interface CMethodContextType

setSuperConstructorCalled

public void setSuperConstructorCalled(boolean b)

isSuperConstructorCalled

public boolean isSuperConstructorCalled()

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.