JanUlrich
|
ef641065e2
|
Backup
|
2014-05-07 09:36:31 +02:00 |
|
JanUlrich
|
5c6a61f2ef
|
Testfiles added. Tests fixed. Operator TypeExpr fixed
|
2014-05-07 08:10:55 +02:00 |
|
JanUlrich
|
ab4d26103e
|
Tests angefügt
|
2014-04-28 17:21:27 +02:00 |
|
JanUlrich
|
6a98115361
|
Typen werden vor dem Unifizieren nochmals kontrolliert
|
2014-04-28 08:26:11 +02:00 |
|
JanUlrich
|
1a655943ed
|
Test angefügt
|
2014-04-28 07:40:49 +02:00 |
|
JanUlrich
|
2511d95a9f
|
getDescription von FormalParameter angepasst
|
2014-04-26 20:10:18 +02:00 |
|
JanUlrich
|
9aea618525
|
SyntaxTreeNode wird zum ermitteln der TIPs zusätzlich durchlaufen
|
2014-04-26 19:33:26 +02:00 |
|
JanUlrich
|
183d8f43ee
|
Test angefügt. Neues Problem: Nicht alle Generischen Variablen werden eingesetzt
|
2014-04-26 18:30:25 +02:00 |
|
JanUlrich
|
64d01e8ee2
|
Einsetzen von generischen Typen gefixt
|
2014-04-26 17:41:53 +02:00 |
|
JanUlrich
|
d053ce0b08
|
Test angefügt
|
2014-04-26 16:20:16 +02:00 |
|
JanUlrich
|
fab7522def
|
Fehler in Testcases behoben. RefTyp.hashCode() angefügt
|
2014-04-24 13:01:24 +02:00 |
|
JanUlrich
|
e7db1e7494
|
Operator unterstützt jetzt auch Double und Float statt nur Integer als Typ
|
2014-04-24 12:42:10 +02:00 |
|
JanUlrich
|
ce61fdf3c7
|
Bug-fixes; GenericTypeVar kann von mehreren Klassen per extends abhängen.
|
2014-04-24 01:53:35 +02:00 |
|
JanUlrich
|
36fd915248
|
weitere Testcases eingefügt
|
2014-04-23 17:59:59 +02:00 |
|
JanUlrich
|
fd5aafb0eb
|
Operator mit TypeExpr versehen
|
2014-04-23 17:59:39 +02:00 |
|
JanUlrich
|
c9477705cc
|
Typen in Parameterlisten von Lambda Ausdrücken werden nicht mehr eingesetzt
|
2014-04-23 15:19:56 +02:00 |
|
JanUlrich
|
b2e79b35f3
|
Dateien vergessen
|
2014-04-23 14:36:50 +02:00 |
|
JanUlrich
|
db4442628b
|
Bugfix
|
2014-04-23 14:36:26 +02:00 |
|
JanUlrich
|
eab2c7ef93
|
Neuimplementierung von automatischer Einsetzung der benötigten Generischen Variablen durch TypeInsertSet
|
2014-04-23 12:05:57 +02:00 |
|
JanUlrich
|
258c172f80
|
Modifikation am Parser. Auch Felder sind Generisc.
|
2014-04-16 17:34:35 +02:00 |
|
JanUlrich
|
1005dabacb
|
GenerischeTypvariablen werden beim Einsetzen in den Quelltext mit eingesetzt
|
2014-04-16 16:02:16 +02:00 |
|
JanUlrich
|
87e4f2fd36
|
TypeinferenceException überarbeitet
|
2014-04-15 14:56:20 +02:00 |
|
JanUlrich
|
0345dceb8e
|
Problem mit String Literal behoben
|
2014-04-15 12:07:42 +02:00 |
|
JanUlrich
|
f0ef3017b9
|
Fixed Tests. Doppelte TypeAssumptions beseitigt
|
2014-04-14 18:05:24 +02:00 |
|
JanUlrich
|
61e9c953c9
|
fixed getChildren()
|
2014-04-09 15:54:20 +02:00 |
|
JanUlrich
|
5316b6ca51
|
Import Test funktioniert jetzt
|
2014-04-09 14:12:55 +02:00 |
|
JanUlrich
|
8d4213511d
|
Backup-commit
|
2014-04-03 10:35:25 +02:00 |
|
JanUlrich
|
38f4a1351f
|
MakeBasicAssumptionsFromJRE geändert
|
2014-04-01 21:38:53 +02:00 |
|
JanUlrich
|
8e7776dc4c
|
GTV2TPH eingeführt. Beim Anfügen eines SingleConstraints werden GenericTypeVars nun durch Typeplaceholder ausgetauscht.
|
2014-03-28 18:36:08 +01:00 |
|
JanUlrich
|
b432c74ec4
|
Fehler in SourceFile behoben
|
2014-03-27 16:51:57 +01:00 |
|
JanUlrich
|
c65774492e
|
Obsolete Klassen gelöscht. Alle Fehlermeldungen im src-Ordner behoben
|
2014-03-27 16:50:36 +01:00 |
|
JanUlrich
|
9784a10f84
|
Fehler beseitigt. wandleRefType2GenericVariables überarbeitet. getChildren()-Methode für alle Statements implementiert
|
2014-03-27 16:43:07 +01:00 |
|
JanUlrich
|
b6e2d75174
|
FunNInterface N = 1-6 zu den BasicAssumptions hinzugefügt
|
2014-03-26 23:28:17 +01:00 |
|
JanUlrich
|
69af867293
|
Tests angefügt
|
2014-03-26 02:33:47 +01:00 |
|
JanUlrich
|
0e19e996c1
|
createTypeInsertPoint-Methode eingeführt
|
2014-03-25 04:41:07 +01:00 |
|
JanUlrich
|
c738e5c0de
|
FileOutputStream zu OutputStream geändert
|
2014-03-24 18:01:26 +01:00 |
|
Martin Plümicke
|
157c83d9a4
|
Anpassungen fuer jvmdisassembler
|
2014-03-24 15:32:13 +01:00 |
|
JanUlrich
|
9990892e5b
|
Librarys pushen
|
2014-03-24 15:07:02 +01:00 |
|
JanUlrich
|
fae741c658
|
Fehler in der TypeInsertSet.equals() methode behoben
|
2014-03-24 13:59:21 +01:00 |
|
JanUlrich
|
7031839f52
|
TypeInsertSet.equals() verbessert. TypinferenceResult.getTypeInsertPoints() liefert keine doppelten InsertSets mehr zurück
|
2014-03-21 16:34:16 +01:00 |
|
JanUlrich
|
f16a9345eb
|
Fehler in Overloading im Bezug auf FunNInterface behoben
|
2014-03-20 11:49:37 +01:00 |
|
JanUlrich
|
ddb9ef6d7d
|
Fehlerhaftes RefType erstellen von Klassen gefixt
|
2014-03-20 11:35:57 +01:00 |
|
JanUlrich
|
947be154ea
|
Fehler behoben
|
2014-03-20 02:42:44 +01:00 |
|
JanUlrich
|
5b141bbb5d
|
Merge mit master. LocalVarDecl.declType entfernt
|
2014-03-19 15:53:02 +01:00 |
|
JanUlrich
|
7defd01db8
|
Änderungen an typeReconstruction in SourceFile. Die Constraints aller Klassen einer SourceFile werden nun gemeinsam Unifiziert und jede Klasse aus dem SourceFile erhält das selbe ResultSet. Tests angefügt.
|
2014-03-19 15:14:50 +01:00 |
|
JanUlrich
|
38698d04fd
|
ConstuctorAssumption angefügt
|
2014-03-18 20:19:13 +01:00 |
|
JanUlrich
|
d4b9ea9a73
|
ConstuctorAssumption angefügt
|
2014-03-18 20:18:57 +01:00 |
|
JanUlrich
|
9d361072e3
|
Test angefügt
|
2014-03-18 14:26:07 +01:00 |
|
JanUlrich
|
2fb5413548
|
Parsen von typisierten Felddeklarationen ist jetzt möglich.
|
2014-03-18 14:04:31 +01:00 |
|
JanUlrich
|
59106a7e7b
|
Methodenparameter können nun auch inferiert werden
|
2014-03-18 13:38:47 +01:00 |
|