JanUlrich ce61fdf3c7 Bug-fixes; GenericTypeVar kann von mehreren Klassen per extends abhängen.		2014-04-24 01:53:35 +02:00
..
assumptions	Bug-fixes; GenericTypeVar kann von mehreren Klassen per extends abhängen.	2014-04-24 01:53:35 +02:00
exceptions	Operator mit TypeExpr versehen	2014-04-23 17:59:39 +02:00
ConstraintsSet.java	gitignore added. CVS-Ordner ignorieren sowie class und package dateien	2014-02-04 17:42:14 +01:00
FreshTypeVariable.java	gitignore added. CVS-Ordner ignorieren sowie class und package dateien	2014-02-04 17:42:14 +01:00
FunN.java	Fehler beseitigt. wandleRefType2GenericVariables überarbeitet. getChildren()-Methode für alle Statements implementiert	2014-03-27 16:43:07 +01:00
FunNInterface.java	Fixed Tests. Doppelte TypeAssumptions beseitigt	2014-04-14 18:05:24 +02:00
FunNMethod.java	FunNInterface N = 1-6 zu den BasicAssumptions hinzugefügt	2014-03-26 23:28:17 +01:00
GenericTypeInsertPoint.java	Dateien vergessen	2014-04-23 14:36:50 +02:00
JavaCodeResult.java	Neuimplementierung von automatischer Einsetzung der benötigten Generischen Variablen durch TypeInsertSet	2014-04-23 12:05:57 +02:00
KarthesischesProdukt.java	gitignore added. CVS-Ordner ignorieren sowie class und package dateien	2014-02-04 17:42:14 +01:00
OderConstraint.java	ConstuctorAssumption angefügt	2014-03-18 20:18:57 +01:00
Overloading.java	TypeinferenceException überarbeitet	2014-04-15 14:56:20 +02:00
ResultSet.java	Bugfix	2014-04-23 14:36:26 +02:00
SingleConstraint.java	TypeinferenceException überarbeitet	2014-04-15 14:56:20 +02:00
TIPConstraints.java	Dateien vergessen	2014-04-23 14:36:50 +02:00
Typeable.java	SyntaxTreeNode angefügt. SourceFile steht nun nur noch für eine Java-Datei nicht mehr für mehrere.	2014-02-11 16:30:38 +01:00
TypeInsertable.java	TypeinferenceException überarbeitet	2014-04-15 14:56:20 +02:00
TypeInsertPoint.java	Bugfix	2014-04-23 14:36:26 +02:00
TypeInsertSet.java	Typen in Parameterlisten von Lambda Ausdrücken werden nicht mehr eingesetzt	2014-04-23 15:19:56 +02:00
UndConstraint.java	ConstuctorAssumption angefügt	2014-03-18 20:18:57 +01:00