public interface NamedVariable extends Variable
Term.Instance
Modifier and Type | Method and Description |
---|---|
Flags |
flags()
Return the access flags of the variable, or Flags.NONE
|
Id |
id()
Return the name of the variable.
|
java.lang.String |
name()
Return the name of the variable.
|
VarInstance |
varInstance()
Return the type object for the variable.
|
constantValue, constantValueSet, isConstant, precedence, printSubExpr, printSubExpr, type
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
exceptions, exceptions, reachable, reachable
Flags flags()
Id id()
java.lang.String name()
VarInstance varInstance()