Package net.ssehub.easy.varModel.cst

Class ConstantValue

java.lang.Object

net.ssehub.easy.varModel.cst.ConstraintSyntaxTree

net.ssehub.easy.varModel.cst.Leaf

net.ssehub.easy.varModel.cst.ConstantValue

All Implemented Interfaces:

IAttributeAccess

public class ConstantValue
extends Leaf

Class for a constant value.

Author:

jaehne, Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
private Value	constant

Constructor Summary

Constructors

Constructor	Description
ConstantValue()	Constructor for serialization.
ConstantValue(Value constant)	Sole constructor for the creation of a constant value.

Method Summary

Modifier and Type	Method	Description
void	accept(IConstraintTreeVisitor visitor)	Visiting method for the visitor.
boolean	equals(java.lang.Object obj)
Value	getConstantValue()	Getter-Method for the constant-value.
IDatatype	getContainedType()	Returns the data type explicitly contained in this syntax tree.
int	hashCode()
IDatatype	inferDatatype()	Infers the datatype of the subtree represented by this object.
static boolean	isNull(ConstraintSyntaxTree cst)	Returns whether the given constraint is exactly the IVML null value.
java.lang.String	toString()

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

getAttribute, getAttribute, getAttributesCount, getName, getParent, isSemanticallyEqual

Methods inherited from class java.lang.Object

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

Field Detail

constant

private Value constant

Constructor Detail

ConstantValue

ConstantValue()

Constructor for serialization.

ConstantValue

public ConstantValue(Value constant)

Sole constructor for the creation of a constant value.

Parameters:

constant - Constant value to be stored.

Method Detail

inferDatatype

public IDatatype inferDatatype()

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

getConstantValue

public Value getConstantValue()

Getter-Method for the constant-value.

Returns:

the value of the constant-attribute.

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

getContainedType

public IDatatype getContainedType()

Description copied from class: ConstraintSyntaxTree

Returns the data type explicitly contained in this syntax tree. This is typically a constant value which contains a meta value, i.e. a type expression.

Overrides:

getContainedType in class ConstraintSyntaxTree

Returns:

the contained type or null if there is none

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

isNull

public static final boolean isNull(ConstraintSyntaxTree cst)

Returns whether the given constraint is exactly the IVML null value.

Parameters:

cst - the constraint syntax tree

Returns:

true if cst is null, false else