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

Class RealType

java.lang.Object

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

net.ssehub.easy.varModel.model.datatypes.RealType

All Implemented Interfaces:

IDatatype, IDatatypeVisitable

public class RealType
extends BasisDatatype

Creates the BasisDatatype Real.

Author:

beck, Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
static Operation	ABS_REAL_REAL
static Operation	ASSIGNMENT_REAL_INTEGER
static Operation	ASSIGNMENT_REAL_REAL
static Operation	COPY
static Operation	DIV_REAL_INTEGER
static Operation	DIV_REAL_REAL
(package private) static DelegatingType	DTYPE
static Operation	EQUALS_REAL_INTEGER
static Operation	EQUALS_REAL_REAL
static Operation	FLOOR
static Operation	GREATER_EQUALS_REAL_INTEGER
static Operation	GREATER_EQUALS_REAL_REAL
static Operation	GREATER_REAL_INTEGER
static Operation	GREATER_REAL_REAL
(package private) static DelegatingType	INTEGER_TYPE
static Operation	INVERSE_REAL
static Operation	IS_DEFINED
static Operation	LESS_EQUALS_REAL_INTEGER
static Operation	LESS_EQUALS_REAL_REAL
static Operation	LESS_REAL_INTEGER
static Operation	LESS_REAL_REAL
static Operation	MAX_REAL_INTEGER
static Operation	MAX_REAL_REAL
static Operation	MIN_REAL_INTEGER
static Operation	MIN_REAL_REAL
static Operation	MINUS_REAL_INTEGER
static Operation	MINUS_REAL_REAL
static Operation	MOD_REAL_INTEGER
static Operation	MOD_REAL_REAL
static Operation	MULT_REAL_INTEGER
static Operation	MULT_REAL_REAL
static Operation	NOTEQUALS_REAL_INTEGER
static Operation	NOTEQUALS_REAL_INTEGER_ALIAS
static Operation	NOTEQUALS_REAL_REAL
static Operation	NOTEQUALS_REAL_REAL_ALIAS
static Operation	PLUS_REAL_INTEGER
static Operation	PLUS_REAL_REAL
static Operation	ROUND
static Operation	TO_STRING
static IDatatype	TYPE
static Operation	TYPE_OF

Constructor Summary

Constructors

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

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 Detail

DTYPE

static final DelegatingType DTYPE

TYPE

public static final IDatatype TYPE

INTEGER_TYPE

static final DelegatingType INTEGER_TYPE

TYPE_OF

public static final Operation TYPE_OF

EQUALS_REAL_REAL

public static final Operation EQUALS_REAL_REAL

EQUALS_REAL_INTEGER

public static final Operation EQUALS_REAL_INTEGER

ASSIGNMENT_REAL_REAL

public static final Operation ASSIGNMENT_REAL_REAL

ASSIGNMENT_REAL_INTEGER

public static final Operation ASSIGNMENT_REAL_INTEGER

IS_DEFINED

public static final Operation IS_DEFINED

COPY

public static final Operation COPY

NOTEQUALS_REAL_REAL

public static final Operation NOTEQUALS_REAL_REAL

NOTEQUALS_REAL_INTEGER

public static final Operation NOTEQUALS_REAL_INTEGER

NOTEQUALS_REAL_REAL_ALIAS

public static final Operation NOTEQUALS_REAL_REAL_ALIAS

NOTEQUALS_REAL_INTEGER_ALIAS

public static final Operation NOTEQUALS_REAL_INTEGER_ALIAS

PLUS_REAL_REAL

public static final Operation PLUS_REAL_REAL

PLUS_REAL_INTEGER

public static final Operation PLUS_REAL_INTEGER

MINUS_REAL_REAL

public static final Operation MINUS_REAL_REAL

MINUS_REAL_INTEGER

public static final Operation MINUS_REAL_INTEGER

MULT_REAL_REAL

public static final Operation MULT_REAL_REAL

MULT_REAL_INTEGER

public static final Operation MULT_REAL_INTEGER

DIV_REAL_REAL

public static final Operation DIV_REAL_REAL

DIV_REAL_INTEGER

public static final Operation DIV_REAL_INTEGER

GREATER_REAL_REAL

public static final Operation GREATER_REAL_REAL

GREATER_REAL_INTEGER

public static final Operation GREATER_REAL_INTEGER

LESS_REAL_REAL

public static final Operation LESS_REAL_REAL

LESS_REAL_INTEGER

public static final Operation LESS_REAL_INTEGER

GREATER_EQUALS_REAL_REAL

public static final Operation GREATER_EQUALS_REAL_REAL

GREATER_EQUALS_REAL_INTEGER

public static final Operation GREATER_EQUALS_REAL_INTEGER

LESS_EQUALS_REAL_REAL

public static final Operation LESS_EQUALS_REAL_REAL

LESS_EQUALS_REAL_INTEGER

public static final Operation LESS_EQUALS_REAL_INTEGER

MIN_REAL_REAL

public static final Operation MIN_REAL_REAL

MAX_REAL_REAL

public static final Operation MAX_REAL_REAL

MIN_REAL_INTEGER

public static final Operation MIN_REAL_INTEGER

MAX_REAL_INTEGER

public static final Operation MAX_REAL_INTEGER

MOD_REAL_REAL

public static final Operation MOD_REAL_REAL

MOD_REAL_INTEGER

public static final Operation MOD_REAL_INTEGER

ABS_REAL_REAL

public static final Operation ABS_REAL_REAL

INVERSE_REAL

public static final Operation INVERSE_REAL

FLOOR

public static final Operation FLOOR

ROUND

public static final Operation ROUND

TO_STRING

public static final Operation TO_STRING

Constructor Detail

RealType

private RealType()

Constructor for a new RealType.

Method Detail

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)

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