Package de.monticore.types3.generics.util

Class ConstraintReduction

java.lang.Object

de.monticore.types3.generics.util.ConstraintReduction

public class ConstraintReduction
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
protected static ConstraintReduction	delegate
protected static final String	LOG_NAME	the name to be used for Log.info, etc.

Constructor Summary

Constructors

Constructor	Description
ConstraintReduction()

Method Summary

Modifier and Type	Method	Description
protected List<Bound>	_reduce(List<Constraint> constraintsIn)
protected static ConstraintReduction	getDelegate()
static void	init()
protected String	printBounds(List<Bound> constraints)
protected String	printConstraints(List<Constraint> constraints)
static List<Bound>	reduce(Constraint constraint)
protected List<Bound>	reduce(SubTypingConstraint constraint)	based on Java Spec 20 18.2.3
protected List<Bound>	reduce(TypeCompatibilityConstraint constraint)	based on Java Spec 20 18.2.2
protected List<Bound>	reduce(TypeEqualityConstraint constraint)
static List<Bound>	reduce(List<Constraint> constraints)	reduces constraints to bounds the resulting set of bounds may not be valid
static void	reset()
protected static void	setDelegate(ConstraintReduction newDelegate)

Methods inherited from class java.lang.Object

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

Field Details

LOG_NAME

protected static final String LOG_NAME

the name to be used for Log.info, etc.

See Also:

• Constant Field Values

delegate

protected static ConstraintReduction delegate

Constructor Details

ConstraintReduction

public ConstraintReduction()

Method Details

reduce

public static List<Bound> reduce(List<Constraint> constraints)

reduces constraints to bounds the resulting set of bounds may not be valid

reduce

public static List<Bound> reduce(Constraint constraint)

_reduce

protected List<Bound> _reduce(List<Constraint> constraintsIn)

reduce

protected List<Bound> reduce(TypeCompatibilityConstraint constraint)

based on Java Spec 20 18.2.2

reduce

protected List<Bound> reduce(SubTypingConstraint constraint)

based on Java Spec 20 18.2.3

reduce

protected List<Bound> reduce(TypeEqualityConstraint constraint)

printConstraints

protected String printConstraints(List<Constraint> constraints)

printBounds

protected String printBounds(List<Bound> constraints)

init

public static void init()

reset

public static void reset()

setDelegate

protected static void setDelegate(ConstraintReduction newDelegate)

getDelegate

protected static ConstraintReduction getDelegate()