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, codeInstanceexceptions, exceptions, reachable, reachabledel, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdgeaddDecls, 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, visitListmemberInstanceFlags 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()