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

Class Sequence

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.StructuredDatatype

net.ssehub.easy.varModel.model.datatypes.Container

net.ssehub.easy.varModel.model.datatypes.Sequence

All Implemented Interfaces:

IDatatype, IDatatypeVisitable, IModelElement

public class Sequence
extends Container

Realizes a sequence container. This represents an array.

Author:

heiko beck, Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
static Operation	ADD
static Operation	APPEND
static Operation	AS_SEQUENCE
static Operation	AS_SET
static Operation	ASSIGNMENT
static Operation	AT
(package private) static DelegatingType	DTYPE
static Operation	EQUALS
static Operation	EXCLUDING
static Operation	FIRST
static Operation	FLATTEN
static Operation	HAS_DUPLICATES
static Operation	INCLUDING
static Operation	INDEX_ACCESS
static Operation	INDEX_OF
static Operation	INSERT_AT
static Operation	ISSUBSEQUENCE
static Operation	LAST
static Operation	OVERLAPS
static Operation	PREPEND
static Operation	REVERSE
static Operation	SUBSEQUENCE
static Operation	TO_SEQUENCE
static Operation	TO_SET
static IDatatype	TYPE	This constant represents the common type of all sets.
static Operation	UNION

Fields inherited from class net.ssehub.easy.varModel.model.datatypes.Container

ANY, APPLY, AVG, CLOSURE, COLLECT, COLLECT_NESTED, COPY, COUNT, EXCLUDES, EXCLUDES_ALL, EXISTS, FORALL, INCLUDES, INCLUDES_ALL, IS_ACYCLIC, IS_DEFINED, IS_EMPTY, IS_UNIQUE, ITERATE, MAX, MAX2, MIN, MIN2, NOT_EMPTY, ONE, PRODUCT, REJECT, SELECT, SELECT_BY_KIND, SELECT_BY_TYPE, SIZE, SORTED_BY, SUM, TYPE_OF, TYPE_REJECT, TYPE_SELECT, UNEQUALS, UNEQUALS_ALIAS

Constructor Summary

Constructors

Modifier	Constructor	Description
private	Sequence()	Creates the singleton instance.
	Sequence(java.lang.String name, IDatatype type, IModelElement parent)	Constructor for the container.

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.
static boolean	isSequence(IDatatype type, IDatatype... generics)	Returns whether type is a squence and the given generics match.

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

getContainedType, getGenericType, getGenericTypeCount, isAssignableFrom, isConstraintContainer, isContainer, isReferencesContainer, isReferencesContainer

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

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 Detail

DTYPE

static final DelegatingType DTYPE

TYPE

public static final IDatatype TYPE

This constant represents the common type of all sets. Each specific sequence type is assignable to this type.

INDEX_ACCESS

public static final Operation INDEX_ACCESS

AT

public static final Operation AT

FIRST

public static final Operation FIRST

LAST

public static final Operation LAST

AS_SET

public static final Operation AS_SET

TO_SET

public static final Operation TO_SET

AS_SEQUENCE

public static final Operation AS_SEQUENCE

TO_SEQUENCE

public static final Operation TO_SEQUENCE

UNION

public static final Operation UNION

APPEND

public static final Operation APPEND

PREPEND

public static final Operation PREPEND

INSERT_AT

public static final Operation INSERT_AT

INDEX_OF

public static final Operation INDEX_OF

HAS_DUPLICATES

public static final Operation HAS_DUPLICATES

EXCLUDING

public static final Operation EXCLUDING

INCLUDING

public static final Operation INCLUDING

REVERSE

public static final Operation REVERSE

SUBSEQUENCE

public static final Operation SUBSEQUENCE

ADD

public static final Operation ADD

ISSUBSEQUENCE

public static final Operation ISSUBSEQUENCE

OVERLAPS

public static final Operation OVERLAPS

FLATTEN

public static final Operation FLATTEN

EQUALS

public static final Operation EQUALS

ASSIGNMENT

public static final Operation ASSIGNMENT

Constructor Detail

Sequence

private Sequence()

Creates the singleton instance.

Sequence

public Sequence(java.lang.String name,
                IDatatype type,
                IModelElement parent)

Constructor for the container.

Parameters:

name - Name of the container

type - data type of the container elements

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

Method Detail

accept

public void accept(IModelVisitor visitor)

Accept method for the visitor.

Specified by:

accept in interface IModelElement

Overrides:

accept in class Container

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 Container

Parameters:

visitor - the visitor to accept

isSequence

public static final boolean isSequence(IDatatype type,
                                       IDatatype... generics)

Returns whether type is a squence and the given generics match.

Parameters:

type - the type to check for

generics - the generics to be considered

Returns:

true if type is sequenceOf(generics), false else