jltools.ast
Interface ConstructorDecl

All Superinterfaces:
ClassMember, java.lang.Cloneable, Copy, Node, ProcedureDecl, java.io.Serializable
All Known Subinterfaces:
JifConstructorDecl
All Known Implementing Classes:
ConstructorDecl_c

public interface ConstructorDecl
extends ProcedureDecl

A ConstructorDecl is an immutable representation of a constructor declaration as part of a class body.


Method Summary
 Block body()
           
 ConstructorDecl body(Block body)
           
 ConstructorInstance constructorInstance()
           
 ConstructorDecl constructorInstance(ConstructorInstance ci)
           
 java.util.List exceptionTypes()
           
 ConstructorDecl exceptionTypes(java.util.List exceptionTypes)
           
 Flags flags()
           
 ConstructorDecl flags(Flags flags)
           
 java.util.List formals()
           
 ConstructorDecl formals(java.util.List formals)
           
 java.lang.String name()
           
 ConstructorDecl name(java.lang.String name)
           
 
Methods inherited from interface jltools.ast.ProcedureDecl
procedureInstance
 
Methods inherited from interface jltools.ast.Node
buildTypes_, buildTypesOverride_, copy, disambiguate_, disambiguateOverride_, disambiguateTypes_, disambiguateTypesOverride_, dump, enterScope, exceptionCheck_, exceptionCheckOverride_, ext, ext, foldConstants_, foldConstantsOverride_, leaveScope, position, position, reconstructTypes_, translate_, typeCheck_, typeCheckOverride_, visit, visitChildren
 

Method Detail

flags

public Flags flags()
Specified by:
flags in interface ProcedureDecl

flags

public ConstructorDecl flags(Flags flags)

name

public java.lang.String name()
Specified by:
name in interface ProcedureDecl

name

public ConstructorDecl name(java.lang.String name)

formals

public java.util.List formals()
Specified by:
formals in interface ProcedureDecl

formals

public ConstructorDecl formals(java.util.List formals)

exceptionTypes

public java.util.List exceptionTypes()
Specified by:
exceptionTypes in interface ProcedureDecl

exceptionTypes

public ConstructorDecl exceptionTypes(java.util.List exceptionTypes)

body

public Block body()
Specified by:
body in interface ProcedureDecl

body

public ConstructorDecl body(Block body)

constructorInstance

public ConstructorInstance constructorInstance()

constructorInstance

public ConstructorDecl constructorInstance(ConstructorInstance ci)