Package de.monticore.types3.util

Class SymTypeLubCalculator

java.lang.Object

de.monticore.types3.util.SymTypeLubCalculator

public class SymTypeLubCalculator
extends java.lang.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(java.util.Collection<SymTypeExpression> types)
java.util.Optional<SymTypeExpression>	leastUpperBound(java.util.Collection<SymTypeExpression> types)

Methods inherited from class java.lang.Object

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

Constructor Detail

SymTypeLubCalculator

public SymTypeLubCalculator()

Method Detail

leastUpperBound

public java.util.Optional<SymTypeExpression> leastUpperBound(java.util.Collection<SymTypeExpression> types)

allDeepEquals

protected boolean allDeepEquals(java.util.Collection<SymTypeExpression> types)