Package de.monticore.types3.util

Class SymTypeLubCalculator

java.lang.Object

de.monticore.types3.util.SymTypeLubCalculator

public class SymTypeLubCalculator
extends Object

calculates the least upper bound of a collection of SymTypes delegate of SymTypeRelations

Constructor Summary

Constructors

Constructor	Description
SymTypeLubCalculator()

Method Summary

Modifier and Type	Method	Description
protected boolean	allDeepEquals(Collection<SymTypeExpression> types)
Optional<SymTypeExpression>	leastUpperBound(Collection<SymTypeExpression> types)

Methods inherited from class java.lang.Object

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

Constructor Details

SymTypeLubCalculator

public SymTypeLubCalculator()

Method Details

leastUpperBound

public Optional<SymTypeExpression> leastUpperBound(Collection<SymTypeExpression> types)

allDeepEquals

protected boolean allDeepEquals(Collection<SymTypeExpression> types)