Package net.ssehub.easy.varModel.cst

Class CompoundAccess

java.lang.Object

net.ssehub.easy.varModel.cst.ConstraintSyntaxTree

net.ssehub.easy.varModel.cst.CompoundAccess

All Implemented Interfaces:

IAttributeAccess

public class CompoundAccess
extends ConstraintSyntaxTree

Represents an expression which accesses a compound slot where the compound is specified as a ConstraintSyntaxTree.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
private ConstraintSyntaxTree	compoundExpression
private AbstractVariable	slot
private java.lang.String	slotName

Constructor Summary

Constructors

Constructor	Description
CompoundAccess()	Constructor for serialization.
CompoundAccess(ConstraintSyntaxTree compoundExpression, java.lang.String slotName)	Creates a compound access node.

Method Summary

Modifier and Type	Method	Description
void	accept(IConstraintTreeVisitor visitor)	Visiting method for the visitor.
boolean	equals(java.lang.Object obj)
ConstraintSyntaxTree	getCompoundExpression()	The expression denoting the compound to access.
AbstractVariable	getResolvedSlot()	Returns the resolved compound slot.
java.lang.String	getSlotName()	Returns the name of the slot.
IDatatype	getStaticType()	Returns the static type in case that this compound access is a static access.
int	hashCode()
IDatatype	inferDatatype()	Infers the datatype of the subtree represented by this object.
private DecisionVariableDeclaration	searchSlot(Compound comp, java.lang.String slotName)	Searches for a slot in comp or its refined compounds.

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

compoundExpression

private ConstraintSyntaxTree compoundExpression

slotName

private java.lang.String slotName

slot

private AbstractVariable slot

Constructor Detail

CompoundAccess

CompoundAccess()

Constructor for serialization.

CompoundAccess

public CompoundAccess(ConstraintSyntaxTree compoundExpression,
                      java.lang.String slotName)

Creates a compound access node.

Parameters:

compoundExpression - an expression denoting a compound

slotName - the name of the accessed slot

Method Detail

searchSlot

private DecisionVariableDeclaration searchSlot(Compound comp,
                                               java.lang.String slotName)

Searches for a slot in comp or its refined compounds.

Parameters:

comp - the compound to search

slotName - the name to search

Returns:

the containing compound or null

getStaticType

public IDatatype getStaticType()
                        throws CSTSemanticException

Returns the static type in case that this compound access is a static access.

Returns:

the static type or null

Throws:

CSTSemanticException - in case of semantic errors

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.

getCompoundExpression

public ConstraintSyntaxTree getCompoundExpression()

The expression denoting the compound to access.

Returns:

the compound expression

getSlotName

public java.lang.String getSlotName()

Returns the name of the slot.

Returns:

the name of the slot

getResolvedSlot

public AbstractVariable getResolvedSlot()

Returns the resolved compound slot. The result is only valid if inferDatatype() was called before this operation.

Returns:

the resolved slot, null if the slot cannot be resolved or inferDatatype() was not called before

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.

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