de.dhbwstuttgart.syntaxtree.type

Interface IMatchable

All Known Implementing Classes:

ExtendsWildcardType, FreshExtendsWildcardType, FreshSuperWildcardType, FunN, RefType, SuperWildcardType, Void

public interface IMatchable

Dieses Interface wird von allen Klassen implementiert, die weitere Klassen enthalten, die im match des Unify beachtet werden müssen.

Author:

Arne Lüdtke

Method Summary

Modifier and Type	Method and Description
Type	getMatchType() Author: Arne Lüdtke Gibt den Typen zurück, der bei einem match im Unify verwendet werden soll.

Method Detail

getMatchType

Type getMatchType()

Author: Arne Lüdtke
Gibt den Typen zurück, der bei einem match im Unify verwendet werden soll. Wird über IMatchable implementiert.