polyglot.ast

Interface ArrayInit

All Superinterfaces:

java.lang.Cloneable, Copy<Node>, Expr, Node, NodeOps, Prefix, Receiver, java.io.Serializable, Term, Typed

All Known Implementing Classes:

ArrayInit_c

public interface ArrayInit
extends Expr

An 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).

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.util.Copy

Copy.Util

Nested classes/interfaces inherited from interface polyglot.ast.Term

Term.Instance

Field Summary

Fields inherited from interface polyglot.ast.Term

ENTRY, EXIT

Method Summary

Methods

Modifier and Type	Method and Description
java.util.List<Expr>	elements() Get the initializer elements.
ArrayInit	elements(java.util.List<Expr> elements) Set the initializer elements.
void	typeCheckElements(TypeChecker tc, Type lhsType) Type check the individual elements of the array initializer against the left-hand-side type.

Methods inherited from interface polyglot.ast.Expr

constantValue, constantValueSet, isConstant, precedence, printSubExpr, printSubExpr, type

Methods inherited from interface polyglot.ast.Node

del, del, dump, error, error, ext, ext, ext, ext, isDisambiguated, isTypeChecked, position, position, visit, visitEdge

Methods inherited from interface polyglot.ast.NodeOps

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

Methods inherited from interface polyglot.util.Copy

copy

Methods inherited from interface polyglot.ast.Typed

type

Methods inherited from interface polyglot.ast.Term

exceptions, exceptions, reachable, reachable

Method Detail

elements

java.util.List<Expr> elements()

Get the initializer elements.

Returns:

A list of Expr.

elements

ArrayInit elements(java.util.List<Expr> elements)

Set the initializer elements.

Parameters:

elements - A list of Expr.

typeCheckElements

void typeCheckElements(TypeChecker tc,
                     Type lhsType)
                       throws SemanticException

Type check the individual elements of the array initializer against the left-hand-side type. Each element is checked to see if it can be assigned to a variable of type lhsType.

Parameters:

tc - The type checking visitor.

lhsType - Type to compare against.

Throws:

SemanticException - if there is a type error.