typinferenz

Class SingleConstraint

java.lang.Object

typinferenz.Constraint

typinferenz.SingleConstraint

public class SingleConstraint
extends Constraint

Beschreibung von Herrn Plümicke: "The set of constraints consists of constraints of the form θ R θ' , where θ and θ' are Java types and R (R ∈ { < ,

Author:

AI10023 - Andreas Stadelmeier Die Klasse stellt ein OderConstraint-Set dar, welches nur aus einem Constraint besteht.

Constructor Summary

Constructors

Constructor and Description
SingleConstraint(Type p1, Type p2)

Method Summary

Methods

Modifier and Type	Method and Description
void	addConstraint(Pair toAdd) Falls die Type des toAdd-Pairs nicht vom Typ RefType bzw.
Pair	getPair()
java.lang.String	toString()

Methods inherited from class typinferenz.Constraint

addOderConstraint, getConstraintPairs

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

SingleConstraint

public SingleConstraint(Type p1,
                Type p2)

Method Detail

getPair

public Pair getPair()

addConstraint

public void addConstraint(Pair toAdd)

Description copied from class: Constraint

Falls die Type des toAdd-Pairs nicht vom Typ RefType bzw. TypePlaceholder sind, so werden sie in einen RefType umgewandelt.

Overrides:

addConstraint in class Constraint

toString

public java.lang.String toString()

Overrides:

toString in class Constraint