- All Superinterfaces:
- Annotatable, Comparable, JMemberDeclarationType, JMethodDeclarationType, PhylumType
- All Known Implementing Classes:
- public interface JConstructorDeclarationType
- extends JMethodDeclarationType
This type represents a constructor in the AST.
|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
public void typecheck(CClassContextType context,
- Typechecks this method declaration. Mutates the context to
record the information gathered during the checks.
context - the context in which this method appears
instanceInfo - the definite-assignment state of the surrounding
class after instance initializers but before any
PositionedError - if the checks fail and the failure
cannot be recovered from
mjc is Copyright (C) 2000-2004 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. mjc is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.