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

Class AnyType

java.lang.Object

net.ssehub.easy.varModel.model.datatypes.BasisDatatype

net.ssehub.easy.varModel.model.datatypes.AnyType

All Implemented Interfaces:

IDatatype, IDatatypeVisitable

public class AnyType
extends BasisDatatype

The AnyType is the "Object" of OCL, a type to which all types are compatible. We need this type to specify generic operations (return values)

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
static final Operation	AS_TYPE
static final Operation	ASSIGNMENT
(package private) static final DelegatingType	BOOLEAN_TYPE
(package private) static final DelegatingType	CONSTRAINT_TYPE
(package private) static final DelegatingType	CONTAINER_TYPE
(package private) static final DelegatingType	DTYPE
static final Operation	EQUALS
static final Operation	GET_LOCALE
static final Operation	IS_KIND_OF
static final Operation	IS_TYPE_OF
(package private) static final DelegatingType	META_TYPE
static final Operation	NOTEQUALS
static final Operation	NOTEQUALS_ALIAS
(package private) static final DelegatingType	SEQUENCE_TYPE
static final Operation	SET_LOCALE
(package private) static final DelegatingType	SET_TYPE
(package private) static final DelegatingType	STRING_TYPE
static final IDatatype	TYPE

Constructor Summary

Constructors

Modifier	Constructor	Description
private	AnyType()	Constructor for a new BooleanType.

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.
boolean	isAssignableFrom(IDatatype type)	Determines if the data type represented by this object is either the same as, or is a supertype of type.

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

getGenericType, getGenericTypeCount, getName, getNameSpace, getOperation, getOperationCount, getQualifiedName, getType, getTypeClass, getUniqueName, isPrimitive, isPseudoType

Methods inherited from class java.lang.Object

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

Field Details

DTYPE

static final DelegatingType DTYPE

TYPE

public static final IDatatype TYPE

META_TYPE

static final DelegatingType META_TYPE

BOOLEAN_TYPE

static final DelegatingType BOOLEAN_TYPE

STRING_TYPE

static final DelegatingType STRING_TYPE

CONSTRAINT_TYPE

static final DelegatingType CONSTRAINT_TYPE

CONTAINER_TYPE

static final DelegatingType CONTAINER_TYPE

SEQUENCE_TYPE

static final DelegatingType SEQUENCE_TYPE

SET_TYPE

static final DelegatingType SET_TYPE

IS_TYPE_OF

public static final Operation IS_TYPE_OF

IS_KIND_OF

public static final Operation IS_KIND_OF

SET_LOCALE

public static final Operation SET_LOCALE

GET_LOCALE

public static final Operation GET_LOCALE

AS_TYPE

public static final Operation AS_TYPE

ASSIGNMENT

public static final Operation ASSIGNMENT

EQUALS

public static final Operation EQUALS

NOTEQUALS

public static final Operation NOTEQUALS

NOTEQUALS_ALIAS

public static final Operation NOTEQUALS_ALIAS

Constructor Details

AnyType

private AnyType()

Constructor for a new BooleanType.

Method Details

isAssignableFrom

public boolean isAssignableFrom(IDatatype type)

Description copied from class: BasisDatatype

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 BasisDatatype

Parameters:

type - the type being checked

Returns:

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

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

Specified by:

accept in class BasisDatatype

Parameters:

visitor - the visitor to accept