public interface ElementValueArrayInit extends Term
ArrayInit
is an immutable representation of
an array initializer, such as { 3, 1, { 4, 1, 5 } }. Note that
the elements of these array may be expressions of any type (e.g.,
Call
).Term.Instance
Modifier and Type | Method and Description |
---|---|
java.util.List<Term> |
elements()
Get the initializer elements.
|
Node |
elements(java.util.List<Term> elements)
Set the initializer elements.
|
Type |
type() |
Node |
type(Type type) |
void |
typeCheckElements(TypeChecker tc,
Type lhsType)
Type check the individual elements of the array initializer against the
left-hand-side 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
java.util.List<Term> elements()
Term
. Are actually either expressions of
AnnotationElems.Node elements(java.util.List<Term> elements)
elements
- A list of Term
.Type type()
void typeCheckElements(TypeChecker tc, Type lhsType) throws SemanticException
tc
- The type checking visitor.lhsType
- Type to compare against.SemanticException
- if there is a type error.