Package de.monticore.types3.generics.bounds

Class UnsatisfiableBound

java.lang.Object

de.monticore.types3.generics.bounds.Bound

de.monticore.types3.generics.bounds.UnsatisfiableBound

All Implemented Interfaces:

Comparable<Bound>

public class UnsatisfiableBound
extends Bound

Field Summary

Fields

Modifier and Type	Field	Description
protected String	description
protected SymTypeExpression	superType

Constructor Summary

Constructors

Constructor	Description
UnsatisfiableBound(String description)

Method Summary

Modifier and Type	Method	Description
UnsatisfiableBound	asUnsatisfiableBound()
boolean	deepEquals(Bound other)
String	getDescription()	The Description is suitable as part of a Log message.
List<SymTypeExpression>	getIncludedTypes()	Helper function;
boolean	isUnsatisfiableBound()
String	print()	returns a human-readable String, e.g., for the log

Methods inherited from class de.monticore.types3.generics.bounds.Bound

asCaptureBound, asSubTypingBound, asTypeCompatibilityBound, asTypeEqualityBound, compareTo, isCaptureBound, isSubTypingBound, isTypeCompatibilityBound, isTypeEqualityBound

Methods inherited from class java.lang.Object

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

Field Details

description

protected String description

superType

protected SymTypeExpression superType

Constructor Details

UnsatisfiableBound

public UnsatisfiableBound(String description)

Method Details

getDescription

public String getDescription()

The Description is suitable as part of a Log message.

isUnsatisfiableBound

public boolean isUnsatisfiableBound()

Overrides:

isUnsatisfiableBound in class Bound

asUnsatisfiableBound

public UnsatisfiableBound asUnsatisfiableBound()

Overrides:

asUnsatisfiableBound in class Bound

deepEquals

public boolean deepEquals(Bound other)

Specified by:

deepEquals in class Bound

print

public String print()

Description copied from class: Bound

returns a human-readable String, e.g., for the log

Specified by:

print in class Bound

getIncludedTypes

public List<SymTypeExpression> getIncludedTypes()

Description copied from class: Bound

Helper function;

Specified by:

getIncludedTypes in class Bound

Returns:

the types included in the bounds (most have two).