public interface MethodDecl extends ProcedureDecl
Term.Instance
Modifier and Type | Method and Description |
---|---|
MethodInstance |
methodInstance()
The method type object.
|
MethodDecl |
methodInstance(MethodInstance mi)
Set the method's type object.
|
TypeNode |
returnType()
The method's return type.
|
MethodDecl |
returnType(TypeNode returnType)
Set the method's return type.
|
flags, flags, formals, formals, id, id, name, name, procedureInstance, throwTypes, throwTypes
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
TypeNode returnType()
MethodDecl returnType(TypeNode returnType)
MethodInstance methodInstance()
MethodDecl methodInstance(MethodInstance mi)