Package net.ssehub.easy.varModel.cst

Class Variable

java.lang.Object

net.ssehub.easy.varModel.cst.ConstraintSyntaxTree

net.ssehub.easy.varModel.cst.Leaf

net.ssehub.easy.varModel.cst.Variable

All Implemented Interfaces:

IAttributeAccess

Direct Known Subclasses:

AttributeVariable, ResolvedVariable

public class Variable
extends Leaf

Class for a variable value.

Author:

jaehne, Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
private AbstractVariable	nestedVariable

Constructor Summary

Constructors

Constructor	Description
Variable()	Constructor for serialization.
Variable(AbstractVariable nestedVariable)	The constructor for this class.

Method Summary

Modifier and Type	Method	Description
void	accept(IConstraintTreeVisitor visitor)	Visiting method for the visitor.
boolean	equals(java.lang.Object obj)
Attribute	getAttribute(int index)	Returns a specific attribute.
int	getAttributesCount()	Returns the number of attributes.
ConstraintSyntaxTree	getQualifier()	Returns the qualifier for accessing the variable, e.g., an expression to be put before.
IDecisionVariable	getResolved()	Returns the resolved decision variable.
AbstractVariable	getVariable()	Getter for the nestedVariable.
int	hashCode()
IDatatype	inferDatatype()	Infers the datatype of the subtree represented by this object.
boolean	isSemanticallyEqual(ConstraintSyntaxTree otherTree)	Checks whether this ConstraintSyntaxTree is semantically equal to another ConstraintSyntaxTree.
java.lang.String	toString()

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

getAttribute, getContainedType, getName, getParent

Methods inherited from class java.lang.Object

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

Field Detail

nestedVariable

private AbstractVariable nestedVariable

Constructor Detail

Variable

Variable()

Constructor for serialization.

Variable

public Variable(AbstractVariable nestedVariable)

The constructor for this class.

Parameters:

nestedVariable - The nested variable should be embedded in the current constraint.

Method Detail

getVariable

public AbstractVariable getVariable()

Getter for the nestedVariable.

Returns:

The nested variable should not be null.

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.

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

getAttributesCount

public int getAttributesCount()

Description copied from class: ConstraintSyntaxTree

Returns the number of attributes.

Specified by:

getAttributesCount in interface IAttributeAccess

Overrides:

getAttributesCount in class ConstraintSyntaxTree

Returns:

the number of attributes

getAttribute

public Attribute getAttribute(int index)

Description copied from class: ConstraintSyntaxTree

Returns a specific attribute.

Specified by:

getAttribute in interface IAttributeAccess

Overrides:

getAttribute in class ConstraintSyntaxTree

Parameters:

index - the index of the attribute

Returns:

the attribute

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getQualifier

public ConstraintSyntaxTree getQualifier()

Returns the qualifier for accessing the variable, e.g., an expression to be put before. For usual variables, the qualifier is always null.

Returns:

the qualifier (may be null)

getResolved

public IDecisionVariable getResolved()

Returns the resolved decision variable.

Returns:

the decision variable (may be null)

isSemanticallyEqual

public boolean isSemanticallyEqual(ConstraintSyntaxTree otherTree)

Description copied from class: ConstraintSyntaxTree

Checks whether this ConstraintSyntaxTree is semantically equal to another ConstraintSyntaxTree. Attention:This method is not fully supported by all operations and sub classes.

Overrides:

isSemanticallyEqual in class ConstraintSyntaxTree

Parameters:

otherTree - Another cst to check whether it is semantically equal to this cst.

Returns:

true if both trees are semantically equal, false otherwise.