typinferenz

Class Overloading

java.lang.Object

typinferenz.Overloading

public class Overloading
extends java.lang.Object

Author:

Andreas Stadelmeier, a10023

Constructor Summary

Constructors

Constructor and Description
Overloading(TypeAssumptions ass, MethodCall method, Type type) methodCall : type

Method Summary

Methods

Modifier and Type	Method and Description
Constraint	generateConsstraints() Vereinfachte Version von Overloading...

Methods inherited from class java.lang.Object

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

Constructor Detail

Overloading

public Overloading(TypeAssumptions ass,
           MethodCall method,
           Type type)

methodCall : type

Parameters:

ass -

method -

type - - eine Type-Assumption/oder Type f�r den R�ckgabetyp des MethodCall

Method Detail

generateConsstraints

public Constraint generateConsstraints()

Vereinfachte Version von Overloading... Es darf nur die erste gefundene Assumption verwendet werden, sonst widerspr�chliche constraints Spezifikation: overloading determines for all possible overloadings and overridings of a method the constraints, where constraints itself forms the constraints from the receiver type, the argument types, the return type and a given type assumption for the method. If it is a method from a class, which is not the actual class (this), all type variables are replaced by fresh type variables (fresh), as different instances can occur. sargs determines all type assumptions of a method, where the argument types are supertypes of a minimal type assumption.

Returns: