Fayez Abu Alia
9575afd0b4
Fun umbenannt und Argumente umgedreht
2018-05-15 10:33:30 +02:00
Martin Plümicke
5c797a44a1
modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
disableWildcardtable in den FUNN-Regeln eingefuegt.
2018-05-10 09:07:33 +02:00
Martin Plümicke
e4243b612c
modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
Operatoren neue getypte
Returnargument bei FUNN nach hinten verschoben
modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
Returnargument bei FUNN nach hinten verschoben
Wildcards in Argumenten von als Undefined Pairs (funktioniert noch nicht)
Methode wrongWildcard eingefuegt
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
Methode doubleWildcard ind wrongWildcard umbenannt
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyType.java
Methode doubleWildcard ind wrongWildcard umbenannt
modified: src/de/dhbwstuttgart/typeinference/unify/model/WildcardType.java
Methode doubleWildcard ind wrongWildcard umbenannt
2018-05-09 18:05:06 +02:00
Martin Plümicke
da4c59f2cf
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
modified: ../../test/typeinference/UnifyTest.java
2018-05-09 16:24:28 +02:00
Martin Plümicke
1c22fc7d57
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unifyOptimierung
...
merge bytecode2
2018-05-09 13:29:11 +02:00
Fayez Abu Alia
521a1cbf3b
Bug 77 gefixt
2018-05-08 17:42:58 +02:00
Martin Plümicke
22ca2cbd4a
modified: BytecodeGenMethod.java
2018-05-08 11:28:24 +02:00
Fayez Abu Alia
49ea4ee283
Pfad der erzeugten klassendateien angepasst
2018-05-08 10:19:13 +02:00
35d5fb2f03
Fehler in ASTFactory mit Generischen FEldern beheben
2018-05-07 15:12:07 +02:00
Fayez Abu Alia
a785c85d42
tests
2018-05-02 20:54:07 +02:00
Fayez Abu Alia
1b6cae1be0
GenTest angefügt
2018-04-25 16:44:27 +02:00
JanUlrich
41774b3faf
Merge mit bytecode
2018-04-25 16:13:23 +02:00
Martin Plümicke
62d44eb15c
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Undefined Pairs auf oberster Ebene wird zu new HashTable<>() in compute
new file: ../../src/de/dhbwstuttgart/typeinference/unify/inheritVariance.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
Unterscheidung zw. <. <? ein compere eingefuegt
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
Attribut wildcardable eingefuegt
2018-04-24 00:53:33 +02:00
Martin Plümicke
5f8c73f176
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
In compare wird die Gleichung a =. Theta neu gefiltert
2018-04-22 00:56:49 +02:00
Martin Plümicke
0ae777b4ac
modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
varianceInheritance nach TypeUnifyTask.java verschoben
Kommentar eingefuegt
TODO:
1. compare-Funktinen nochmals ueberpruefen
2. Undef-Pairs in JavaTXiCompiler.java abfangen
3. ? extends bei allen Argumenttypen und Returntypen rauslassen
2018-04-20 23:52:12 +02:00
Martin Plümicke
087170bdbf
modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java
Variance wieder auskommentiert
modified: test/javFiles/Matrix.jav
import String
2018-04-20 13:16:49 +02:00
Martin Plümicke
93d0caaefb
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Varianceberechnung geaendert
2018-04-20 09:36:29 +02:00
Martin Plümicke
1f031149d3
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java
Varianceweitergabe eingefuegt
2018-04-20 01:08:35 +02:00
Martin Plümicke
fc870fd706
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-04-18 19:44:00 +02:00
JanUlrich
92693c2c15
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
2018-04-18 14:08:25 +02:00
JanUlrich
50a1f979a0
Fehler beim Parsen beheben
2018-04-18 14:08:12 +02:00
Fayez Abu Alia
478a2df3dc
Statische Methoden Test
2018-04-18 11:51:10 +02:00
Martin Plümicke
59243d9f94
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-04-17 16:31:13 +02:00
Martin Plümicke
82b08c5aae
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
Wildcard Ordnung veraendert
2018-04-17 14:25:52 +02:00
Martin Plümicke
615983bf37
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
resuat add in cartesion angepasst
modified: src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
equals in UnfyPair auf UndefinedPairs angepasst
2018-04-13 18:13:31 +02:00
Martin Plümicke
21bc2a67a1
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-04-11 16:58:38 +02:00
Martin Plümicke
fef4d27d21
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-04-11 11:10:08 +02:00
Martin Plümicke
603c4c9c46
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
logging ergaenzt
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java
getSubstitution() durch getAllSubstitutions() ersetzt
2018-04-06 20:01:14 +02:00
Martin Plümicke
baee0024e9
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Zu beginn von unify werden doppelte wildcard konstruktionen entfernt
Variableneumbenennung bei smaller in Fall 1 weider entfernt
modified: ../../src/de/dhbwstuttgart/typeinference/unify/interfaces/IMatch.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/interfaces/IUnify.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/ExtendsType.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
In computeGreater unify durch match ersetzt
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/UnifyType.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/WildcardType.java
Abfrage ob eine doppelte wildcard konstruktion vorhanden ist eingefuegt
2018-04-05 18:09:24 +02:00
Martin Plümicke
1baaf79f8c
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
UndefPairs werden zurueckgegegeben und die naechsten gefiltert
protected boolean isUndefinedPairSet(Set<UnifyPair> s) hat Fehler
2018-04-04 21:47:07 +02:00
Martin Plümicke
52f480147e
modified: src/de/dhbwstuttgart/typeinference/unify/MartelliMontanariUnify.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
Subsitution auf UnifyPair umgestellt
2018-04-04 01:14:30 +02:00
Martin Plümicke
9717c54d53
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Mehrfacher Aufruf von computeCartesianRecursive entfernt
2018-04-03 14:16:38 +02:00
Martin Plümicke
c271c689de
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
abhaengige Substitutionen auch bei Faellen 1 - 8 eingefuegt
2018-04-03 10:29:58 +02:00
Martin Plümicke
24c27303dd
modified: src/de/dhbwstuttgart/typeinference/unify/MartelliMontanariUnify.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
Substututions die eine UnifyPair erzeugen eingefuegt
UnifyCase1-8 weitermachen
2018-04-01 22:04:10 +02:00
Martin Plümicke
117106a7b3
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
? ext theta bei smaller eingefuegt
modified: src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java
basiPair und Subsitution nur noch gefuegt, wen wirk etwas eingesetzt wurde
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
unifier umbenannt in substitution
getBasePair und getSubsitutuon eingefuegt
2018-04-01 17:07:58 +02:00
Martin Plümicke
5680f913ef
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
new file: src/de/dhbwstuttgart/typeinference/unify/distributeVariance.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
new file: src/de/dhbwstuttgart/typeinference/unify/visitUnifyTypeVisitor.java
2018-03-28 17:42:25 +02:00
22ff521d08
Aufräumen
2018-03-28 15:35:04 +02:00
Fayez Abu Alia
32ab198f9e
Bugfix für duplicate methods
2018-03-28 14:57:36 +02:00
Martin Plümicke
fae26a8f26
modified: src/de/dhbwstuttgart/typeinference/unify/freshPlaceholder.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/interfaces/UnifyTypeVisitor.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
Visitors verallgemeinert
2018-03-28 12:06:23 +02:00
Fayez Abu Alia
bb5a4e8580
Bug 72 gefixt
2018-03-28 11:31:32 +02:00
JanUlrich
000c16b907
Gencoy ASP Generator implementieren
2018-03-27 23:56:12 +02:00
JanUlrich
87a2ed8117
APS GeneratorTest.simple anfügen
2018-03-27 14:25:54 +02:00
Fayez Abu Alia
a0de7a4467
Test, bei dem Bug 72 auftritt
2018-03-24 20:28:26 +01:00
JanUlrich
7ff3f22db5
Fehler in FCGenerator beheben
2018-03-23 17:20:35 +01:00
JanUlrich
4886976752
Fehler in FCGenerator beheben
2018-03-23 17:20:15 +01:00
JanUlrich
daf684deef
ASP Factory für Algorithmus von Herr Gencay
2018-03-23 16:54:32 +01:00
Martin Plümicke
0b680f831d
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
2018-03-22 20:40:22 +01:00
JanUlrich
41c87e3085
Merge branch 'bigRefactoring' into sat
2018-03-22 13:50:30 +01:00
JanUlrich
bcee5e5209
Fehler im Parsen von Package beheben
2018-03-22 11:41:59 +01:00
Martin Plümicke
95e9b2dbda
modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java
Variance auf PlacehloderType uebertragen
2018-03-22 11:26:29 +01:00
JanUlrich
72f27fab7a
Fehler in ASTFactory Generierung von Superinterfaces beheben
2018-03-22 11:17:51 +01:00
JanUlrich
06bb978cf6
Testfall erweitern
2018-03-21 18:08:33 +01:00
Pluemicke Martin
dbe05bb718
modified: src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/FCGenerator.java
...
Feher rausgemacht
TODO: Varianven werden nicht uebertragen wahrscheinlich subst
2018-03-21 17:37:34 +01:00
Pluemicke Martin
4ac99b61bf
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
2018-03-21 17:07:14 +01:00
Pluemicke Martin
f107c8d1f7
modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
Variancebestimmung fuer Argument- und Returntypen der Methoden eingefuegt.
2018-03-21 17:03:32 +01:00
79810be94f
FC Generator berücksichtig interfaces
2018-03-21 14:21:50 +01:00
Fayez Abu Alia
8870bc326c
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-03-21 13:47:19 +01:00
Fayez Abu Alia
e1c6369bcb
Bytecode für Post-/Preincrement und Post-/Predecrement
2018-03-21 13:08:39 +01:00
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
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
7e5aa852d7
Fehler fix
2018-03-21 10:35:46 +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
Fayez Abu Alia
3233ccd845
Overloading funktioniert. Erzeugt Bytecode für Postincrement (für Integers).
2018-03-18 16:08:52 +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
Fayez Abu Alia
dafcd2f125
Bytecode für While-Schleifen
2018-03-14 15:51:38 +01:00
JanUlrich
6a5ababa51
ANTLR Parsetreewalker für ASP Result implementieren
2018-03-14 14:32:36 +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
JanUlrich
4a2b901465
aufräumen
2018-03-13 14:53:27 +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
JanUlrich
123f94aea7
ANTLR Parser für ASP Statements implementieren
2018-03-13 00:24:40 +01:00
JanUlrich
dff72b0c97
ResultSetOutputGenerator
2018-03-12 00:38:02 +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
Fayez Abu Alia
52a5fd7904
erzeugt Bytecode für relationale Operatoren. Getestet.
2018-03-09 21:57:39 +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
JanUlrich
83aaff140c
Aufräumen
2018-03-08 01:44:40 +01:00
JanUlrich
3deaceec01
UnifyWithoutWildcards Test läuft durch
2018-03-08 01:41:38 +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
JanUlrich
9f2702276f
Fehler beheben
2018-03-08 00:03:26 +01:00
JanUlrich
87cf674352
Fehler in FCGenerator beheben
2018-03-07 23:07:53 +01:00
JanUlrich
dfd6a1f532
erge branch 'bigRefactoring' into sat
2018-03-07 23:04:16 +01:00
JanUlrich
e8388e2748
Aufräumen
2018-03-07 22:42:05 +01:00
JanUlrich
095f9a7956
Tests an neue ASPFactory anpassen
2018-03-07 22:41:00 +01:00
JanUlrich
c4aec8379e
Erste Version von ASPFactory implementieren
2018-03-07 21:52:46 +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
Fayez Abu Alia
54cf24926e
Bytecode arithmetische Operatoren unterschiedlischer Typen vollständig und getestet
2018-03-07 12:26:30 +01:00
Fayez Abu Alia
94d39ee21a
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-03-07 11:49:16 +01:00
JanUlrich
725b071d28
Problem mit BinaryExpr gefixt
2018-03-07 08:47:43 +01:00
JanUlrich
284af1246b
Nicht lauffähig. ASPFactory neu implementieren
2018-03-07 07:41:46 +01:00
Fayez Abu Alia
f453343f1c
Bytecode für arithmetische Operatoren mit Parametern unterschiedlicher Typen. Testfälle bereinigt und aufgeräumt.
2018-03-06 19:14:27 +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
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
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
Martin Plümicke
6fcaafe477
test
2018-02-28 16:07:02 +01:00
Fayez Abu Alia
35b99a4095
Bytecode kann für folgende Operationen +,-,*,/,% erzeugt werden
2018-02-28 15:59:21 +01:00
JanUlrich
327f36f1c2
Faculty Test ändern. UnifyTypeFactory konvertiert automatisch FunN Typen korrekt
2018-02-28 15:21:12 +01:00
JanUlrich
f023754328
TypeStmt für +,-,/,*,% einführen
2018-02-28 14:50:16 +01:00
JanUlrich
77aaa0ecb6
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
2018-02-28 13:32:51 +01:00
JanUlrich
9f9a94b5cf
Testfälle bereinigen
2018-02-28 13:32:36 +01:00
JanUlrich
b66d06a165
Merge branch 'parser' into bigRefactoring
2018-02-28 11:53:53 +01:00
JanUlrich
92b110a971
Funktionierender Clingo Test
2018-02-27 19:10:16 +01:00
Martin Plümicke
1c0fa6a820
modified: de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
modified: de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
logFile eingefuegt
2018-02-24 19:56:22 +01:00
Fayez Abu Alia
59569380ed
Kleiner Bug beseitigt
2018-02-23 20:17:32 +01:00
Fayez Abu Alia
4fbcf87e0c
Methoden visit(assign)/visit(literal) angepasst und generiert bytecode für Binaryexpressions. noch nicht fertig
2018-02-23 20:10:11 +01:00
JanUlrich
10b5d87119
Merge branch 'bigRefactoring' into sat
2018-02-23 11:14:47 +01:00
JanUlrich
73c37027d9
Fehler in TypeStmt UnaryExpression beheben
2018-02-23 09:16:12 +01:00
Martin Plümicke
8e198679c7
Instabiler Zustand reduce funktionert nicht
2018-02-23 00:37:59 +01:00
Martin Plümicke
419e4a6d0e
MERGE
...
Merge branch 'unify-test' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test
2018-02-21 17:55:47 +01:00
Pluemicke Martin
5cd2ee7d80
geändert: src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
geändert: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
recursiveCartesionProduct wieder entfernt
2018-02-21 17:54:26 +01:00
Martin Plümicke
9c35f04a09
modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
2018-02-21 17:22:23 +01:00
Fayez Abu Alia
6808535f67
Merge branch 'parser' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-02-21 15:45:22 +01:00
Fayez Abu Alia
ac4a79f0e7
Additive/multiplicativeExpression und UnaryExpression implementiert
2018-02-21 15:43:28 +01:00
Martin Plümicke
89246ece5c
modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: test/javFiles/Matrix.jav
2018-02-21 14:02:48 +01:00
Fayez Abu Alia
7c2f7c54dd
Kleine Änderung
2018-02-21 11:44:03 +01:00
JanUlrich
c747ab0885
Additive Expression implementieren
2018-02-21 11:40:54 +01:00
JanUlrich
6cf98f200b
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-02-21 11:05:57 +01:00
JanUlrich
ed3a3909c0
Merge branch 'bytecode2' into bigRefactoring
2018-02-21 11:05:25 +01:00
JanUlrich
d53faa0c86
FiniteClosure korrekt generieren
2018-02-19 11:33:08 +01:00
JanUlrich
b7bb0fa1c4
Vector Test Fehler beheben
2018-02-19 04:47:10 +01:00
JanUlrich
166aa5e506
merge mit sat
2018-02-19 04:22:08 +01:00
