Pluemicke Martin
46255efb70
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
2018-03-21 11:29:01 +01:00
JanUlrich
fb77f9192f
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
2018-03-21 11:28:35 +01:00
JanUlrich
a71e56ea97
Fix
2018-03-21 11:28:21 +01:00
Pluemicke Martin
5dfa6769b2
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
2018-03-21 11:16:45 +01:00
JanUlrich
77be216ee5
Fix
2018-03-21 11:15:59 +01:00
Pluemicke Martin
100db9baac
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
...
Fehler by atElement
2018-03-21 11:13:20 +01:00
JanUlrich
e1f579664a
Fix Generics in MethodCall
2018-03-21 11:12:06 +01:00
JanUlrich
7a9c0a1e69
LambdaRunnableTest fix
2018-03-21 11:09:29 +01:00
Martin Plümicke
5d39863cc6
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Maximumsbildung auf maximale Elemente soweit fertig
Argument von mul funktion nicht, liefret nur Vec<TypPl>
2018-03-20 22:30:57 +01:00
Martin Plümicke
01dd4e57e6
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
Letzte Version bevor MatchUnifyTask
2018-03-20 10:14:01 +01:00
Martin Plümicke
6faffdf90c
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-03-19 17:43:27 +01:00
Martin Plümicke
f4bc057aff
modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
LogAusgabe FC
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
fresh TV in unifyCase1 auf alle cs ausgedehnt
modified: test/javFiles/Matrix.jav
2018-03-19 15:25:40 +01:00
Martin Plümicke
78db0f0177
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Errorrueckgabe auskommentiert
new file: src/de/dhbwstuttgart/typeinference/unify/interfaces/UnifyTypeVisitor.java
eingecheckt vorher vergessen
modified: test/javFiles/Matrix.jav
add und mul aktiviert
2018-03-19 09:38:37 +01:00
Martin Plümicke
b0b1426e20
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
new file: src/de/dhbwstuttgart/typeinference/unify/freshPlaceholder.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/ExtendsType.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/FunNType.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/ReferenceType.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/SuperType.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyType.java
freshtypevraiable Vistor soweit fertig noch nicht getestet
2018-03-18 15:11:45 +01:00
Martin Plümicke
103c7e4b14
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/model/ExtendsType.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/FunNType.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/ReferenceType.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/SuperType.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/TypeParams.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyType.java
visitor freshPlaceholder implements UnifyTypeVisitor
2018-03-17 15:01:03 +01:00
Martin Plümicke
3638edfa73
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: test/javFiles/Matrix.jav
Fehler entdeckt, in unifyCase1 fuer die Typen aus FC keine fresh TV getsetzt werden.
2018-03-16 14:10:40 +01:00
Martin Plümicke
bd98bed5ca
Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
...
Merge
2018-03-15 20:50:59 +01:00
Martin Plümicke
6299086297
modified: typeinference/unify/TypeUnifyTask.java
...
modified: typeinference/unify/model/UnifyPair.java
2018-03-15 20:47:16 +01:00
Martin Plümicke
de5b43d72b
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
Links der substitierten Pare eingefuegt.
2018-03-15 17:00:26 +01:00
Martin Plümicke
7e6dee8e1d
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: ../javFiles/Matrix.jav
2018-03-14 17:48:04 +01:00
Martin Plümicke
273ddb92d7
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
modified: ../javFiles/Matrix.jav
2018-03-14 13:56:28 +01:00
Martin Plümicke
dea3da3b69
Merge branch 'bigRefactoring' into unify-test
...
Fehelr mit elementAt geloest
2018-03-13 10:41:57 +01:00
Martin Plümicke
13c70148a8
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
modified: ../javFiles/Matrix.jav
mul1 und add ergaenzt.
Fehler bei elementAt: Liefert Object als Returntyp
2018-03-13 08:46:25 +01:00
JanUlrich
bb5945898a
Bug in ASTFactory beseitigen
2018-03-13 01:57:21 +01:00
Martin Plümicke
1667b394f2
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
Variancen gesetzt
2018-03-11 20:39:38 +01:00
Martin Plümicke
95943b1627
modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
...
compare(Matrix, Vector<gen_ab>, ? extends Vector<? extends Integer>> <.? gen_ab
eingefuegt.
2018-03-10 12:32:07 +01:00
Martin Plümicke
0315a1f144
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
compare(Matrix, Vector<gen_ab>, ? extends Vector<? extends Integer>> <.? gen_ab
funktioniert nicht
2018-03-10 01:04:19 +01:00
Martin Plümicke
b5b5b5d9c9
modified: ../../src/de/dhbwstuttgart/typeinference/constraints/Pair.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
Varinace in UnfyPair eingefuegt und Abfrage in computeCartesianRecursive eingefuegt
Pruefen, ob Varianve bei Subst und andrene erhalten bleibt.
2018-03-09 01:23:02 +01:00
Martin Plümicke
9862df9e63
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
Minimum funktion soweit
2018-03-08 01:12:17 +01:00
Martin Plümicke
ccc16fd22b
modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/interfaces/IRuleSet.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
1. Version mit compare von UnifyPairs
2018-03-07 13:09:47 +01:00
JanUlrich
725b071d28
Problem mit BinaryExpr gefixt
2018-03-07 08:47:43 +01:00
Martin Plümicke
bb016e6417
modified: src/de/dhbwstuttgart/typeinference/unify/interfaces/IFiniteClosure.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
2018-03-05 20:04:10 +01:00
Martin Plümicke
831bf1fe17
modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
...
weitere Fälle in die Ordnung eingebaut
2018-03-04 22:58:31 +01:00
Martin Plümicke
cba489f279
modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
...
eine Variable korrigiert
TODO eingefuegt
compare muss fuer ale moeglichen Faelle aus calculatePairSets erstellt werden
2018-03-03 01:07:25 +01:00
Martin Plümicke
9f3439a15e
x
2018-03-02 14:12:06 +01:00
Martin Plümicke
356b8a7a34
modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Eq for Unify vereinfachen noch nicht fertig
2018-03-01 18:00:38 +01:00
JanUlrich
ab37e1a607
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
2018-03-01 15:03:48 +01:00
JanUlrich
18545cff9a
GenericRefType umgestalten. Unnötige Backreferenzen entfernen
2018-03-01 13:25:03 +01:00
JanUlrich
9840281d83
Test für ASP anfügen
2018-03-01 12:31:56 +01:00
Martin Plümicke
6256bdfe2e
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
In Unfy:
- Bildung des kartesischen Produkts auf secondlevel-Ebene entfernt
In computeCartesianRecursive:
- Vereinigung der Ergebnisse ueber die Schleifen und die Rekursion eingefuegt
- Minimumbestimmung korrigiert
2018-03-01 12:27:38 +01:00
Martin Plümicke
6a9db81981
Merge
2018-02-28 17:16:28 +01:00
Pluemicke Martin
53087a8e04
result.add wieder aktiviert
2018-02-28 17:11:50 +01:00
JanUlrich
aa631b5099
UnifyTest korrekt benennen
2018-02-28 16:35:45 +01:00
JanUlrich
a3a02fe475
Merge branch 'bigRefactoring' into unify-Test
2018-02-28 16:34:48 +01:00
JanUlrich
99ce7c1122
<, > Operatoren einführen
2018-02-28 16:33:18 +01:00
Martin Plümicke
cef82c6359
Typgenerator auf alten Stand setzen, damit Matrix test lauft
2018-02-28 16:27:08 +01:00
Martin Plümicke
67fe88215a
eigenerTest
2018-02-28 16:25:45 +01:00
Martin Plümicke
f31023b4fa
merge2
2018-02-28 16:16:22 +01:00
Martin Plümicke
a733eee8b5
merge
2018-02-28 16:12:57 +01:00
Martin Plümicke
15f5a2dc76
Merge branch 'bigRefactoring' into unify-Test
2018-02-28 16:10:08 +01:00
