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

Class Set

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

All Implemented Interfaces:

IDatatype, IDatatypeVisitable, IModelElement

public class Set
extends Container

Realizes a set container.

Author:

heiko beck, Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
static final Operation	ADD
static final Operation	AS_SEQUENCE
static final Operation	AS_SET
static final Operation	ASSIGNMENT
static final Operation	DIFFERENCE
(package private) static final DelegatingType	DTYPE
static final Operation	EQUALS
static final Operation	EXCLUDING
static final Operation	FLATTEN
static final Operation	INCLUDING
static final Operation	INTERSECTION
static final Operation	SYMMETRIC_DIFFERENCE
static final Operation	TO_SEQUENCE
static final Operation	TO_SET
static final IDatatype	TYPE	This constant represents the common type of all sets.
static final 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, IF_DEFINED, 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	Set()	Creates the singleton instance.
	Set(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 final boolean	isSet(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 Details

DTYPE

static final DelegatingType DTYPE

TYPE

public static final IDatatype TYPE

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

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

INTERSECTION

public static final Operation INTERSECTION

EXCLUDING

public static final Operation EXCLUDING

INCLUDING

public static final Operation INCLUDING

DIFFERENCE

public static final Operation DIFFERENCE

SYMMETRIC_DIFFERENCE

public static final Operation SYMMETRIC_DIFFERENCE

ADD

public static final Operation ADD

FLATTEN

public static final Operation FLATTEN

EQUALS

public static final Operation EQUALS

ASSIGNMENT

public static final Operation ASSIGNMENT

Constructor Details

Set

private Set()

Creates the singleton instance.

Set

public Set(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 Details

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

isSet

public static final boolean isSet(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