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

Class ConstraintType

java.lang.Object

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

net.ssehub.easy.varModel.model.datatypes.ConstraintType

All Implemented Interfaces:

IDatatype, IDatatypeVisitable

public class ConstraintType
extends BasisDatatype

Defines the basis datatype for holding constraints. This datatype allows to define varying constraints (required by HIS).

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
static final Operation	ASSIGNMENT
static final Operation	EQUALS
static final Operation	IF_DEFINED
static final Operation	IS_DEFINED
static final IDatatype	TYPE
static final Operation	TYPE_OF
static final Operation	UNEQUALS
static final Operation	UNEQUALS_ALIAS

Constructor Summary

Constructors

Modifier	Constructor	Description
private	ConstraintType()	Constructor for a new ConstraintType.

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.
static boolean	isConstraint(IDatatype type)	Returns whether type is a constraint.

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

TYPE

public static final IDatatype TYPE

TYPE_OF

public static final Operation TYPE_OF

EQUALS

public static final Operation EQUALS

UNEQUALS

public static final Operation UNEQUALS

UNEQUALS_ALIAS

public static final Operation UNEQUALS_ALIAS

ASSIGNMENT

public static final Operation ASSIGNMENT

IS_DEFINED

public static final Operation IS_DEFINED

IF_DEFINED

public static final Operation IF_DEFINED

Constructor Details

ConstraintType

private ConstraintType()

Constructor for a new ConstraintType.

Method Details

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

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

isConstraint

public static boolean isConstraint(IDatatype type)

Returns whether type is a constraint. This method is required as constraints are assignable to Boolean.

Parameters:

type - the type

Returns:

true in case of a constraint false else