public interface Formal extends VarDecl
Formal
represents a formal parameter to a method
or constructor or to a catch block. It consists of a type and a variable
identifier.Term.Instance
Modifier and Type | Method and Description |
---|---|
Flags |
flags()
Get the flags of the formal.
|
Formal |
flags(Flags flags)
Set the flags of the formal.
|
Id |
id()
Get the name of the formal.
|
Formal |
id(Id name)
Set the name of the formal.
|
LocalInstance |
localInstance()
Get the local instance of the formal.
|
Formal |
localInstance(LocalInstance li)
Set the local instance of the formal.
|
java.lang.String |
name()
Get the name of the formal.
|
Formal |
name(java.lang.String name)
Set the name of the formal.
|
TypeNode |
type()
Get the type node of the formal.
|
Formal |
type(TypeNode type)
Set the type node of the formal.
|
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
Formal name(java.lang.String name)
LocalInstance localInstance()
localInstance
in interface VarDecl
Formal localInstance(LocalInstance li)