public interface VarDecl extends Term
VarDecl
represents a local variable declaration, of either a formal
or a local variable.Term.Instance
Modifier and Type | Method and Description |
---|---|
Type |
declType()
Get the type object for the declaration's type.
|
Flags |
flags()
Get the declaration's flags.
|
Id |
id()
Get the declaration's name.
|
LocalInstance |
localInstance()
Get the type object for the variable declaration.
|
java.lang.String |
name()
Get the declaration's name.
|
TypeNode |
type()
Get the declaration's type.
|
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
Type declType()
Flags flags()
TypeNode type()
Id id()
java.lang.String name()
LocalInstance localInstance()