polyglot.ext.jl5.ast

Interface ElementValueArrayInit

All Superinterfaces:

java.lang.Cloneable, Copy<Node>, Node, NodeOps, java.io.Serializable, Term

All Known Implementing Classes:

ElementValueArrayInit_c

public interface ElementValueArrayInit
extends Term

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.ast.Term

Term.Instance

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

Copy.Util

Field Summary

Fields inherited from interface polyglot.ast.Term

ENTRY, EXIT

Method Summary

Methods

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.

Methods inherited from interface polyglot.ast.Term

exceptions, exceptions, reachable, reachable

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

Method Detail

elements

java.util.List<Term> elements()

Get the initializer elements.

Returns:

A list of Term. Are actually either expressions of AnnotationElems.

elements

Node elements(java.util.List<Term> elements)

Set the initializer elements.

Parameters:

elements - A list of Term.

type

Type type()

type

Node type(Type type)

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.