Package net.ssehub.easy.varModel.cst

Class Self

java.lang.Object

net.ssehub.easy.varModel.cst.ConstraintSyntaxTree

net.ssehub.easy.varModel.cst.Leaf

net.ssehub.easy.varModel.cst.Self

All Implemented Interfaces:

IAttributeAccess

public class Self
extends Leaf

Represents the a compound itself (for constraints within compounds). Self must be replaced accordingly, e.g., by all-quantification.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
private Compound	type

Constructor Summary

Constructors

Constructor	Description
Self()	Constructor for serialization.
Self(Compound type)	Creates a self constant for type.

Method Summary

Modifier and Type	Method	Description
void	accept(IConstraintTreeVisitor visitor)	Visiting method for the visitor.
IDatatype	getType()	Returns the type (without exception throwing).
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, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

type

private Compound type

Constructor Details

Self

Self()

Constructor for serialization.

Self

public Self(Compound type)

Creates a self constant for type.

Parameters:

type - the actual type of this self leaf

Method Details

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.

getType

public IDatatype getType()

Returns the type (without exception throwing).

Returns:

the type of "self"