org.multijava.mjc
Interface JConstructorDeclarationType

All Superinterfaces:

Annotatable, Comparable, JMemberDeclarationType, JMethodDeclarationType, PhylumType

All Known Implementing Classes:

JConstructorDeclaration

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