Package de.monticore.types.check

Class TypeRelations

java.lang.Object

de.monticore.types.check.TypeRelations

All Implemented Interfaces:

ITypeRelations

@Deprecated
public class TypeRelations
extends Object
implements ITypeRelations

Deprecated.

use SymTypeRelations

This Class provides the default implementation of ITypeRelations

Constructor Summary

Constructors

Constructor	Description
TypeRelations()	Deprecated.

Method Summary

Modifier and Type	Method	Description
int	calculateInheritanceDistance(SymTypeExpression specific, SymTypeExpression general)	Deprecated. calculate the minimum inheritance distance from the specific type to the general type e.g.
int	calculateInheritanceDistance(SymTypePrimitive specific, SymTypePrimitive general)	Deprecated.
boolean	compatible(SymTypeExpression left, SymTypeExpression right)	Deprecated. Function 3: Given two SymTypeExpressions super, sub: This function answers, whether the right type is a subtype of the left type in an assignment.
boolean	isBoolean(SymTypeExpression type)	Deprecated.
boolean	isByte(SymTypeExpression type)	Deprecated.
boolean	isChar(SymTypeExpression type)	Deprecated.
boolean	isDouble(SymTypeExpression type)	Deprecated.
boolean	isFloat(SymTypeExpression type)	Deprecated.
boolean	isInt(SymTypeExpression type)	Deprecated.
boolean	isIntegralType(SymTypeExpression type)	Deprecated.
boolean	isLong(SymTypeExpression type)	Deprecated.
boolean	isNumericType(SymTypeExpression type)	Deprecated.
boolean	isShort(SymTypeExpression type)	Deprecated.
boolean	isString(SymTypeExpression type)	Deprecated.
boolean	isSubtypeOf(SymTypeExpression subType, SymTypeExpression superType)	Deprecated. determines if one SymTypeExpression is a subtype of another SymTypeExpression
protected boolean	isSubtypeOfRec(SymTypeExpression subType, SymTypeExpression superType)	Deprecated.
boolean	isVoid(SymTypeExpression type)	Deprecated.

Methods inherited from class java.lang.Object

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

Constructor Details

TypeRelations

public TypeRelations()

Deprecated.

Method Details

compatible

public boolean compatible(SymTypeExpression left,
 SymTypeExpression right)

Deprecated.

Description copied from interface: ITypeRelations

Function 3: Given two SymTypeExpressions super, sub: This function answers, whether the right type is a subtype of the left type in an assignment. (This allows to store/use values of type "sub" at all positions of type "super". Compatibility examples: compatible("int", "long") (in all directions) compatible("long", "int") (in all directions) compatible("double", "float") (in all directions) compatible("Person", "Student") (uni-directional)

Incompatible: !compatible("double", "int") (in all directions)

The concrete Typechecker has to decide on further issues, like !compatible("List<double>", "List<int>") where e.g. Java and OCL/P differ in their answers

Specified by:

compatible in interface ITypeRelations

Parameters:

left - Super-Type

right - Sub-Type (assignment-compatible to supertype?)

isSubtypeOf

public boolean isSubtypeOf(SymTypeExpression subType,
 SymTypeExpression superType)

Deprecated.

Description copied from interface: ITypeRelations

determines if one SymTypeExpression is a subtype of another SymTypeExpression

Specified by:

isSubtypeOf in interface ITypeRelations

Parameters:

subType - the SymTypeExpression that could be a subtype of the other SymTypeExpression

superType - the SymTypeExpression that could be a supertype of the other SymTypeExpression

isSubtypeOfRec

protected boolean isSubtypeOfRec(SymTypeExpression subType,
 SymTypeExpression superType)

Deprecated.

calculateInheritanceDistance

public int calculateInheritanceDistance(SymTypeExpression specific,
 SymTypeExpression general)

Deprecated.

Description copied from interface: ITypeRelations

calculate the minimum inheritance distance from the specific type to the general type e.g. C extends B extends A: object of type C has distance of 2 to object of type A object of type B has distance of 1 to object of type A object of type A has distance of 0 to object of type A

Specified by:

calculateInheritanceDistance in interface ITypeRelations

Parameters:

specific - the specific type

general - the general type

Returns:

0 if they are the same type, else their minimum inheritance distance

calculateInheritanceDistance

public int calculateInheritanceDistance(SymTypePrimitive specific,
 SymTypePrimitive general)

Deprecated.

Specified by:

calculateInheritanceDistance in interface ITypeRelations

isBoolean

public boolean isBoolean(SymTypeExpression type)

Deprecated.

Specified by:

isBoolean in interface ITypeRelations

isInt

public boolean isInt(SymTypeExpression type)

Deprecated.

Specified by:

isInt in interface ITypeRelations

isDouble

public boolean isDouble(SymTypeExpression type)

Deprecated.

Specified by:

isDouble in interface ITypeRelations

isFloat

public boolean isFloat(SymTypeExpression type)

Deprecated.

Specified by:

isFloat in interface ITypeRelations

isLong

public boolean isLong(SymTypeExpression type)

Deprecated.

Specified by:

isLong in interface ITypeRelations

isChar

public boolean isChar(SymTypeExpression type)

Deprecated.

Specified by:

isChar in interface ITypeRelations

isShort

public boolean isShort(SymTypeExpression type)

Deprecated.

Specified by:

isShort in interface ITypeRelations

isByte

public boolean isByte(SymTypeExpression type)

Deprecated.

Specified by:

isByte in interface ITypeRelations

isVoid

public boolean isVoid(SymTypeExpression type)

Deprecated.

Specified by:

isVoid in interface ITypeRelations

isString

public boolean isString(SymTypeExpression type)

Deprecated.

Specified by:

isString in interface ITypeRelations

isNumericType

public boolean isNumericType(SymTypeExpression type)

Deprecated.

Specified by:

isNumericType in interface ITypeRelations

isIntegralType

public boolean isIntegralType(SymTypeExpression type)

Deprecated.

Specified by:

isIntegralType in interface ITypeRelations