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

Class IntegerType

java.lang.Object

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

net.ssehub.easy.varModel.model.datatypes.IntegerType

All Implemented Interfaces:

IDatatype, IDatatypeVisitable

public class IntegerType
extends BasisDatatype

Creates the BasisDatatype Integer.

Author:

Tebbje, Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
static final Operation	ABS_INTEGER_INTEGER
static final Operation	ASSIGNMENT_INTEGER_INTEGER
static final Operation	COPY
static final Operation	DIV_INTEGER_INTEGER
static final Operation	DIV_INTEGER_REAL
static final Operation	DIVREAL_INTEGER_INTEGER
static final Operation	EQUALS_INTEGER_INTEGER
static final Operation	EQUALS_INTEGER_REAL
static final Operation	GREATER_EQUALS_INTEGER_INTEGER
static final Operation	GREATER_EQUALS_INTEGER_REAL
static final Operation	GREATER_INTEGER_INTEGER
static final Operation	GREATER_INTEGER_REAL
static final Operation	IF_DEFINED
static final Operation	INVERSE_INTEGER
static final Operation	IS_DEFINED
static final Operation	LESS_EQUALS_INTEGER_INTEGER
static final Operation	LESS_EQUALS_INTEGER_REAL
static final Operation	LESS_INTEGER_INTEGER
static final Operation	LESS_INTEGER_REAL
static final Operation	MAX_INTEGER_INTEGER
static final Operation	MAX_INTEGER_REAL
static final Operation	MIN_INTEGER_INTEGER
static final Operation	MIN_INTEGER_REAL
static final Operation	MINUS_INTEGER_INTEGER
static final Operation	MINUS_INTEGER_REAL
static final Operation	MOD_INTEGER_INTEGER
static final Operation	MOD_INTEGER_REAL
static final Operation	MULT_INTEGER_INTEGER
static final Operation	MULT_INTEGER_REAL
static final Operation	NOTEQUALS_INTEGER_INTEGER
static final Operation	NOTEQUALS_INTEGER_INTEGER_ALIAS
static final Operation	NOTEQUALS_INTEGER_REAL
static final Operation	NOTEQUALS_INTEGER_REAL_ALIAS
static final Operation	PLUS_INTEGER_INTEGER
static final Operation	PLUS_INTEGER_REAL
static final Operation	TO_STRING
static final IDatatype	TYPE
static final Operation	TYPE_OF

Constructor Summary

Constructors

Modifier	Constructor	Description
private	IntegerType()	Constructor for a new IntgerType.

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.

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

getGenericType, getGenericTypeCount, getName, getNameSpace, getOperation, getOperationCount, getQualifiedName, getType, getTypeClass, getUniqueName, isAssignableFrom, 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_INTEGER_INTEGER

public static final Operation EQUALS_INTEGER_INTEGER

EQUALS_INTEGER_REAL

public static final Operation EQUALS_INTEGER_REAL

ASSIGNMENT_INTEGER_INTEGER

public static final Operation ASSIGNMENT_INTEGER_INTEGER

IS_DEFINED

public static final Operation IS_DEFINED

IF_DEFINED

public static final Operation IF_DEFINED

COPY

public static final Operation COPY

NOTEQUALS_INTEGER_INTEGER

public static final Operation NOTEQUALS_INTEGER_INTEGER

NOTEQUALS_INTEGER_REAL

public static final Operation NOTEQUALS_INTEGER_REAL

NOTEQUALS_INTEGER_INTEGER_ALIAS

public static final Operation NOTEQUALS_INTEGER_INTEGER_ALIAS

NOTEQUALS_INTEGER_REAL_ALIAS

public static final Operation NOTEQUALS_INTEGER_REAL_ALIAS

PLUS_INTEGER_INTEGER

public static final Operation PLUS_INTEGER_INTEGER

PLUS_INTEGER_REAL

public static final Operation PLUS_INTEGER_REAL

MINUS_INTEGER_INTEGER

public static final Operation MINUS_INTEGER_INTEGER

MINUS_INTEGER_REAL

public static final Operation MINUS_INTEGER_REAL

MULT_INTEGER_INTEGER

public static final Operation MULT_INTEGER_INTEGER

MULT_INTEGER_REAL

public static final Operation MULT_INTEGER_REAL

DIV_INTEGER_REAL

public static final Operation DIV_INTEGER_REAL

DIVREAL_INTEGER_INTEGER

public static final Operation DIVREAL_INTEGER_INTEGER

GREATER_INTEGER_INTEGER

public static final Operation GREATER_INTEGER_INTEGER

GREATER_INTEGER_REAL

public static final Operation GREATER_INTEGER_REAL

LESS_INTEGER_INTEGER

public static final Operation LESS_INTEGER_INTEGER

LESS_INTEGER_REAL

public static final Operation LESS_INTEGER_REAL

GREATER_EQUALS_INTEGER_INTEGER

public static final Operation GREATER_EQUALS_INTEGER_INTEGER

GREATER_EQUALS_INTEGER_REAL

public static final Operation GREATER_EQUALS_INTEGER_REAL

LESS_EQUALS_INTEGER_INTEGER

public static final Operation LESS_EQUALS_INTEGER_INTEGER

LESS_EQUALS_INTEGER_REAL

public static final Operation LESS_EQUALS_INTEGER_REAL

MIN_INTEGER_INTEGER

public static final Operation MIN_INTEGER_INTEGER

MIN_INTEGER_REAL

public static final Operation MIN_INTEGER_REAL

MAX_INTEGER_INTEGER

public static final Operation MAX_INTEGER_INTEGER

MAX_INTEGER_REAL

public static final Operation MAX_INTEGER_REAL

ABS_INTEGER_INTEGER

public static final Operation ABS_INTEGER_INTEGER

INVERSE_INTEGER

public static final Operation INVERSE_INTEGER

MOD_INTEGER_INTEGER

public static final Operation MOD_INTEGER_INTEGER

MOD_INTEGER_REAL

public static final Operation MOD_INTEGER_REAL

DIV_INTEGER_INTEGER

public static final Operation DIV_INTEGER_INTEGER

TO_STRING

public static final Operation TO_STRING

Constructor Details

IntegerType

private IntegerType()

Constructor for a new IntgerType.

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