Package de.monticore.types3.util

Class SymTypeRelationsDefaultDelegatee

java.lang.Object

de.monticore.types3.SymTypeRelations

de.monticore.types3.util.SymTypeRelationsDefaultDelegatee

public class SymTypeRelationsDefaultDelegatee
extends SymTypeRelations

Default implementation of SymTypeRelations.

As this is a collection of a lot of independent functionality, this itself simply delegates to discrete implementations.

Field Summary

Fields

Modifier and Type	Field	Description
protected SymTypeBoxingVisitor	boxingVisitor
protected BuiltInTypeRelations	builtInRelationsDelegate
protected SymTypeCompatibilityCalculator	compatibilityDelegate
protected SymTypeLubCalculator	lubDelegate
protected SymTypeNormalizeVisitor	normalizeVisitor
protected NominalSuperTypeCalculator	superTypeCalculator
protected SymTypeUnboxingVisitor	unboxingVisitor

Fields inherited from class de.monticore.types3.SymTypeRelations

delegate

Constructor Summary

Constructors

Constructor	Description
SymTypeRelationsDefaultDelegatee()

Method Summary

Modifier and Type	Method	Description
protected SymTypeExpression	_box(SymTypeExpression unboxed)
protected List<Bound>	_constrainCompatible(SymTypeExpression target, SymTypeExpression source)
protected List<Bound>	_constrainSameType(SymTypeExpression typeA, SymTypeExpression typeB)
protected List<Bound>	_constrainSubTypeOf(SymTypeExpression subType, SymTypeExpression superType)
protected List<SymTypeExpression>	_getNominalSuperTypes(SymTypeExpression thisType)
protected List<Bound>	_internal_constrainSubTypeOfPreNormalized(SymTypeExpression subType, SymTypeExpression superType)
protected boolean	_isBoolean(SymTypeExpression type)
protected boolean	_isBottom(SymTypeExpression type)
protected boolean	_isByte(SymTypeExpression type)
protected boolean	_isChar(SymTypeExpression type)
protected boolean	_isCompatible(SymTypeExpression target, SymTypeExpression source)
protected boolean	_isDouble(SymTypeExpression type)
protected boolean	_isFloat(SymTypeExpression type)
protected boolean	_isInt(SymTypeExpression type)
protected boolean	_isIntegralType(SymTypeExpression type)
protected boolean	_isLong(SymTypeExpression type)
protected boolean	_isNumericType(SymTypeExpression type)
protected boolean	_isShort(SymTypeExpression type)
protected boolean	_isString(SymTypeExpression type)
protected boolean	_isStringOrSubType(SymTypeExpression type)
protected boolean	_isSubTypeOf(SymTypeExpression subType, SymTypeExpression superType)
protected boolean	_isTop(SymTypeExpression type)
protected Optional<SymTypeExpression>	_leastUpperBound(Collection<SymTypeExpression> types)
protected SymTypeExpression	_normalize(SymTypeExpression type)
protected SymTypeExpression	_numericPromotion(List<SymTypeExpression> types)
protected SymTypeExpression	_unbox(SymTypeExpression boxed)

Methods inherited from class de.monticore.types3.SymTypeRelations

box, constrainCompatible, constrainSameType, constrainSubTypeOf, getDelegate, getNominalSuperTypes, init, internal_constrainSubTypeOfPreNormalized, internal_isSubTypeOf, internal_isSubTypeOfPreNormalized, isBoolean, isBottom, isByte, isChar, isCompatible, isDouble, isFloat, isInt, isIntegralType, isLong, isNumericType, isShort, isString, isStringOrSubType, isSubTypeOf, isTop, leastUpperBound, leastUpperBound, normalize, numericPromotion, numericPromotion, reset, setDelegate, unbox

Methods inherited from class java.lang.Object

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

Field Details

compatibilityDelegate

protected SymTypeCompatibilityCalculator compatibilityDelegate

superTypeCalculator

protected NominalSuperTypeCalculator superTypeCalculator

boxingVisitor

protected SymTypeBoxingVisitor boxingVisitor

unboxingVisitor

protected SymTypeUnboxingVisitor unboxingVisitor

normalizeVisitor

protected SymTypeNormalizeVisitor normalizeVisitor

