typinferenz

Class ResultSet

java.lang.Object

typinferenz.ResultSet

All Implemented Interfaces:

java.lang.Iterable<Pair>

public class ResultSet
extends java.lang.Object
implements java.lang.Iterable<Pair>

Im Grunde Sammlung von Pair s mit Equal-Operatoren.

Author:

Andreas Stadelmeier, a10023

Constructor Summary

Constructors

Constructor and Description
ResultSet(java.util.Vector<Pair> resultSet)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	contains(Type tA1) Durchsucht das ResultSet (die unifizierten Constraints des ResultSets) nach diesem Typ.
java.util.Vector<Pair>	getResultSet()
Type	getTypeEqualTo(Type type) L�st den �bergebenen Typ auf.
java.util.Iterator<Pair>	iterator()

Methods inherited from class java.lang.Object

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

Constructor Detail

ResultSet

public ResultSet(java.util.Vector<Pair> resultSet)

Method Detail

getResultSet

public java.util.Vector<Pair> getResultSet()

getTypeEqualTo

public Type getTypeEqualTo(Type type)

L�st den �bergebenen Typ auf. R�ckgabetyp ist ein Reftype oder Void

Parameters:

type -

Returns:

iterator

public java.util.Iterator<Pair> iterator()

Specified by:

iterator in interface java.lang.Iterable<Pair>

contains

public boolean contains(Type tA1)

Durchsucht das ResultSet (die unifizierten Constraints des ResultSets) nach diesem Typ. Der Typ wird nicht aufgel�st. Es spielt keine Rolle in welchem Kontext der Typ im ResultSet auftaucht.

Parameters:

tA1 -

Returns:

true, falls der gesuchte Typ enthalten ist.