public interface LocalDecl extends ForInit, VarDecl, VarInit
LocalDecl
is an immutable representation of a local variable
declaration statement: a type, a name and an optional initializer.Term.Instance
Modifier and Type | Method and Description |
---|---|
LocalDecl |
flags(Flags flags)
Set the declaration's flags.
|
LocalDecl |
id(Id name)
Set the declaration's name.
|
Expr |
init()
Get the declaration's initializer expression, or null.
|
LocalDecl |
init(Expr init)
Set the declaration's initializer expression.
|
LocalDecl |
localInstance(LocalInstance li)
Set the type object for the local declaration.
|
LocalDecl |
name(java.lang.String name)
Set the declaration's name.
|
LocalDecl |
type(TypeNode type)
Set 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
declType, flags, id, localInstance, name, type
constantValueSet, varInstance
LocalDecl name(java.lang.String name)
Expr init()
LocalDecl localInstance(LocalInstance li)