lubDelegate

protected SymTypeLubCalculator lubDelegate

builtInRelationsDelegate

protected BuiltInTypeRelations builtInRelationsDelegate

Constructor Details

SymTypeRelationsDefaultDelegatee

public SymTypeRelationsDefaultDelegatee()

Method Details

_isCompatible

protected boolean _isCompatible(SymTypeExpression target,
 SymTypeExpression source)

Specified by:

_isCompatible in class SymTypeRelations

_isSubTypeOf

protected boolean _isSubTypeOf(SymTypeExpression subType,
 SymTypeExpression superType)

Specified by:

_isSubTypeOf in class SymTypeRelations

_getNominalSuperTypes

protected List<SymTypeExpression> _getNominalSuperTypes(SymTypeExpression thisType)

Specified by:

_getNominalSuperTypes in class SymTypeRelations

_leastUpperBound

protected Optional<SymTypeExpression> _leastUpperBound(Collection<SymTypeExpression> types)

Specified by:

_leastUpperBound in class SymTypeRelations

_box

protected SymTypeExpression _box(SymTypeExpression unboxed)

Specified by:

_box in class SymTypeRelations

_unbox

protected SymTypeExpression _unbox(SymTypeExpression boxed)

Specified by:

_unbox in class SymTypeRelations

_normalize

protected SymTypeExpression _normalize(SymTypeExpression type)

Specified by:

_normalize in class SymTypeRelations

_numericPromotion

protected SymTypeExpression _numericPromotion(List<SymTypeExpression> types)

Specified by:

_numericPromotion in class SymTypeRelations

_isNumericType

protected boolean _isNumericType(SymTypeExpression type)

Specified by:

_isNumericType in class SymTypeRelations

_isIntegralType

protected boolean _isIntegralType(SymTypeExpression type)

Specified by:

_isIntegralType in class SymTypeRelations

_isBoolean

protected boolean _isBoolean(SymTypeExpression type)

Specified by:

_isBoolean in class SymTypeRelations

_isInt

protected boolean _isInt(SymTypeExpression type)

Specified by:

_isInt in class SymTypeRelations

_isDouble

protected boolean _isDouble(SymTypeExpression type)

Specified by:

_isDouble in class SymTypeRelations

_isFloat

protected boolean _isFloat(SymTypeExpression type)

Specified by:

_isFloat in class SymTypeRelations

_isLong

protected boolean _isLong(SymTypeExpression type)

Specified by:

_isLong in class SymTypeRelations

_isChar

protected boolean _isChar(SymTypeExpression type)

Specified by:

_isChar in class SymTypeRelations

_isShort

protected boolean _isShort(SymTypeExpression type)

Specified by:

_isShort in class SymTypeRelations

_isByte

protected boolean _isByte(SymTypeExpression type)

Specified by:

_isByte in class SymTypeRelations

_isString

protected boolean _isString(SymTypeExpression type)

Specified by:

_isString in class SymTypeRelations

_isStringOrSubType

protected boolean _isStringOrSubType(SymTypeExpression type)

Specified by:

_isStringOrSubType in class SymTypeRelations

_isTop

protected boolean _isTop(SymTypeExpression type)

Specified by:

_isTop in class SymTypeRelations

_isBottom

protected boolean _isBottom(SymTypeExpression type)

Specified by:

_isBottom in class SymTypeRelations

_constrainCompatible

protected List<Bound> _constrainCompatible(SymTypeExpression target,
 SymTypeExpression source)

Specified by:

_constrainCompatible in class SymTypeRelations

_constrainSubTypeOf

protected List<Bound> _constrainSubTypeOf(SymTypeExpression subType,
 SymTypeExpression superType)

Specified by:

_constrainSubTypeOf in class SymTypeRelations

_internal_constrainSubTypeOfPreNormalized

protected List<Bound> _internal_constrainSubTypeOfPreNormalized(SymTypeExpression subType,
 SymTypeExpression superType)

Specified by:

_internal_constrainSubTypeOfPreNormalized in class SymTypeRelations

_constrainSameType

protected List<Bound> _constrainSameType(SymTypeExpression typeA,
 SymTypeExpression typeB)

Specified by:

_constrainSameType in class SymTypeRelations