Package net.ssehub.easy.varModel.cst

Class ContainerInitializer

java.lang.Object

net.ssehub.easy.varModel.cst.ConstraintSyntaxTree

net.ssehub.easy.varModel.cst.ContainerInitializer

All Implemented Interfaces:

IAttributeAccess

public class ContainerInitializer
extends ConstraintSyntaxTree

Represents an initializer for containers. This initializer may contain expressions for initializing container entries. IVML: {expression, ...}. We need a special constraint tree node for this purpose as values form net.ssehub.easy.varModel.model.values are intended to be constants and, thus, cannot contain arbitrary expressions.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
private ConstraintSyntaxTree[]	expressions
private Container	type

Constructor Summary

Constructors

Constructor	Description
ContainerInitializer(Container type, ConstraintSyntaxTree[] expressions)	Creates a new container initializer.

Method Summary

Modifier and Type	Method	Description
void	accept(IConstraintTreeVisitor visitor)	Visiting method for the visitor.
boolean	equals(java.lang.Object obj)
ConstraintSyntaxTree	getExpression(int index)	Returns the specified expression.
int	getExpressionCount()	Returns the number of expressions.
Container	getType()	Returns the type of the container.
int	hashCode()
IDatatype	inferDatatype()	Infers the datatype of the subtree represented by this object.

Methods inherited from class net.ssehub.easy.varModel.cst.ConstraintSyntaxTree

getAttribute, getAttribute, getAttributesCount, getContainedType, getName, getParent, isSemanticallyEqual

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Field Detail

type

private Container type

expressions

private ConstraintSyntaxTree[] expressions

Constructor Detail

ContainerInitializer

public ContainerInitializer(Container type,
                            ConstraintSyntaxTree[] expressions)
                     throws CSTSemanticException

Creates a new container initializer.

Parameters:

type - the type of the compound

expressions - the initializing expressions (in sequence for containers which support sequences)

Throws:

CSTSemanticException - in case that the initialization fails, element type mismatch

Method Detail

getType

public Container getType()

Returns the type of the container.

Returns:

the type of the container

getExpressionCount

public int getExpressionCount()

Returns the number of expressions.

Returns:

the number of expressions

getExpression

public ConstraintSyntaxTree getExpression(int index)

Returns the specified expression.

Parameters:

index - the index of the expression to be returned

Returns:

the specified expression

Throws:

java.lang.IndexOutOfBoundsException - if index < 0 || index >=getExpressionCount()

accept

public void accept(IConstraintTreeVisitor visitor)

Description copied from class: ConstraintSyntaxTree

Visiting method for the visitor.
This method is used for saving this model element.

Specified by:

accept in class ConstraintSyntaxTree

Parameters:

visitor - The visitor, which should save this model element.

inferDatatype

public IDatatype inferDatatype()
                        throws CSTSemanticException

Description copied from class: ConstraintSyntaxTree

Infers the datatype of the subtree represented by this object.

Specified by:

inferDatatype in class ConstraintSyntaxTree

Returns:

the data type

Throws:

CSTSemanticException - Will be thrown if parameters of (sub-) trees do not fit together.

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object