public interface ProcedureDecl extends CodeDecl
Term.Instance
Modifier and Type | Method and Description |
---|---|
Flags |
flags()
The procedure's flags.
|
ProcedureDecl |
flags(Flags flags)
Set the procedure's flags.
|
java.util.List<Formal> |
formals()
The procedure's formal parameters.
|
ProcedureDecl |
formals(java.util.List<Formal> formals)
Set the procedure's formal parameters.
|
Id |
id()
The procedure's name.
|
ProcedureDecl |
id(Id id)
Set the procedure's name.
|
java.lang.String |
name()
The procedure's name.
|
ProcedureDecl |
name(java.lang.String name)
Set the procedure's name.
|
ProcedureInstance |
procedureInstance()
The procedure's type object.
|
java.util.List<TypeNode> |
throwTypes()
The procedure's exception throw types.
|
ProcedureDecl |
throwTypes(java.util.List<TypeNode> throwTypes)
Set the procedure's exception throw types.
|
codeBody, codeInstance
exceptions, exceptions, reachable, reachable
del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdge
addDecls, buildTypes, buildTypesEnter, checkConstants, childExpectedType, copy, copy, disambiguate, disambiguateEnter, disambiguateOverride, dump, dump, dump, dump, enterChildScope, enterScope, exceptionCheck, exceptionCheckEnter, extRewrite, extRewriteEnter, lang, prettyPrint, prettyPrint, prettyPrint, prettyPrint, prettyPrint, throwTypes, translate, typeCheck, typeCheckEnter, typeCheckOverride, visitChild, visitChildren, visitList
memberInstance
Flags flags()
ProcedureDecl flags(Flags flags)
Id id()
ProcedureDecl id(Id id)
java.lang.String name()
ProcedureDecl name(java.lang.String name)
java.util.List<Formal> formals()
Formal
.ProcedureDecl formals(java.util.List<Formal> formals)
formals
- A list of Formal
.java.util.List<TypeNode> throwTypes()
TypeNode
.ProcedureDecl throwTypes(java.util.List<TypeNode> throwTypes)
throwTypes
- A list of TypeNode
.ProcedureInstance procedureInstance()