Package net.ssehub.easy.varModel.model.datatypes

Class DerivedDatatype

java.lang.Object

net.ssehub.easy.varModel.model.ModelElement

net.ssehub.easy.varModel.model.ContainableModelElement

net.ssehub.easy.varModel.model.datatypes.CustomDatatype

net.ssehub.easy.varModel.model.datatypes.DerivedDatatype

All Implemented Interfaces:

IDatatype, IDatatypeVisitable, IModelElement

public class DerivedDatatype
extends CustomDatatype

DerivedDatatype allows the user to create new data types based on existing types.

Author:

heiko beck

Field Summary

Fields

Modifier and Type	Field	Description
private IDatatype	basisType
private Constraint[]	constraints
(package private) static final DelegatingType	DTYPE
private List<IDerivedDatatypeListener>	listeners
static final IDatatype	TYPE	This constant represents the common type of all derived datatypes.
private DecisionVariableDeclaration	typeDeclaration

Constructor Summary

Constructors

Modifier	Constructor	Description
private	DerivedDatatype()	Creates the singleton instance for TYPE.
	DerivedDatatype(String name, IDatatype basisType, ModelElement parent)	Constructor for the derived data type.
	DerivedDatatype(String name, IDatatype basisType, ModelElement parent, Constraint... constraints)	Constructor for the derived data type.

Method Summary

Modifier and Type	Method	Description
void	accept(IDatatypeVisitor visitor)	Accepts a specialized visitor for creating a textual representation of the identity of this type.
void	accept(IModelVisitor visitor)	Accept method for the visitor.
IDatatype	getBasisType()	Returns the basis type.
Constraint	getConstraint(int index)	Returns a specific constraint.
int	getConstraintCount()	Returns the number of constraints.
DecisionVariableDeclaration	getTypeDeclaration()	This typeDeclaration is needed for the constraints.
boolean	isAssignableFrom(IDatatype type)	Determines if the data type represented by this object is either the same as, or is a supertype of type.
void	register(IDerivedDatatypeListener listener)	Registers a new IDerivedDatatypeListener to this type.
static final IDatatype	resolveToBasis(IDatatype type)	Resolves the given type to its innermost basis datatype.
void	setConstraints(Constraint[] constraints)	Changes the derivation constraints.
boolean	unregister(IDerivedDatatypeListener listener)	Unregisters an existing IDerivedDatatypeListener to this type.

Methods inherited from class net.ssehub.easy.varModel.model.datatypes.CustomDatatype

getGenericType, getGenericTypeCount, getOperation, getOperationCount, getType, getTypeClass, isPrimitive, isPseudoType, isType

Methods inherited from class net.ssehub.easy.varModel.model.ContainableModelElement

getNameSpace, getParent, getProject, getQualifiedName, getTopLevelParent, isTopLevel, setParent

Methods inherited from class net.ssehub.easy.varModel.model.ModelElement

findAttribute, getComment, getName, getUniqueName, isTransparent, propagateAttribute, setComment, setName, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface net.ssehub.easy.varModel.model.datatypes.IDatatype

getName, getNameSpace, getQualifiedName, getUniqueName

Field Details

DTYPE

static final DelegatingType DTYPE

TYPE

public static final IDatatype TYPE

This constant represents the common type of all derived datatypes. Each specific derived type is assignable to this type.

typeDeclaration

private DecisionVariableDeclaration typeDeclaration

constraints

private Constraint[] constraints

basisType

private IDatatype basisType

listeners

private List<IDerivedDatatypeListener> listeners

Constructor Details

DerivedDatatype

private DerivedDatatype()

Creates the singleton instance for TYPE.

DerivedDatatype

public DerivedDatatype(String name,
 IDatatype basisType,
 ModelElement parent)

Constructor for the derived data type.

Parameters:

name - the name of the derived data type

basisType - the type the this datatype is derived from

parent - the object, in which this specific one is embedded

DerivedDatatype

public DerivedDatatype(String name,
 IDatatype basisType,
 ModelElement parent,
 Constraint... constraints)

Constructor for the derived data type.

Parameters:

name - the name of the derived data type

basisType - the type the this datatype is derived from

parent - the object, in which this specific one is embedded

constraints - restricting constraints on basisType, may be null

Method Details

setConstraints

public void setConstraints(Constraint[] constraints)

Changes the derivation constraints. [required as consequence of parent elements]

Parameters:

constraints - restricting constraints on basisType, may be null

register

public void register(IDerivedDatatypeListener listener)

Registers a new IDerivedDatatypeListener to this type.

Parameters:

listener - An instance of this type.

unregister

public boolean unregister(IDerivedDatatypeListener listener)

Unregisters an existing IDerivedDatatypeListener to this type.

Parameters:

listener - An instance of this type.

Returns:

true if this type contained the specified listener

getConstraintCount

public int getConstraintCount()

Returns the number of constraints.

Returns:

the number of constraints

getTypeDeclaration

public DecisionVariableDeclaration getTypeDeclaration()

This typeDeclaration is needed for the constraints.

Returns:

typeDeclaration related to this datatype

getConstraint

public Constraint getConstraint(int index)

Returns a specific constraint.

Parameters:

index - the index of the constraint

Returns:

the specified constraint

Throws:

IndexOutOfBoundsException - if 0<index || index>getConstraintCount()

getBasisType

public IDatatype getBasisType()

Returns the basis type.

Returns:

the basis type

accept

public void accept(IModelVisitor visitor)

Description copied from interface: IModelElement

Accept method for the visitor.

Parameters:

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

accept

public void accept(IDatatypeVisitor visitor)

Description copied from interface: IDatatypeVisitable

Accepts a specialized visitor for creating a textual representation of the identity of this type.

Specified by:

accept in interface IDatatypeVisitable

Overrides:

accept in class ContainableModelElement

Parameters:

visitor - the visitor to accept

isAssignableFrom

public boolean isAssignableFrom(IDatatype type)

Description copied from class: CustomDatatype

Determines if the data type represented by this object is either the same as, or is a supertype of type.

Specified by:

isAssignableFrom in interface IDatatype

Overrides:

isAssignableFrom in class CustomDatatype

Parameters:

type - the type being checked

Returns:

true if this type is either the same or a supertype of type, true else

resolveToBasis

public static final IDatatype resolveToBasis(IDatatype type)

Resolves the given type to its innermost basis datatype. We cannot do this automatically, as otherwise the tests for assignable types, e.g. to Compounds, would fail.

Parameters:

type - the type to be resolved

Returns:

the innermost basis datatype, type if type is not a DerivedDatatype.