Fayez Abu Alia
34969e66ba
bug in Signature gefixt
2018-08-03 13:48:45 +02:00
Fayez Abu Alia
dcbcf873e4
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-08-01 14:04:06 +02:00
Fayez Abu Alia
deb632050a
LDC2_W fuer Long verwendet. Tests bereinigt.
2018-08-01 14:03:23 +02:00
JanUlrich
acf8c108e8
Diamantoperator
2018-07-26 16:25:54 +02:00
JanUlrich
968dc06edc
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-07-26 15:16:28 +02:00
JanUlrich
47808c4e6f
Diamantoperator
2018-07-26 14:57:13 +02:00
Fayez Abu Alia
5029cca0f1
Transivitaet Berechnung bei TPHs korrigiert
2018-07-26 14:37:11 +02:00
Fayez Abu Alia
adf675e595
Bug 98 gefixt, kleine Aenderung in Signature Klasse und Tph4 Test eingefuegt
2018-07-25 16:45:59 +02:00
Fayez Abu Alia
14be882b7b
LambdaTest Funktioniert.
2018-07-18 22:49:21 +02:00
Fayez Abu Alia
2d5f03a3e0
Bugs 89 und 90
2018-07-18 13:51:05 +02:00
Martin Plümicke
fd64b84072
modified: TYPEStmt.java
...
Bei der Addition + Abfragen eingefuegt, ob die Subtypen von Number jeweils import sind. Nur dann werden Annahmen erstellt.
modified: ../../../../../test/bytecode/javFiles/Matrix.jav
modified: ../../../../../test/bytecode/javFiles/OL.jav
2018-07-17 17:38:00 +02:00
Martin Plümicke
4f84e60246
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin
2018-07-12 16:17:07 +02:00
Fayez Abu Alia
7c3ca93c0b
Bug 88 gefixt.
...
new file: src/de/dhbwstuttgart/bytecode/ArgumentVisitor.java
Visitor für Argumente des Method Call einer Methode aus Standard-Bibliothek und dient dazu,
wenn die Argument eine primitive Typ besitzt dann wird unboxing gemacht.
Signatur von Konstruktoren angepasst.
2018-07-10 22:15:26 +02:00
Martin Plümicke
72c2e19def
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin
...
src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
test/bytecode/javFiles/Lambda.jav
test/typeinference/UnifyTest.java
modified: src/de/dhbwstuttgart/.DS_Store
modified: src/de/dhbwstuttgart/bytecode/BytecodeGen.java
modified: src/de/dhbwstuttgart/bytecode/BytecodeGenMethod.java
modified: src/de/dhbwstuttgart/bytecode/descriptor/DescriptorToString.java
modified: src/de/dhbwstuttgart/bytecode/signature/Signature.java
modified: src/de/dhbwstuttgart/bytecode/signature/TypeToSignature.java
modified: src/de/dhbwstuttgart/bytecode/utilities/MethodFromMethodCall.java
modified: src/de/dhbwstuttgart/syntaxtree/type/FunN.java
modified: src/de/dhbwstuttgart/typeinference/assumptions/FunNClass.java
modified: src/de/dhbwstuttgart/typeinference/assumptions/MethodAssumption.java
modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
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
modified: target/JavaTXcompiler-0.1-jar-with-dependencies.jar
modified: test/bytecode/javFiles/Lambda.jav
modified: test/bytecode/javFiles/Matrix.jav
modified: test/javFiles/Lambda.jav
modified: test/javFiles/Matrix.jav
modified: test/javFiles/Vector.jav
modified: test/typeinference/UnifyTest.java
2018-07-05 00:54:40 +02:00
Fayez Abu Alia
bd0bfed2cb
Matrix Test läuft. Code muss noch aufgeräumt werden
2018-07-04 22:18:16 +02:00
Martin Plümicke
cee86a6b61
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-07-04 12:07:21 +02:00
Martin Plümicke
1a2454e00b
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
Kommentare zur Max Min optimierung rasugenommen
2018-07-04 11:47:02 +02:00
Martin Plümicke
bc1a796e28
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-07-03 11:54:24 +02:00
Fayez Abu Alia
69706ee1d2
Bug 82 gefixt und getestet. Descriptor von MethodCall von Interface korrigiert.
2018-07-03 11:15:58 +02:00
Martin Plümicke
b8e229cf3f
modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
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
modified: ../javFiles/Matrix.jav
2018-07-02 17:24:16 +02:00
Fayez Abu Alia
7926c25c7d
Soviel wie möglich unnötige TPHs aus Signaturen von Paramtrisierten Typen entfernt
2018-06-27 15:20:35 +02:00
Fayez Abu Alia
b4c604e2b1
Bug in der Methode simplifyPairs gefixt.
...
Bug 82 gefixt.
TPHs in paramtrisierten Typen als TypeVariablen in Signature hinzugefügt.
Lambda.jav funktioniert.
2018-06-27 14:49:22 +02:00
Martin Plümicke
0ecaf36648
modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
Bei Literal die Zuweisung des Typs eingefuegt aber wieder auskommentiert,
weil es im Moment nur double Literals gibt.
modified: test/javFiles/Lambda.jav
2018-06-23 10:42:46 +02:00
Martin Plümicke
2eb7a63480
modified: src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
...
FunN$$ eingefuegt
modified: src/de/dhbwstuttgart/syntaxtree/type/FunN.java
modified: src/de/dhbwstuttgart/typeinference/assumptions/FunNClass.java
modified: src/de/dhbwstuttgart/typeinference/assumptions/MethodAssumption.java
modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
Methodcall einige Bugs sowohl beim apply als uch bei allen anderen gefixt.
modified: test/javFiles/Lambda.jav
2018-06-23 01:05:13 +02:00
Martin Plümicke
1991bbbcd3
modified: src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
...
FunN-Types werden nach RefTypes mit FunN$$ nach Unifikation zurueckkonvertiert.
modified: target/JavaTXcompiler-0.1-jar-with-dependencies.jar
modified: test/bytecode/javFiles/Faculty.jav
modified: test/bytecode/javFiles/Lambda.jav
modified: test/bytecode/javFiles/OL.jav
modified: test/javFiles/Lambda.jav
2018-06-21 09:51:05 +02:00
Martin Plümicke
a92521f04a
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin
2018-06-20 20:06:37 +02:00
Martin Plümicke
895b5a972e
new file: doc/PluginBau.pdf
...
modified: src/de/dhbwstuttgart/typedeployment/TypeInsert.java
modified: src/de/dhbwstuttgart/typedeployment/TypeInsertPoint.java
equals Methoden eingefuegt um Marker nur einmal im Plugin zu haben
modified: target/JavaTXcompiler-0.1-jar-with-dependencies.jar
modified: test/bytecode/javFiles/OL.jav
modified: test/typeinference/UnifyTest.java
2018-06-20 19:52:58 +02:00
Fayez Abu Alia
11649b39d3
generateBCForFun() um Parameter path erweitert.
2018-06-20 18:15:44 +02:00
Fayez Abu Alia
660ef68f7e
generateBytecode() um Parameter path erweitert. Alle Tests angepasst
2018-06-20 18:07:17 +02:00
Fayez Abu Alia
23eab0c9a4
TPHs, die nicht in ParameterListe der Methode vorkommen, werden in Signature geschrieben
2018-06-19 14:56:22 +02:00
Fayez Abu Alia
6d70464a1c
TPH X < TPH Y <...< TPH Z vereinfacht => TPH X < TPH Z und Signature-Erzeugung wird angepasst
2018-06-19 13:31:39 +02:00
Martin Plümicke
1437788f5a
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin
2018-06-18 11:50:55 +02:00
Fayez Abu Alia
b325e205a1
Bugs gefixt. Bytecode-Erzeugung für MethodCall ergänzt. Bytecode für Matrix-Test (Funktioniert noch nicht ganzErzeugung Signatures und Descriptors verbessert
2018-06-13 15:50:05 +02:00
Fayez Abu Alia
ff2bca5ce5
Alle TPHS einer Methode und pairs (TPH < SuperTPH) werden gesammelt,
...
gemeinsamme TPHs werden bestimmt, die Klassenkopf als Type-Variables
definiert werden sollen.
Erzeugung von Signature angepasst.
2018-06-12 11:41:59 +02:00
Martin Plümicke
814aef082d
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
log-File schreiben entfernt
2018-05-30 18:35:57 +02:00
Martin Plümicke
5a0e53485c
modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
Unary-Expression SMALLERNEQDOT eingefuegt
modified: test/bytecode/javFiles/Fac.jav
2018-05-30 17:23:55 +02:00
JanUlrich
1ca7fba835
Generics fix
2018-05-30 16:10:20 +02:00
JanUlrich
98eb1827b8
Fix Generics parsing
2018-05-30 15:57:51 +02:00
JanUlrich
ee1fa17aba
Implement convert(ClassOrInterfaceType)
2018-05-30 15:29:59 +02:00
Fayez Abu Alia
66078360da
Alle TPH der Methode werden in eine Liste gespeichert.
...
Bug gefixt => FacTest liefert richtiges Ergebnis.
Deskriptoren von Methoden, in denen TPHs auftauchen, werden erzeugt.
Signaturen von von Methoden, in denen TPHs auftauchen, werden erzeugt.
Test, RückagbeTypen der Methoden = TPH und ParameterTypen = TPH.
2018-05-30 15:27:21 +02:00
JanUlrich
26f24db0a3
Kleiner Fix am ASTWalker
2018-05-28 17:08:20 +02:00
Martin Plümicke
97d893e66b
Merge branch 'plugin' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin
...
merge
2018-05-28 16:36:46 +02:00
Martin Plümicke
57fb90afaf
modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnify.java
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
LogFile optional gemacht
2018-05-28 16:35:47 +02:00
JanUlrich
63ac79f02c
Hotfix für Typparsen Problem
2018-05-28 16:21:52 +02:00
JanUlrich
c7042d185f
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
2018-05-28 16:18:49 +02:00
JanUlrich
7e3fca2da9
Hotfix für Typparsen Problem
2018-05-28 16:18:33 +02:00
Martin Plümicke
66587a8f71
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
SMALERNEQDOT in Regel a <!=. Theta korrigiert
SMALERNEQDOT in Regel Theta <!=. a geloescht
2018-05-28 16:07:29 +02:00
Martin Plümicke
581e5e574e
Merge branch 'bytecode2' into plugin
2018-05-25 14:41:22 +02:00
Martin Plümicke
ae14dfd947
modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
2018-05-25 14:39:54 +02:00
Martin Plümicke
9d53d9d5d1
modified: src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
...
kleiner Fehler korrigiert
modified: test/javFiles/Matrix.jav
2018-05-25 11:16:02 +02:00
Fayez Abu Alia
6fce2760c5
While.jav
2018-05-25 09:53:30 +02:00
Martin Plümicke
1de897fb1f
modified: src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
...
System.out.println geloescht
2018-05-24 17:59:51 +02:00
Martin Plümicke
87dede5d5f
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
...
F-Bounded Problematik durche neues greater ggf. geloest.
Es werden Falle ausgeschlossen. Diese Faelle muessen noch ergaenzt werden.
2018-05-24 17:45:10 +02:00
Fayez Abu Alia
f085f9f499
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-05-24 16:44:28 +02:00
Fayez Abu Alia
a40d2b991f
kleine Änderung
2018-05-24 16:44:05 +02:00
Martin Plümicke
704415ae3b
Merge branch 'unifyOptimierung' into plugin
...
fixed test/javFiles/Matrix.jav
2018-05-24 16:43:31 +02:00
Martin Plümicke
65531ac12e
modified: ../../src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/constraints/Pair.java
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/PairOperator.java
Einführung eines neuen Operators SMALLERNEQDOT um Ungleichungen a <!=. Number für die Relationsoperatoren einfuehren zu koennen.
modified: ../../test/javFiles/Matrix.jav
2018-05-24 16:20:57 +02:00
Martin Plümicke
34e632b872
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
Reduce ausgetauscht bei ArgPara und Returntype
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
isUndefinedPair korrigiert.
modified: ../../test/bytecode/LambdaTest.java
modified: ../../test/bytecode/javFiles/Plus.jav
modified: ../../test/bytecode/javFiles/RelOps.jav
2018-05-24 14:11:04 +02:00
Martin Plümicke
f617ad8946
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
...
Relationen auf verschiedene Numeric-Typen umgestellt
im equals Null abgefragt
2018-05-24 10:28:22 +02:00
Martin Plümicke
876ec6a4f6
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unifyOptimierung
...
Conflicts:
src/de/dhbwstuttgart/core/JavaTXCompiler.java
solved
2018-05-24 09:41:15 +02:00
Martin Plümicke
26d9b1215f
modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/interfaces/IFiniteClosure.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/ExtendsType.java
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.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
modified: ../../test/javFiles/Matrix.jav
F-Bounded angefangen
2018-05-24 09:17:31 +02:00
Fayez Abu Alia
0f29bc038a
Bugs gefixt. Tests für relationalen Operatoren(GreaterEqualTest, ...) laufen.
...
Für Typplaceholder werden Generics verwendet.
Neue Tests angefügt.
2018-05-23 15:38:41 +02:00
Martin Plümicke
a5ed5a2a46
Merge branch 'unifyOptimierung' into plugin
2018-05-22 17:29:44 +02:00
Martin Plümicke
c597b0430a
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
cardProd als Variable eingfuegt
modified: ../../src/de/dhbwstuttgart/syntaxtree/ClassOrInterface.java
toString() eingfuegt
modified: ../../src/de/dhbwstuttgart/syntaxtree/GenericDeclarationList.java
toString() eingfuegt
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
BinaryOp <. statt =.
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Bei nicht importierten (result []) undefinPair gesetzt
modified: ../javFiles/Matrix.jav
falsche importe rausgenommen
2018-05-22 17:10:07 +02:00
Martin Plümicke
06a0cb8eaf
modified: TypeUnifyTask.java
...
noAllErasedElements eingefuegt
2018-05-19 10:13:08 +02:00
Martin Plümicke
b5a601d798
modified: TypeUnifyTask.java
...
Varianceweitergabe in den verschiedenen Cases eingefuegt
Erste Zaehlungen eingefuegt
2018-05-19 09:50:57 +02:00
Martin Plümicke
7ea6777906
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: ../javFiles/Lambda.jav
modified: ../typeinference/UnifyTest.java
2018-05-18 13:12:49 +02:00
Martin Plümicke
6b1896f58c
modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/distributeVariance.java
greaterFUNN und smallFUNN fuer generierte TPHs Variance gesetzt
modified: test/javFiles/Lambda.jav
vom bytecode ruebergeholt
2018-05-18 09:55:45 +02:00
Martin Plümicke
d81c06cdd9
modified: ../../src/de/dhbwstuttgart/typeinference/unify/distributeVariance.java
...
Implementierung fuer FuNN eingefuegt
deleted: ../../src/de/dhbwstuttgart/typeinference/unify/inheritVariance.java
wahrscheinlich bei FuNN-Regeln Variance setzen.
2018-05-18 00:03:07 +02:00
Martin Plümicke
8baff8f376
modified: ../../src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
Variancenvererbung eingefuegt
modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
Variancenvererbung geloescht
modified: ../../src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
modified: ../../test/typeinference/UnifyTest.java
2018-05-17 22:51:41 +02:00
Martin Plümicke
bc2cab8c95
modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java
modified: test/javFiles/Lambda.jav
modified: test/javFiles/Lambda3.jav
2018-05-17 18:07:21 +02:00
Martin Plümicke
51a2acdbaf
modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java
...
modified: test/typeinference/UnifyTest.java
2018-05-17 11:42:03 +02:00
832623a738
ClassOrInterface muss im Modifier INTERFACE haben, wenn isInterface gesetzt ist
2018-05-16 15:37:46 +02:00
Fayez Abu Alia
dcc36f082f
code aufräumen
2018-05-16 13:37:31 +02:00
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
Martin Plümicke
5270cecec9
Changes to be committed:
...
modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java
modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: test/javFiles/Matrix.jav
Fehler in der Aufteilung von Unify korrigiert.
Equalcheck in Schritt 6 wiedre eingefuegt.
2018-02-14 17:45:08 +01:00
Fayez Abu Alia
a45aa50574
erzeugt bytecode für Zuweisung von Literale
2018-02-14 14:37:36 +01:00
JanUlrich
191a1166b9
ASP Generator auf neues Format anpassen
2018-02-13 05:25:18 +01:00
JanUlrich
6e770b5ec5
Java 9: Classloader ändern
...
*
2018-02-12 22:32:03 +01:00
Martin Plümicke
87fe51767c
modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
Reduce 1
C und D koennen auch gleich sein.
Muss nochmals ueberprueft werden.
2018-02-09 22:55:40 +01:00
Martin Plümicke
f0610aeff1
Changes to be committed:
...
modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
modified: test/typeinference/JavaTXCompilerTest.java
2018-02-09 21:32:15 +01:00
Martin Plümicke
e4fbd17a55
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
...
modified: test/javFiles/Matrix.jav
Rekursive Berechnung des Kartesischen Produkts
2018-02-08 00:02:27 +01:00
Martin Plümicke
9c526f20fb
merge
2018-02-07 16:56:11 +01:00
Martin Plümicke
1f269918fb
nicht lauffaehig
2018-02-07 16:53:24 +01:00
Martin Plümicke
2d5c863008
HEAD detached at 2f994cdf
...
Changes to be committed:
Aenderungen am Unify: Fehler behoben und Vereinfachung
modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java
new file: src/de/dhbwstuttgart/typeinference/unify/Match.java
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
new file: src/de/dhbwstuttgart/typeinference/unify/interfaces/IMatch.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/Node.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/TypeParams.java
modified: src/de/dhbwstuttgart/typeinference/unify/model/Unifier.java
modified: test/javFiles/Matrix.jav
2018-02-07 14:38:45 +01:00
Martin Plümicke
22499f09e8
modified: src/de/dhbwstuttgart/typeinference/unify/model/TypeParams.java
...
Zeile 101 Dangling-else Problematik behoben
War Fehler im Occurs-Cheeck von Montanari-Martelli.
2018-02-01 00:17:12 +01:00
JanUlrich
1f89238fe4
Kleiner Bug beseitigt. Ungetesteter Stand
2018-01-31 18:38:52 +01:00
Fayez Abu Alia
c61dd5411e
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-01-31 16:47:18 +01:00
JanUlrich
2f994cdfa8
java.lang. nicht standardmäßig importieren
2018-01-31 16:42:51 +01:00
JanUlrich
9c4f763c9a
java.lang. nicht standardmäßig importieren
2018-01-31 16:42:25 +01:00
Fayez Abu Alia
b32e437a05
Fehler
2018-01-31 16:16:05 +01:00
Fayez Abu Alia
1888eb6d46
merge
2018-01-31 15:57:58 +01:00
Fayez Abu Alia
56d919f446
bug fix
2018-01-31 15:55:02 +01:00
JanUlrich
15d120d594
Funktionsfähiges Matrix Beispiel, aber nicht komplett
2018-01-31 15:51:38 +01:00
JanUlrich
e556a470e7
Literal löschen
2018-01-31 15:39:19 +01:00
Fayez Abu Alia
398c1992fa
merge
2018-01-31 14:23:19 +01:00
Fayez Abu Alia
9a94ba2114
unnötige Kommentare wurden entfernt
2018-01-31 14:16:20 +01:00
JanUlrich
cdcebdd4ac
Merge
2018-01-31 13:36:35 +01:00
JanUlrich
3ce4937bc1
Fehler im Trailing Return anhängen beheben
2018-01-30 02:23:58 +01:00
JanUlrich
027538a082
Unary Expression und while statement anfügen
2018-01-30 01:08:21 +01:00
Martin Plümicke
29173ba172
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
...
Genauere Fehlermeldung im Unify
2018-01-29 21:32:46 +01:00
Martin Plümicke
5d94820fed
modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
modified: src/de/dhbwstuttgart/typeinference/unify/model/Node.java
Genauere Fehlermeldung
2018-01-29 21:30:45 +01:00
JanUlrich
c7dea4c86b
Matrix Test
2018-01-29 18:26:14 +01:00
JanUlrich
ede55d228e
Fehler in ASTFactory beheben. GenericRefType statt RefType in den Parameterlisten
2018-01-29 17:35:49 +01:00
JanUlrich
0610ea8e63
FC Generator
2018-01-29 17:32:25 +01:00
JanUlrich
8d12821c68
Methode erbt nicht mehr von Feld
2018-01-21 11:38:55 +01:00
JanUlrich
311d7ee63a
Merge branch 'bigRefactoring' into sat
2018-01-21 11:17:46 +01:00
JanUlrich
1f5071d4e4
Methode soll kein Feld mehr sein. Nicht lauffähig!
2018-01-19 15:24:49 +01:00
Fayez Abu Alia
542f87e8a3
erzeugt Klassendatei für FunN
2018-01-17 13:49:18 +01:00
JanUlrich
57df329751
Merge branch 'bigRefactoring' into sat
2018-01-12 22:47:49 +01:00
Fayez Abu Alia
7b24e2d83f
bytecode für Generics: LamAssignTest funktioniert richtig
2018-01-10 15:37:50 +01:00
JanUlrich
b1b1cfdc54
--amend
2018-01-10 12:14:20 +01:00
JanUlrich
672373fc8d
--amend
2018-01-10 12:11:51 +01:00
JanUlrich
ab86cc3229
RefType.toString(): Ausgabe von Parameterliste implementieren
2018-01-10 12:10:01 +01:00
JanUlrich
0c19cc7400
Merge branch 'bigRefactoring' into bytecode2
2018-01-10 11:58:03 +01:00
Fayez Abu Alia
268056542b
erzeugt bytecode für generics
2018-01-10 11:36:29 +01:00
JanUlrich
19a1ef4024
Erste lauffähige aber unvollständige Version des UnifyWithoutWildcards
2018-01-10 10:53:07 +01:00
JanUlrich
3c732346d9
ASPParameterlist erzeugt auch paramNum
2018-01-06 09:38:53 +01:00
Fayez Abu Alia
01339ca7ec
Descriptor-Erzeugen neu mit Visitor-pattern implementiert
2017-12-28 10:20:28 +01:00
JanUlrich
6ddc4983b0
Fehler im Type beheben
2017-12-20 17:12:40 +01:00
JanUlrich
719d1a5ced
Interface Modifier setzen
2017-12-20 15:59:07 +01:00
JanUlrich
90a9273fc2
TypeToStringVisitor
2017-12-20 15:37:33 +01:00
JanUlrich
009a638c9a
FC ohne java.lang generieren
2017-12-20 15:27:39 +01:00
JanUlrich
55be865ab4
Bugfix
2017-12-20 15:06:04 +01:00
JanUlrich
dccdc5da2b
Merge branch 'bigRefactoring' into bytecode2
2017-12-20 15:01:19 +01:00
JanUlrich
940c922c80
ResultSet kann GenericRefTypes auflösen
2017-12-20 15:01:02 +01:00
JanUlrich
bdc2a83b1c
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2017-12-20 14:14:25 +01:00
Fayez Abu Alia
d989100b47
korrekte bytecode
2017-12-20 14:14:05 +01:00
JanUlrich
f015ef75f7
Merge branch 'bigRefactoring' into bytecode2
2017-12-20 13:43:46 +01:00
Fayez Abu Alia
5f731bb09c
letzte tests
2017-12-20 13:35:55 +01:00
JanUlrich
09bdaa6a21
Generics Test erzeugt falsches ConstraintSet
2017-12-20 13:34:34 +01:00
JanUlrich
e8757a179f
ASP-Generierung: parameterListe
2017-12-18 14:43:03 +01:00
JanUlrich
3a444c0172
Aufräumen
2017-12-15 13:12:18 +01:00
Fayez Abu Alia
ab36050f9b
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2017-12-15 09:01:59 +01:00
JanUlrich
9919ecd083
Anfangen mit Masterarbeit
2017-12-15 00:06:57 +01:00
JanUlrich
7d8e8249ed
Merge branch 'sat' into bigRefactoring
2017-12-15 00:05:47 +01:00
JanUlrich
fb0ef510b2
Fehlende Klasse
2017-12-15 00:05:30 +01:00
Fayez Abu Alia
72fdf2dca8
merge
2017-12-14 21:20:57 +01:00
JanUlrich
eb8db0e0eb
TPH = TPH ist jetzt auch im ResultSet möglich. Anpassungen an der Generierung der Imports einer SourceFile; läuft noch nicht fehlerfrei
2017-12-14 17:44:43 +01:00
JanUlrich
5386227a34
Merge branch 'bigRefactoring' into sat
2017-12-14 00:06:11 +01:00
Fayez Abu Alia
a8274bdc69
erzeugt bytecode fuer lambda
2017-11-29 14:45:15 +01:00
JanUlrich
e702f745c3
Dirty fix
2017-11-29 14:31:07 +01:00
JanUlrich
4616f82b09
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2017-11-22 13:15:21 +01:00
JanUlrich
dbe47f41c1
FunNClass anfügen
2017-11-22 13:12:21 +01:00
JanUlrich
b55d0779e9
ResultPairs des Unify Algorithmus könnnen nun auch Wildcard-Typen enthalten
2017-11-22 06:49:11 +01:00
JanUlrich
928396927e
Faculty Test geht wieder
2017-11-16 17:28:50 +01:00
JanUlrich
9a886ed223
Typdeklarationen wie List, werden jetzt automatisch TPHs eingesetzt. (Als hätte man den Diamond-Operator benutzt)
2017-11-16 16:56:12 +01:00
JanUlrich
16e14f9363
Finite CLosure TEst läuft wieder halbwegs. Sonst unfertiger Zustand
2017-11-16 15:10:08 +01:00
JanUlrich
b51d8356b7
Unvollständiger Zustand; Verknüpfung zwischen GTVs und TPH geändert. Änderungen in TypeStmt
2017-11-15 17:58:15 +01:00
JanUlrich
48dc76646b
createPair Methode entfernen. Die Generics können nicht generell aufgelöst werden. (unvollständiger Zustand)
2017-11-14 19:28:46 +01:00
JanUlrich
fea86460e8
Änderungen an der FC generierung und an dem Verhalten von GTVs im Type Algorithmus UNVOLLSTÄNDIG. Kleines Backup, da große Änderung am Type-Algorithmus noch ansteht.
2017-11-09 19:41:53 +01:00
Fayez Abu Alia
01703a73c5
generiert Bytecode fuer einfachen Lambda
2017-11-07 10:55:33 +01:00
Fayez Abu Alia
bb5e697699
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2017-11-03 14:18:32 +01:00
Fayez Abu Alia
5a026a431c
kleine Aenderung
2017-11-03 14:17:36 +01:00
JanUlrich
d2fa9e00f8
Fix bug #60
2017-10-30 18:08:40 +01:00
JanUlrich
934e5f85f8
Unterschied zwischen Expr-Receiver und Classname-Receiver
2017-10-26 21:45:04 +02:00
JanUlrich
bfa106913b
extends in Parser implementieren. Dirty fix für fehlende Object-Klasse in der JavaClassNameRegistry
2017-10-18 16:40:27 +02:00
JanUlrich
a69b827805
Var Keyword ist kein keyword mehr, kann also auch als Variablennamen verwendet werden
2017-10-18 00:22:42 +02:00
JanUlrich
0c80a4c343
Fix bei Typeinsetzung
2017-10-16 19:19:42 +02:00
JanUlrich
040300d78e
unnötige Imports entfernen
2017-10-10 17:05:32 +02:00
JanUlrich
9607fcf980
Imports in parser implementieren
2017-10-10 15:34:52 +02:00
JanUlrich
cecec91f74
Merge
2017-10-10 14:51:53 +02:00
JanUlrich
8c00d89731
Finite Closure beachtet imports
2017-10-10 14:47:05 +02:00
JanUlrich
d5d74fef85
Merge
2017-10-06 14:13:31 +02:00
JanUlrich
36bb442bff
Aufräumen
2017-10-06 13:34:03 +02:00
Fayez Abu Alia
c595925112
Fehlende Tests anfügen
2017-10-06 13:31:36 +02:00
Fayez Abu Alia
672d40c557
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2017-10-06 09:16:42 +02:00
JanUlrich
94c69cca55
Merge branch 'bigRefactoring' into bytecode2
2017-10-06 03:59:58 +02:00
JanUlrich
843dd7453d
ANTLR Plugin + Configuration an pom.xml anfügen
2017-10-06 03:59:35 +02:00
Fayez Abu Alia
ad36158a47
Test dateien
2017-10-05 20:23:27 +02:00
Fayez Abu Alia
7de617f0c1
test
2017-10-05 20:02:11 +02:00
JanUlrich
6738eecdf3
Merge
2017-10-05 19:21:30 +02:00
JanUlrich
a011061f22
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2017-10-05 18:29:37 +02:00
JanUlrich
15e18c5907
merge unvollständig
2017-10-05 18:29:27 +02:00
Fayez Abu Alia
4c213eb3cf
generate bytecode
2017-10-05 18:25:52 +02:00
JanUlrich
a194bdbc9f
Aufräumen
2017-10-05 18:23:28 +02:00
JanUlrich
e341d9075e
Alle Klassen aus Standard Library laden
2017-10-05 01:13:08 +02:00
JanUlrich
b104ff591f
Aufräumen
2017-10-05 00:47:05 +02:00
JanUlrich
bf8e6d1492
merge
2017-10-04 16:46:31 +02:00
JanUlrich
bd024d9f4a
Aufräumen
2017-10-04 16:39:02 +02:00
Martin Plümicke
0a8236cd86
modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
In reduceFunN:
&& (pair.getPairOp() != PairOperator.EQUALSDOT)) //PL 2017-10-03 hinzugefuegt
//da Regel auch fuer EQUALSDOT anwendbar
//TODO: fuer allen anderen Relationen noch pruefen
2017-10-03 22:06:37 +02:00
Martin Plümicke
7f888a1bf8
modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
...
FunType von Bedingung <. auf beliebig zu gelassen
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
bei childrenaufruf unifyCase1 gleiches Element hinzugefuegt
modified: test/typeinference/JavaTXCompilerTest.java
typeinference-Aufruf vor die Schleife gezogen
2017-10-03 21:58:39 +02:00
Martin Plümicke
fa92fee98d
modified: .classpath
...
Keine Ahnung
modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java
Aenderung Zeile 578
rhsType = pair.getRhsType(); //PL eingefuegt 2017-09-29 statt !((rhsType = pair.getRhsType()) instanceof PlaceholderType)
if(lhsType != null
//&& !((rhsType = pair.getRhsType()) instanceof PlaceholderType) //PL geloescht am 2017-09-29 Begründung: auch Typvariablen muessen ersetzt werden.
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java
1. Aenderung: Zeile 168
/*
* Step 6 a) Restart (fork) for pairs where subst was applied
*/
if(parallel) {
if //(eqPrime.equals(eq)) //PL 2017-09-29 auskommentiert und durch
(!eqPrimePrime.isPresent()) //PL 2071-09-29 dies ersetzt
//Begruendung: Wenn in der Substitution keine Veraenderung
//(!eqPrimePrime.isPresent()) erfolgt ist, ist das Ergebnis erzielt.
eqPrimePrimeSet.add(eqPrime);
2. Aenderung: Ziel 188
else { // sequentiell (Step 6b is included)
if //(eqPrime.equals(eq)) //PL 2017-09-29 auskommentiert und durch
(!eqPrimePrime.isPresent()) //PL 2071-09-29 dies ersetzt
//Begruendung: Wenn in der Substitution keine Veraenderung
//(!eqPrimePrime.isPresent()) erfolgt ist, ist das Ergebnis erzielt.
eqPrimePrimeSet.add(eqPrime);
2017-09-30 14:51:05 +02:00
JanUlrich
d24b2fa7d6
bcel entfernen. pom.xml anlegen
2017-09-28 16:52:07 +02:00
JanUlrich
1e0da98c4b
auto-keyword zu var-keyword ändern
2017-09-25 23:47:38 +02:00
JanUlrich
4b44fba421
Bugfix
2017-09-25 16:49:27 +02:00
JanUlrich
07b159f9a3
Bugfix
2017-09-25 15:57:35 +02:00
JanUlrich
276ff44756
Berücksichtige TPH =. TPH Ergebnisse im ResultSet
2017-09-25 11:22:53 +02:00
JanUlrich
b31da88902
Logik für Generics implementieren. Unvollständig
2017-09-25 01:14:02 +02:00
JanUlrich
6a1f5dc248
Unvollständiger Stand bei der Implementierung von Generics
2017-09-22 18:31:47 +02:00
JanUlrich
0e2390a80a
GlobalGenerics eingeführt
2017-09-20 23:41:06 +02:00
JanUlrich
8ce017c2f2
Fehler beheben. PackageCrawler lauffähig
2017-09-20 18:20:52 +02:00
b8a5795bb3
PackageCrawler und CompilationEnvironment implementieren
2017-09-20 17:26:09 +02:00
9b960329fc
PackageCrawler wieder einführen. Unvollständig
2017-09-20 15:52:14 +02:00
b1adc4671d
Environment einführen
2017-09-20 14:00:44 +02:00
JanUlrich
6e03d24582
Tests auslagern
2017-09-19 18:51:44 +02:00
JanUlrich
f81496fe1f
Fehler in TypeStmt beheben
2017-09-18 18:32:22 +02:00
JanUlrich
201a0978bc
Constructor für IfStmt
2017-09-18 13:56:27 +02:00
JanUlrich
98331af3c0
Fehler in UnifyTypeConvert beheben
2017-09-07 19:52:05 +02:00
JanUlrich
a355fe7786
fehler beheben
2017-09-07 18:37:56 +02:00
JanUlrich
b6f62b48eb
ResultSet um resolveType erweitern
2017-09-07 17:02:49 +02:00
Fayez Abu Alia
9a233e437b
bytecode
2017-08-30 18:08:05 +02:00
Fayez Abu Alia
9918e78f97
Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2017-08-30 17:21:17 +02:00
JanUlrich
d245aa7367
Added Modifier to Method
2017-08-30 17:20:59 +02:00
Fayez Abu Alia
3d07f60145
Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2017-08-30 17:11:46 +02:00
JanUlrich
7c3181c3f0
Super-Statement an Constructor angefügt
2017-08-30 17:06:42 +02:00
JanUlrich
b251a646ca
System.out.println Statement schein halbwegs zu funktionieren ^^
2017-08-30 15:29:34 +02:00
Fayez Abu Alia
276f235b56
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2017-08-30 14:43:53 +02:00
Fayez Abu Alia
866429ffe7
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2017-08-30 14:43:31 +02:00
JanUlrich
4b21f03a5a
Refactoring
2017-08-30 14:36:40 +02:00
JanUlrich
a7e1a5e2c2
Fehler beheben
2017-08-28 18:36:26 +02:00
JanUlrich
932b277dcc
Imports implementieren
2017-08-28 17:36:51 +02:00
JanUlrich
45c85b7686
Type refactoring
2017-08-28 15:42:51 +02:00
JanUlrich
ff59b585bd
TypeInsert ausbessern
2017-08-25 03:39:54 +02:00
JanUlrich
397ac3cd58
TypeInsert ausbessern
2017-08-25 02:59:16 +02:00
JanUlrich
77c59de0f0
Assign ändern. Es gibt jetzt eine AssignLeftSide
2017-08-23 18:28:26 +02:00
Fayez Abu Alia
6e72bbab16
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/gast/abualia/test/JavaCompilerCore into bytecode2
2017-08-23 17:27:23 +02:00
Fayez Abu Alia
43f017a224
Bytecode TEst
2017-08-23 17:26:59 +02:00
JanUlrich
9a7e717c25
Constructor um fieldInits erweitern, auch der TYPE algo
2017-08-23 16:24:25 +02:00
JanUlrich
6b98bf6a58
Feld initialisierungen werden an Konstruktoren angehängt
2017-08-23 03:52:24 +02:00
JanUlrich
bbc61c67a9
TypeInsert Fehler beheben
2017-08-23 01:43:20 +02:00
JanUlrich
1023ed8557
Generics einsetzen
2017-08-22 18:31:07 +02:00
JanUlrich
3274f12922
Fehler in TypeInsert beheben
2017-08-22 16:45:28 +02:00
JanUlrich
52f562b570
DoStmt zu ASTPrinter hinzufügen
2017-08-17 15:58:56 +02:00
FelixKrespach
a9c49676a9
do statement implemented
2017-08-17 15:30:57 +02:00
FelixKrespach
856f9b059d
while Statement implemented
2017-08-17 15:08:30 +02:00
JanUlrich
ae02ee247a
SAT Package erstellen
2017-08-17 15:08:07 +02:00
JanUlrich
0cf8f82283
Remove ClassNotFoundException
2017-08-07 23:51:22 +02:00
1e6f046eff
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
2017-07-14 17:48:04 +02:00
841ac5fcbf
PackageCrawler durch ClassLoader ersetzen
2017-07-14 17:47:02 +02:00
3b95cdd76f
Merge (auweioiwae)
2017-07-14 15:39:16 +02:00
JanUlrich
057df7c702
TypeInsert API anpassen
2017-07-10 21:23:48 +02:00
JanUlrich
86f29f1396
TypeInsert API anpassen
2017-07-09 16:35:33 +02:00
JanUlrich
0f6381f30b
TypeInsert anpassen
2017-07-05 20:09:09 +02:00
JanUlrich
adda1db195
Add parse(String) to Compiler
2017-07-05 18:46:08 +02:00
JanUlrich
2167a4288e
Add possibility to parse a String to parser
2017-07-05 17:52:23 +02:00
JanUlrich
0ad97251ca
Change Parser FileInput to InputStream
2017-07-05 17:50:38 +02:00
JanUlrich
87d2edaaa6
Change TIP creation
2017-07-05 17:42:41 +02:00
JanUlrich
fc6040da39
Fehler in TYPE beseitigen
2017-06-30 13:48:59 +02:00
JanUlrich
d64823ea30
Fehler bei GenericInsertPoints beheben
2017-06-30 12:14:07 +02:00
JanUlrich
3b8ef58222
ASTTypePrinter anfügen
2017-06-30 11:13:15 +02:00
JanUlrich
0aa18c74ba
ASTPrinter verbessern
2017-06-29 01:19:13 +02:00
JanUlrich
726eb60eb3
ASTPrinter einführen
2017-06-28 21:10:28 +02:00
JanUlrich
afd3f32f23
ASTVisitor implementieren
2017-06-28 17:20:26 +02:00
JanUlrich
3173cccefa
Typen einsetzen um Wildcards erweitern
2017-06-26 18:19:56 +02:00
JanUlrich
e6c58d44c2
Type für Return fixen
2017-06-26 16:59:10 +02:00
JanUlrich
1be1bb83ca
FunN-Typen erstellen bei Methodenaufrufen
2017-06-23 21:33:27 +02:00
JanUlrich
2c25e56a76
Einsetzen von Generics korrigieren
2017-06-20 14:50:27 +02:00
JanUlrich
c272688b2d
Fehler beim Ausrechnen zusammenhängender Constraints beheben
2017-06-20 01:14:04 +02:00
JanUlrich
cf6d9880e3
Generische Parameter einsetzen (nur Test, nicht korrekt eingesetzt)
2017-06-15 04:48:53 +02:00
JanUlrich
70ca62202d
Typeinsetzen erweitert
2017-06-15 02:17:46 +02:00
JanUlrich
44481b4140
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
2017-06-14 04:07:43 +02:00
JanUlrich
7a337843e6
Lambda-TYPE anpassen. Beginnen mit TypeInsert
2017-06-14 04:07:27 +02:00
Martin Plümicke
fcca50ed78
modified: .classpath
...
modified: src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java
modified: src/de/dhbwstuttgart/syntaxtree/SourceFile.java
modified: src/de/dhbwstuttgart/syntaxtree/statement/LambdaExpression.java
modified: src/de/dhbwstuttgart/typecheck/GenericTypeName.java
modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPE.java
modified: test/astfactory/ASTFactoryTest.java
imports auskommentiert
2017-06-13 17:38:43 +02:00
JanUlrich
5f31150dc8
TYPE-Algo für LambdaExpression implementieren
2017-06-12 18:57:12 +02:00
JanUlrich
2129299eed
Auto-Keyword an Grammatik anfügen
2017-05-31 17:10:50 +02:00
Jan-Elric Neumann
a48cbae5a5
Removed faulty (and unused import), which prevented ObjectiF from parsing SyntaxTreeNode
2017-05-30 19:40:51 +02:00
Jan-Elric Neumann
b395f6e137
Fixed return type to make code parsable for ObjectiF
2017-05-30 19:38:03 +02:00
JanUlrich
810164ac17
LocalVar bekommt den Typ beim Parsen
2017-05-19 17:40:47 +02:00
JanUlrich
4a52bc0e6e
TypeInsertFactory anfügen, convert UnifyPair->Pair implementieren
2017-05-18 13:17:52 +02:00
JanUlrich
2c999d0eb6
Umstellung auf Visitor Pattern des TYPE-Algos
2017-05-15 13:15:49 +02:00
JanUlrich
058402e056
StatementVisitor einführen
2017-05-11 17:39:48 +02:00
JanUlrich
4261ce2603
Interfaces angefügt. Generierung von Generics im Parser geändert
2017-05-05 16:20:12 +02:00
JanUlrich
a9909d5f32
Merge mit Antlr
2017-04-20 18:55:34 +02:00
JanUlrich
caa7f7deee
Lambdas einführen
2017-04-20 18:51:27 +02:00
Jakob Herrmann
f05222fb56
Some cleanup to be able to recompile, i.e:
...
* Remove handling of superclasses which needs further debugging
* add missing exceptions
* remove ClassFinder as it is not used and needs debugging
2017-04-20 17:15:52 +02:00
Jakob Herrmann
5cc418371d
Main class for JavaTXParser.
2017-04-20 13:47:06 +02:00
JanUlrich
e5d3d67dad
sun.NotImplementedExceptions ersetzen
2017-04-19 15:31:11 +02:00
JanUlrich
3d835304cf
Lambda Ausdruck dem Parser anfügen
2017-04-19 15:26:37 +02:00
JanUlrich
29a17731fd
NewClass Constraints generieren angefügt
2017-04-18 21:06:04 +02:00
Jakob Herrmann
18965e0eda
Simple bash script to compile packages needed for parser.
2017-04-13 15:00:13 +02:00
JanUlrich
af1f7f28e2
New Aufruf im Parser anfügen
2017-04-07 02:33:20 +02:00
JanUlrich
ed56e24ff6
Merge branch 'bigRefactoring' into antlr
2017-04-06 16:20:33 +02:00
Jakob Herrmann
dad08cfa46
PackageCrawler latest version
2017-04-06 16:16:47 +02:00
JanUlrich
f920269e51
@NotNull entfernen
2017-04-06 16:01:32 +02:00
JanUlrich
5d32f20a51
@NotNull entfernen
2017-04-06 16:01:10 +02:00
JanUlrich
42010c5859
NotNull entfernen
2017-04-06 15:35:52 +02:00
JanUlrich
0c4cdd63b5
NotNull entfernen
2017-04-06 15:33:20 +02:00
JanUlrich
561f1d1150
Fehler beim Parsen von Method behoben
2017-04-06 12:12:06 +02:00
JanUlrich
30099f5e50
Parser um Cast erweitern
2017-04-06 11:23:25 +02:00
JanUlrich
de91e49bcc
Fehlendes Return am Ende von Blocks beim Parsen einfügen
2017-03-29 19:44:24 +02:00
JanUlrich
4ecf526b14
Generics anfügen
2017-03-29 17:28:29 +02:00
JanUlrich
56e4192df4
Fehler in JavaClassRegistry.contains fixen
2017-03-22 17:10:51 +01:00
JanUlrich
c480e25805
Bug im convert(Feld) gefixt
2017-03-22 16:16:38 +01:00
JanUlrich
47f1f9ad54
Generics angefügt
2017-03-22 16:05:59 +01:00
JanUlrich
d0eb091666
Unify angefügt
2017-03-17 15:48:06 +01:00
JanUlrich
c8beb9579e
UnifyTypeFactory angefügt
2017-03-16 20:02:53 +01:00
JanUlrich
92c284a04b
Constraints generieren. Fehler beheben
2017-03-15 16:54:43 +01:00
JanUlrich
5fab817154
MethodCall Constraints erstellen
2017-03-15 16:17:07 +01:00
JanUlrich
d9cc613600
JavaClassName nur in der Regestry erstellen
2017-03-09 15:43:13 +01:00
JanUlrich
2cdca93077
ASTFactory erweitert
2017-03-08 17:51:59 +01:00
JanUlrich
9fae52e1e6
Factory angefügt. java.lang.reflect.Modifier benutzen
2017-03-08 03:43:47 +01:00
JanUlrich
4c4c0d5ada
getConstraints() eingeführt
2017-03-06 17:59:01 +01:00
JanUlrich
a44baeaa34
Beginnen mit Typinferenzalgorithmus
2017-03-02 18:16:14 +01:00
JanUlrich
0b17894ed2
Parser erweitert
2017-03-02 16:48:08 +01:00
JanUlrich
52f51c7932
Parser erweitern
2017-03-01 15:34:57 +01:00
JanUlrich
a51cef7100
Merge branch 'antlr' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
2017-02-23 01:11:35 +01:00
Jakob Herrmann
2e9a71a18d
* Implemented recognition of SingleTypeImportDecl (tested).
...
* InvalidClassNameException is thrown if class/package in ImportDecl is
not known.
2017-02-22 21:25:57 +01:00
JanUlrich
fbcb369f1c
Merge branch 'antlr' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
2017-02-22 14:47:53 +01:00
JanUlrich
32d262341a
SyntaxtreeGenerator um einige Regeln zur Erstellung von Statements erweitert
2017-02-22 14:47:34 +01:00
Jakob Herrmann
d5ba34e620
* Extend PackageCrawler
...
* Dummy methods for converting imports
2017-02-22 14:31:59 +01:00
Jakob Herrmann
d63fe45d08
Helper methods to convert type names.
2017-02-22 13:14:32 +01:00
Jakob Herrmann
15f8a1b99d
PackageCrawler: Convert class names to list of strings.
2017-02-22 00:04:16 +01:00
Jakob Herrmann
72bf03ec58
RunParser now reads from file instead of stdin.
2017-02-21 22:19:00 +01:00
JanUlrich
40d87c8636
Method Parsen verbessert
2017-02-17 17:20:50 +01:00
JanUlrich
fb629b417f
FormalParameter convert änderung
2017-02-17 17:08:10 +01:00
JanUlrich
3299f329ea
Method Parameter parsen
2017-02-17 16:58:19 +01:00
JanUlrich
656b014ad4
Parser um return und method call erweitern
2017-02-17 16:34:40 +01:00
JanUlrich
fa4a24c653
Reflections Library anfügen. PackageCrawler anfügen
2017-02-15 16:29:11 +01:00
Jakob Herrmann
d9b81224b6
Notes/Fragen
2017-02-15 13:05:51 +01:00
Jakob Herrmann
b5a2d64a7b
* Some getters in syntaxtree
...
* Extend RunParser (makes problems).
2017-02-15 12:22:06 +01:00
Jakob Herrmann
7f05966093
Idea to resolve the problem with initial fields.
2017-02-15 00:51:34 +01:00
Jakob Herrmann
cca2da8018
Implemented converter for FieldModifier.
2017-02-14 21:37:17 +01:00
Jakob Herrmann
e9e2d5c27b
Generate classes of interface FieldModifier.
2017-02-14 15:26:56 +01:00
JanUlrich
5c36e68825
Merge branch 'antlr' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into antlr
2017-02-10 17:37:56 +01:00
JanUlrich
60a304667a
ANTLR Parser erweitert
2017-02-10 17:37:42 +01:00
Jakob Herrmann
50a618ee4b
SyntaxTreeGenerator.setPackageName() is now used properly.
2017-02-07 22:12:40 +01:00
JanUlrich
8d0f24f2f8
Merge
2017-02-03 15:22:45 +01:00
JanUlrich
d064f16de4
Merge
2017-02-03 15:21:45 +01:00
JanUlrich
39747f4138
ANTLR Parser SyntaxtreeGenerator erweitern.
2017-02-03 15:20:26 +01:00
Jakob Herrmann
ade687483c
Fixed RunParser according to new constructor.
2017-02-01 12:36:23 +01:00
Jakob Herrmann
d55d6734d9
JavaClassRegistry is now required for constructor.
2017-02-01 12:32:20 +01:00
JanUlrich
bee92ef11d
Parser package-Struktur umstellen
2017-01-27 13:20:22 +01:00
JanUlrich
a4dc47cc4e
Merge branch 'antlr' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into antlr
2017-01-20 13:01:08 +01:00
JanUlrich
10ede1ba98
Entfernen von unnötigen ino.* Kommentaren
2017-01-20 13:00:25 +01:00
Jakob Herrmann
a77b65e65c
Extend converter for modifiers by strictfp.
2017-01-18 15:58:34 +01:00
Jakob Herrmann
a1bbd8b11e
Implement Strictfp modifier.
2017-01-18 15:55:07 +01:00
Jakob Herrmann
e8537c3886
TODO cleanup
2017-01-18 15:12:16 +01:00
Jakob Herrmann
c3320858a3
RunParser no handles line breaks.This should also fix problems with
...
comments.
2017-01-18 13:27:17 +01:00
Jakob Herrmann
68476f9f96
* Implemented converter for Modifier.
...
* Missing getters etc. in some classes added.
2017-01-18 00:45:46 +01:00
Jakob Herrmann
fbfa407c26
More converters & cleanup.
2017-01-17 20:59:42 +01:00
Jakob Herrmann
5814cac83f
Start rewriting converters to simplify readability etc.
2017-01-17 12:34:23 +01:00
Jakob Herrmann
9ef41280ca
* Implement missing constructor for Modifiers.
...
* TODO: convert for Modifier
2017-01-17 00:58:03 +01:00
Jakob Herrmann
0db15bffa8
Begin rewriting of convert for TypeDecl.
2017-01-16 23:32:12 +01:00
Jakob Herrmann
4c79023889
Implement base constructor in ClassOrInterface.
2017-01-16 14:28:22 +01:00
Jakob Herrmann
e4e98797fc
Extend constructor of SourceFile.
2017-01-11 16:42:02 +01:00
Jakob Herrmann
647196bf16
* Start implementing "getters and setters" for
...
symtaxtree.ClassOrInterface (=no choice!!!).
* Start implementing converters TypeDeclerytion -> Class.
2017-01-10 23:44:19 +01:00
Jakob Herrmann
3c6ffcf4d8
* "Normal" class and interface names can now be resolved.
...
* TODO: line comments
2017-01-10 22:20:44 +01:00
Jakob Herrmann
fb10220da9
* Set JavaClassName constroctur to public.
...
* Implemented "class resolution" for interfaces.
2017-01-10 20:07:23 +01:00
Jakob Herrmann
599c8b2573
* SyntaxTreeGenerator: Implemented method to get package name of
...
CompilationUnitCtx (ongoing).
* RunParser: test methods
2017-01-10 17:42:20 +01:00
Jakob Herrmann
f0028f6aaf
Minor changes (nameReg/constructor).
2016-12-21 15:49:38 +01:00
JanUlrich
5f61d478fa
Class ändern zu ClassOrInterface
2016-12-21 15:46:28 +01:00
JanUlrich
aed261c807
JavaClassName aufräumen
2016-12-21 15:39:07 +01:00
JanUlrich
3ab96a3ed7
Syntaxbaum bereinigen. Allen Code löschen. Nur Struktur bleibt erhalten
2016-12-16 00:00:37 +01:00
JanUlrich
e84d6373c7
Aufräumen
2016-12-15 17:02:39 +01:00
JanUlrich
a35bcd490b
Merge branch 'antlr' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into antlr
2016-12-15 16:28:26 +01:00
JanUlrich
40ba5fb621
Beispiel für ANTLR Parser
2016-12-15 16:28:12 +01:00
Jakob Herrmann
ad02e94967
notes parse_tree
2016-12-15 16:17:40 +01:00
JanUlrich
c34b3c4c14
Aufräumen
2016-12-15 16:00:28 +01:00
JanUlrich
01a954ca68
TypeCheck package
2016-12-15 15:45:23 +01:00
JanUlrich
5c6b001ae1
Merge branch 'antlr' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into antlr
2016-12-15 15:35:26 +01:00
JanUlrich
fc43cd11da
Aufräumen
2016-12-15 15:35:14 +01:00
Jakob Herrmann
e1d68291c9
Added some basic handling of package declarations.
2016-12-15 15:01:57 +01:00
Jakob Herrmann
b0a6585252
Small changes, i.e. RunParser now reads from System.in.
2016-12-15 13:35:07 +01:00
Jakob Herrmann
81e223334b
Created RunParser which is supposed the main class (still rather
...
experimental).
2016-12-15 12:05:23 +01:00
Jakob Herrmann
82a1e86186
* Started implementing CompilationUnitEvaluator.java which is supposed to be the base
...
class for syntax tree construction.
* Deleted JavaClassName and JavaClassRegistry as they cannot be compiled
so far (backups exist).
2016-12-15 11:21:33 +01:00
JanUlrich
aff39ba442
Type löschen
2016-12-09 04:34:50 +01:00
JanUlrich
343c7d3a55
Merge branch 'antlr' of /home/janulrich/Development/intellijworkspace/../eclipseworkspace/eclipseWorkspaceHorb/JavaCompilerCore into antlr
2016-12-07 14:32:56 +01:00
JanUlrich
c1cbb78fe5
Aufräumen
2016-12-07 14:32:48 +01:00
JanUlrich
4e43de987d
Merge branch 'antlr' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into antlr
2016-12-07 14:06:19 +01:00
JanUlrich
717fd5d53e
Field anpassen
2016-12-02 01:23:01 +01:00
Jakob Herrmann
d9e6ef6e47
Parser now handles untyped method declarations but this needs further
...
inspection as constructors are not handled properly.
2016-11-29 21:08:53 +01:00
Jakob Herrmann
b2e5555da5
Grammar now supports untyped parameters in method declarations.
2016-11-29 19:46:07 +01:00
Jakob Herrmann
c5ea9a3464
Grammar now supports untyped field declarations.
2016-11-29 18:34:33 +01:00
Jakob Herrmann
52a5e54c3a
Recompile grammer due to some technical problems.
2016-11-29 18:31:50 +01:00
Jakob Herrmann
264ede100c
Create list with notes/questions/problems.
2016-11-23 00:43:57 +01:00
JanUlrich
d651a6cdff
Parser austauschen
2016-11-16 14:51:45 +01:00
JanUlrich
c9e3743fb5
Merge branch 'antlr' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into antlr
2016-11-16 14:33:38 +01:00
Jakob Herrmann
7d38c9af43
Added package declaration to sources.
2016-11-16 14:32:51 +01:00
JanUlrich
90b6e81195
Merge branch 'antlr' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into antlr
2016-11-16 14:17:47 +01:00
JanUlrich
7606aee9c3
Unnötige Datein in bin löschen
2016-11-16 14:17:38 +01:00
Jakob Herrmann
7504211df2
* Add base antlr grammer and corresponding classes.
...
* Add antlr4 runtime library.
2016-11-16 14:09:33 +01:00
JanUlrich
6a4cb673bf
Mergen... (nicht fertig)
2016-11-11 11:01:55 +01:00
JanUlrich
accbe5bbfc
Beginnen der BytecodeTypeFactory
2016-11-09 16:59:08 +01:00
JanUlrich
c4aff43f71
NameGenerator einführen
2016-10-28 18:32:05 +02:00
JanUlrich
107201c00c
Fehler in FunN Generierung beheben
2016-10-28 18:31:42 +02:00
JanUlrich
e60e6b622c
Bugfix
2016-10-07 14:12:18 +02:00
JanUlrich
b05b0ea5df
Syntaxbaum anpassen
2016-09-30 12:46:02 +02:00
JanUlrich
a1227a8b1b
Expr und ExprStmt ändern
2016-09-20 15:18:13 +02:00
JanUlrich
a5c34896ba
Fehler in Lambda-Generierung fixen
2016-09-16 14:26:18 +02:00
JanUlrich
bc812ad083
Aufräumen
2016-09-16 13:25:20 +02:00
JanUlrich
1ac500715b
Aufräumen
2016-09-13 17:32:22 +02:00
JanUlrich
5be508e943
Beginnen der AST Anpassungen für das ANTLR-Projekt. Constructor-Aufrufe ändern. UsedID entfernen. parserPostProcessing entfernen. Anpassungen am AST Layout.
2016-09-10 00:40:17 +02:00
JanUlrich
aa6a6beb93
StackMapTable-Fix
2016-08-25 19:52:06 +02:00
JanUlrich
dbe09c237c
Lambda Bytecodegenerierung implementieren
2016-08-17 00:45:14 +02:00
JanUlrich
25329cd39e
Einführen von BCEL 6.1
2016-07-21 16:36:33 +02:00
JanUlrich
5aebc06337
Fehlerhaften Filter auslassen
2016-07-21 16:20:37 +02:00
JanUlrich
0896cf8236
StackMapTable funktioniert
2016-07-11 20:23:36 +02:00
JanUlrich
81c8764fc6
Aufräumen, neue BCEL-Version
2016-06-23 16:49:30 +02:00
JanUlrich
eb0da3c36a
Aufräumen, neues Eclipse-Projekt anlegen
2016-06-22 20:29:16 +02:00
JanUlrich
e19dee4c99
Umstellung auf Intellij IDEA
2016-06-17 13:55:14 +02:00
JanUlrich
9d9526ae72
Testen von StackMapTable-Generator
2016-06-15 20:58:55 +02:00
JanUlrich
86a94dfae9
Merge branch 'unify' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring
2016-06-03 13:47:37 +02:00
JanUlrich
fe35a1f56d
Merge mit bytecode
2016-06-03 13:47:22 +02:00
b6df854cc6
Stack wird pro Methode behandelt
2016-05-26 11:02:02 +02:00
JanUlrich
52b6f438b0
Merge mit Bytecode
2016-05-25 18:18:05 +02:00
JanUlrich
07ea25b5b7
Filtern von Constraints vor dem Karthesischen Produkt bilden
2016-05-25 17:46:33 +02:00
JanUlrich
0d51c3e94d
Bug 49 und 52 fix
2016-05-24 00:36:59 +02:00
JanUlrich
b67816775e
Merge branch 'refactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring
2016-05-12 19:48:39 +02:00
JanUlrich
748f25a2fd
gen-TPH richtig konvertieren
2016-05-12 19:48:19 +02:00
Florian Steurer
318f6e1cc5
code review todos erledigt
2016-05-06 16:59:59 +02:00
Martin Plümicke
223f6facc7
modified: ../../../src/de/dhbwstuttgart/bytecode/ClassGenerator.java
...
in addMethod :
String methodNameAndTypes = m.getName()+Arrays.toString(m.getArgumentTypes());
durch
String methodNameAndTypes = m.getReturnType().getSignature()+m.getName()+Arrays.toString(m.getArgumentTypes());
ersetzt
modified: OL.jav
Main-Klasse hinzugefuegt
2016-05-04 00:28:57 +02:00
JanUlrich
edda41f546
Generic Type Var werden zu PlaceholderTypen konvertiert
2016-05-03 22:43:43 +02:00
JanUlrich
5d760d4222
Aufruf im UnifyTest OverloadingVector ändern
2016-05-03 22:15:19 +02:00
Florian Steurer
005ed60c26
fixed vector
2016-05-03 21:07:52 +02:00
Florian Steurer
78794e377a
fixed vector
2016-05-03 20:44:55 +02:00
ae01af7a40
Bugfix: OverloadingTest
2016-05-03 18:15:14 +02:00
JanUlrich
db93a1dfe1
Void Reference-Typen wieder zu Void RefTypes konvertieren
2016-05-03 13:58:54 +02:00
Florian Steurer
84176275be
Merge branch 'unify' of ssh://i13029@gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify
2016-05-03 13:43:16 +02:00
Florian Steurer
da49e42515
fixed long running times for lambda tests
2016-05-03 13:42:14 +02:00
JanUlrich
dc52dc5dec
Merge branch 'bytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode
2016-05-03 12:47:35 +02:00
JanUlrich
ca8952a43c
Void Reference-Typen wieder zu Void RefTypes konvertieren
2016-05-03 12:46:32 +02:00
JanUlrich
4a6a8d62e3
Merge branch 'unify' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring
2016-05-03 12:42:04 +02:00
Florian Steurer
4f265b56a4
big refactoring of smaller and greater
2016-04-30 19:35:34 +02:00
e5fc8c8288
- Div und MulOperatoren für alle numerischen Datentypen implementiert (Nur wenn beide Operanten den gleichen Typ haben)
2016-04-30 11:14:24 +02:00
JanUlrich
c2d3fce75e
FormalParameter getDiscription Fix
2016-04-29 16:52:35 +02:00
JanUlrich
8134bbb297
Merge branch 'bytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring
2016-04-29 16:03:50 +02:00
JanUlrich
46f1134bad
Aufräumen
2016-04-29 16:03:38 +02:00
32741f41e9
- Addition für alle Typen implementiert
...
- Mehrere Klassen in einer jav Datei möglich
- OLTest läuft
2016-04-29 15:52:20 +02:00
JanUlrich
d03e20df90
FunN Typen konvertieren. FunVoidN Typen werden nicht mehr benutzt
2016-04-29 15:23:42 +02:00
JanUlrich
d19414c513
Merge mit Bytecode
2016-04-29 14:05:25 +02:00
ba6ae74ad1
-Tests für for und While Schleife korrigiert
...
- While teilweise implementiert
2016-04-29 10:00:33 +02:00
JanUlrich
324864f8d8
FunN Typen werden zu den entsprechenden UnifyTypen konvertiert
2016-04-29 04:00:46 +02:00
JanUlrich
f2410154aa
Merge branch 'unify' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring
2016-04-29 03:09:31 +02:00
Florian Steurer
b39dedb9aa
added application of funN Rules
2016-04-28 21:33:33 +02:00
Florian Steurer
7c0a91e624
unitTest for lambda6, alternative sequential execution, minor bugs
2016-04-28 21:24:52 +02:00
Florian Steurer
c043717c06
removed todo
2016-04-28 21:04:58 +02:00
JanUlrich
9a51e79f2a
Merge branch 'unify' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring
2016-04-28 16:42:16 +02:00
JanUlrich
a31e7b1108
BCEL Framework aktualisiert. FunN Typen implementieren
2016-04-28 15:32:12 +02:00
b3e13d09b9
- Alle Operatoren implementiert
...
- Tests für Sub, Mul, Div
2016-04-27 15:08:17 +02:00
5ac19d7a59
- args_size bugfix
2016-04-26 16:15:53 +02:00
8bda352bc9
- Method refactored
2016-04-25 14:58:52 +02:00
Florian Steurer
856f5da86b
Parallelisierung mit Fork-Join Pool
2016-04-22 16:52:16 +02:00
Florian Steurer
7d75f18319
Parallelisierung mit Fork-Join Pool
2016-04-22 16:51:05 +02:00
Florian Steurer
8fa8fc8758
comment
2016-04-22 16:11:18 +02:00
Florian Steurer
752723020e
pipe execution
2016-04-22 15:45:20 +02:00
Florian Steurer
6eb7f2d1bb
removed creation of new strings
2016-04-22 10:24:33 +02:00
Florian Steurer
7b6b720b57
memory optimization
2016-04-21 22:31:36 +02:00
Florian Steurer
bb8df92cba
equals / hashcode optimization
2016-04-21 22:19:48 +02:00
Florian Steurer
b8415b122b
stringbuilder in logger
2016-04-21 20:26:33 +02:00
JanUlrich
629d2dcc4d
Merge branch 'unify' into refactoring
2016-04-21 14:27:49 +02:00
JanUlrich
16cbf8e1b7
Fehler bei TPH Generierung behoben
2016-04-21 14:27:32 +02:00
JanUlrich
0ca4f16c49
Merge branch 'unify' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify
2016-04-21 13:25:04 +02:00
Florian Steurer
1a32ea9ce9
size of unify result
2016-04-20 18:38:20 +02:00
JanUlrich
1afe2d4d5c
Unnötige Kommentare löschen
2016-04-20 18:04:28 +02:00
Florian Steurer
d8feb04938
time log
2016-04-20 17:10:26 +02:00
JanUlrich
e08485740f
Merge branch 'unify' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring
2016-04-20 14:48:03 +02:00
Florian Steurer
8780d5d47a
option for parallelization
2016-04-20 12:15:04 +02:00
Florian Steurer
863bfa40d3
performance opt
2016-04-20 11:34:40 +02:00
Florian Steurer
6a42c8ef11
performance optimization
2016-04-20 11:25:45 +02:00
JanUlrich
07d63a9586
Merge mit bytecode
2016-04-19 16:59:59 +02:00
JanUlrich
fcbd05fa9c
Im Unify generierte TPH beachten
2016-04-19 15:27:46 +02:00
JanUlrich
a8f18e77be
Merge branch 'unify' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify
2016-04-19 12:58:00 +02:00
Florian Steurer
904ca01207
cleaned up
2016-04-19 11:42:15 +02:00
JanUlrich
b70dc71a62
Convert zu FunNTypen hinzufügen
2016-04-18 15:38:47 +02:00
Florian Steurer
afc6bc7b89
neue abbruchbedingung
2016-04-14 15:15:21 +02:00
Florian Steurer
fbcd0cd8a5
Merge branch 'unify' of ssh://i13029@gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify
2016-04-14 14:56:24 +02:00
Florian Steurer
12abb0b34d
reduced cases of cart product
2016-04-14 14:54:59 +02:00
65a1038574
- Speichern einer lokalen Variable unter Verwenung der InstructionFactory
2016-04-14 14:53:18 +02:00
JanUlrich
9e114207ce
Fehler mit SMALLER und SMALLERDOT behoben
2016-04-14 14:50:31 +02:00
a23f77c337
-Test für Variablen erstellt
2016-04-14 14:36:18 +02:00
JanUlrich
3cd7dba316
Merge branch 'unify' into refactoring
2016-04-14 14:03:15 +02:00
9a07201498
And, Or, Plus Operator implementiert
2016-04-14 12:00:15 +02:00
dfe79a8030
Equal Operator implementiert
2016-04-13 19:31:35 +02:00
Florian Steurer
e8c46dcdbd
rename unify to typeUnify
2016-04-13 18:32:09 +02:00
Florian Steurer
558a873e68
commenting
2016-04-13 11:58:33 +02:00
Florian Steurer
b1febd7a50
commenting refactoring
2016-04-13 11:38:07 +02:00
Florian Steurer
ae9220c04b
made the ruleSet interface functional (added fc in arguments)
2016-04-13 11:13:20 +02:00
11e149110a
- OLTest verbessert, ist aber nicht positiv, da Autoboxing fehlt
2016-04-12 20:06:22 +02:00
Florian Steurer
d8e7df425d
refactoring
2016-04-12 15:47:38 +02:00
Florian Steurer
27f6abefe8
commenting and refactoring
2016-04-12 15:43:32 +02:00
Florian Steurer
ba636e1da0
fixed bug in standard unify
2016-04-12 15:17:12 +02:00
JanUlrich
4173733ada
Merge branch 'unify' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring
2016-04-12 14:00:53 +02:00
Florian Steurer
1b9a9c0841
commenting / refactoring
2016-04-12 13:39:08 +02:00
Florian Steurer
ff0d1e907f
fixed flattening of sets
2016-04-12 13:21:17 +02:00
JanUlrich
7a47de7bfa
Merge branch 'bytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring
2016-04-12 12:14:38 +02:00
JanUlrich
b0aeaae80e
Merge branch 'unify' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring
2016-04-12 11:54:46 +02:00
Florian Steurer
f8d7a95731
commenting
2016-04-12 11:36:43 +02:00
Florian Steurer
8b6a4d1746
refactoring and commenting
2016-04-12 11:28:07 +02:00
Florian Steurer
a16e62f4bd
refactoring and commenting
2016-04-12 11:18:55 +02:00
Florian Steurer
ea32cd5680
commenting and refactoring
2016-04-12 11:12:57 +02:00
Florian Steurer
1e96811127
refactoring and commenting
2016-04-12 10:54:17 +02:00
JanUlrich
f630f93a3d
Debug Ausgabe anfügen
2016-04-12 10:06:58 +02:00
JanUlrich
3bb2153b6a
Java Parser an umbenennung anpassen
2016-04-11 18:36:43 +02:00
JanUlrich
6cc0d462ab
Merge branch 'unify' into refactoring
2016-04-11 18:35:50 +02:00
JanUlrich
df1881bf41
Merge branch 'bytecode' into refactoring
2016-04-11 18:35:44 +02:00
JanUlrich
de238b90df
Assumptions erweitern
2016-04-11 18:35:18 +02:00
Florian Steurer
55f288022a
commenting, refactoring
2016-04-11 16:31:55 +02:00
Florian Steurer
0313d297e1
comments and refactoring
2016-04-11 16:26:59 +02:00
Florian Steurer
044e6fbc3f
comments & refactoring
2016-04-11 16:05:36 +02:00
Florian Steurer
aa692c2f25
comments
2016-04-11 15:30:01 +02:00
Florian Steurer
6616d78dcb
.
2016-04-11 09:56:29 +02:00
Florian Steurer
5dd90cb30c
refactored standard unification
2016-04-11 09:56:06 +02:00
Florian Steurer
64247b689b
signature from getLeftHandedType from type to string
2016-04-10 14:52:07 +02:00
Florian Steurer
23e0be2572
extended all cases / fixed random placeholder generation
2016-04-09 15:07:41 +02:00
Florian Steurer
d080eb4a0a
extended case 6
2016-04-08 18:48:35 +02:00
Florian Steurer
41b3e4f6c2
extended case 5
2016-04-08 18:28:34 +02:00
Florian Steurer
5c73224f8f
support for extended case 1 // tests // bugfix in "big" cases
2016-04-08 18:04:11 +02:00
Florian Steurer
b7f41c4d13
funN greater
2016-04-07 22:30:30 +02:00
Florian Steurer
53cfb4b046
Support for FunN in FC added // swap for unifiers
2016-04-07 22:24:35 +02:00
b707a0f03e
Bugfix: Methodenparameter
2016-04-07 15:44:29 +02:00
JanUlrich
d3ebee1b3c
Merge branch 'bytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring
2016-04-07 14:55:46 +02:00
45cad9f675
- getDescription ist nicht die Descripiton im Bytecode
2016-04-07 14:53:29 +02:00
JanUlrich
74c2b5e323
Merge branch 'bytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring
2016-04-07 14:52:04 +02:00
JanUlrich
e537a76cd9
Merge branch 'unify' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring
2016-04-07 14:39:15 +02:00
JanUlrich
44318ee5d8
Aufräumen
2016-04-07 14:39:07 +02:00
Florian Steurer
8d69f6c82b
adapt rule fixed
2016-04-07 14:30:23 +02:00
7b78cf8471
Bugfix: Store and Load
2016-04-07 12:19:42 +02:00
JanUlrich
3a8f1252a4
Merge branch 'bytecode' into refactoring
2016-04-06 14:23:26 +02:00
JanUlrich
e1c925b9bc
Unnötige Kommentare löschen
2016-04-06 12:42:15 +02:00
Florian Steurer
6793b0bd24
rename mpair to unify pair / refactoring
2016-04-04 11:23:14 +02:00
Florian Steurer
2e30429252
added wildcardtype
2016-04-04 10:18:34 +02:00
Florian Steurer
20d1106e07
refactored Types //
2016-04-03 22:43:55 +02:00
Florian Steurer
6c2d71d005
random with seed
2016-04-03 17:36:44 +02:00
Florian Steurer
0d5b515a47
added extra set level / fixed subst rule bug /
2016-04-03 16:53:45 +02:00
Florian Steurer
b12f301656
Merge branch 'unify' of ssh://i13029@gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify
2016-04-02 11:29:43 +02:00
Florian Steurer
0be7534b98
.
2016-04-02 11:29:31 +02:00
JanUlrich
a3e7b4567a
Merge mit refactoring
2016-04-01 18:21:51 +02:00
JanUlrich
4cdcde8fef
Neuen Unify Algorithmus eingebaut
2016-04-01 16:12:30 +02:00
Florian Steurer
d89d06797e
isInSolvedForm(), Unit-Tests, removed PairOp.Equals
2016-03-31 22:09:46 +02:00
098cafac00
- IdentityFieldTest erstellt
2016-03-31 18:08:48 +02:00
JanUlrich
4deb91b99f
Merge branch 'bytecode' into refactoring
2016-03-31 11:50:53 +02:00
8d8e27c84c
- Bugfix new Statement, Deskription darf nicht mit Semikolon enden
2016-03-31 08:52:23 +02:00
JanUlrich
e2d384e7f9
Merge mit Unify und Einbinden der neuen Unifizierung. Nich lauffähige Version
2016-03-30 18:16:27 +02:00
Florian Steurer
304a5693a6
wc regeln angepasst, triviale tests fertig
2016-03-30 16:25:26 +02:00
5b07d58093
- Klassenvariable ohne Wert
2016-03-30 10:14:05 +02:00
b51079280e
- New Statement, Problem Syntax des Klassennamens
2016-03-30 10:09:17 +02:00
Florian Steurer
23142adc70
reduce rules
2016-03-29 17:52:38 +02:00
JanUlrich
43a8c9e647
Umstellung auf MPair beginnen
2016-03-29 13:23:15 +02:00
JanUlrich
fa337c5546
Umstellung auf MPair beginnen
2016-03-29 13:23:05 +02:00
Florian Steurer
639ac8430c
adapted adaptRules
2016-03-28 20:56:24 +02:00
Florian Steurer
332dd57de3
greater und testy
2016-03-28 15:00:34 +02:00
Florian Steurer
ac3ce7d214
smaller
2016-03-28 11:40:21 +02:00
b4d7ab02eb
- UnitTest für MultiExtends Problem
...
- Verhindern von doppelten Methoden von Class -> ClassGen
2016-03-28 10:33:04 +02:00
Florian Steurer
26cc9b85ef
smalller und neue testcases
2016-03-28 01:01:46 +02:00
Florian Steurer
5e18496847
smaller and test cases
2016-03-26 12:59:38 +01:00
Florian Steurer
bbfd8699e8
smaller / smArg / grArg / TODO: greater
2016-03-26 00:03:26 +01:00
JanUlrich
ad2804fab9
Umstellung auf MPair beginnen
2016-03-24 11:57:31 +01:00
JanUlrich
1e9d0517f2
Umstellung auf MPair beginnen
2016-03-24 11:57:17 +01:00
Florian Steurer
a5b86dc84c
freshPlaceholder / implemented funn rules
2016-03-23 11:44:31 +01:00
Florian Steurer
11bcf5735a
freshPlaceholder Method // funN rules (not implemented yet)
2016-03-23 10:59:41 +01:00
Florian Steurer
88726ccb70
added funN
2016-03-23 09:45:36 +01:00
Florian Steurer
14e00913e8
application of new rules
2016-03-22 20:47:39 +01:00
Florian Steurer
0e524caae7
Added missing rules
2016-03-22 20:41:24 +01:00
JanUlrich
f788b74f26
Merge mit Unify und Bytecode
2016-03-22 15:13:51 +01:00
JanUlrich
47c9be5488
Aufräumen
2016-03-22 13:17:56 +01:00
c80dc162d9
- Verhindern von der Generierung von doppelte Methoden
2016-03-20 18:55:36 +01:00
Florian Steurer
21c6aef7fd
cartesische produkte überarbeitet
2016-03-20 18:05:34 +01:00
Florian Steurer
299f8f56ca
added missing cases
2016-03-20 15:09:12 +01:00
JanUlrich
1f825360df
Test GenerateFiniteClosure anfügen
2016-03-17 16:54:43 +01:00
Florian Steurer
fa9627b883
unify case 1
2016-03-17 16:35:33 +01:00
Florian Steurer
d19a79bd63
finite closure greater smaller funktioniert jetzt auch mit wildcards
...
(muss noch getestet werden)
2016-03-16 23:27:45 +01:00
JanUlrich
1762101330
Type Factory in unifyNew bewegen
2016-03-16 14:56:02 +01:00
JanUlrich
e061dea7f5
Aufräumen SourceFile
2016-03-16 14:54:41 +01:00
JanUlrich
a8d8dec899
Merge branch 'unify' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into refactoring
2016-03-15 13:57:21 +01:00
Florian Steurer
6acc3c1366
step 4 rule 1
2016-03-14 14:46:10 +01:00
Florian Steurer
863904a4e8
unifier fixed (no iterated application necessary anymore)
2016-03-14 12:59:31 +01:00
Florian Steurer
6778160315
various
2016-03-13 23:01:28 +01:00
Florian Steurer
27acee3385
standard martelli montanari unifiy fixed
2016-03-13 16:00:00 +01:00
JanUlrich
b1d6b44fb9
BCEL Library aktualisiert, Stackmaptable angefügt, Tests angepasst
2016-03-10 15:28:03 +01:00
JanUlrich
a4ea466fe6
Methode generiert StackMapTable
2016-02-18 18:28:08 +01:00
JanUlrich
7c00940cba
Merge branch 'unify' into refactoring
2016-01-12 13:32:45 +01:00
Florian Steurer
bdd018d922
regel 4 für paare (a <. Theta') (funktioniert zu 99 Prozent noch nicht
...
richtig)
2015-12-27 15:01:59 +01:00
Florian Steurer
98cbe9b389
package rename + Mapping Klasse
2015-12-27 00:29:23 +01:00
Florian Steurer
039dd3b3f4
step 5 and 6 implemented
2015-12-26 18:49:11 +01:00
Florian Steurer
8eecda2a8f
subst rule
2015-12-26 16:52:18 +01:00
Florian Steurer
3ff45a01de
fixed cartesian products in step 4
2015-12-26 16:22:35 +01:00
Florian Steurer
264910bfa4
tests
2015-12-23 22:53:24 +01:00
Florian Steurer
89b53351ce
martelli montanari unifikation
2015-12-23 13:25:43 +01:00
Florian Steurer
ab7f56db6f
martelli montanari unification (unfinished)
2015-12-21 15:44:13 +01:00
JanUlrich
ac42bdf0a2
Merge mit Unify und Bytecode
2015-12-11 15:44:44 +01:00
JanUlrich
bb165e007d
Filter entfernen
2015-12-08 15:48:35 +01:00
JanUlrich
5f428894ea
Merge mit bytecode
2015-12-08 13:34:16 +01:00
116232df57
AutoOverloadingVector Test hinzugefügt
2015-12-05 15:15:28 +01:00
Florian Steurer
53dd7b019e
cartesian products
2015-11-27 19:52:59 +01:00
3c80cb275b
Doppelte Methodengenerierungen verhindert
2015-11-27 18:10:46 +01:00
JanUlrich
1017b02704
Fehler in Bytecodegen der Methode beheben
2015-11-27 16:53:01 +01:00
dd478961e2
TypeinferenceResultSet von ClassGenerator getrennt
2015-11-27 16:10:35 +01:00
JanUlrich
141e952c7a
Merge mit refactoring
2015-11-27 15:47:09 +01:00
8ae7bda535
Mehrere Lösungen in einer Classfile
2015-11-25 10:41:57 +01:00
a27b4f9d3b
Mehrere Lösungen in einer Classfile
2015-11-25 10:23:06 +01:00
e4374c06fd
Mehrere Lösungen in einer Classfile
2015-11-25 09:41:26 +01:00
Florian Steurer
97e0e2fc72
unifyTest
2015-11-23 01:03:01 +01:00
Florian Steurer
7ff9554d78
application of adaptRules
2015-11-23 00:15:12 +01:00
Florian Steurer
4576efe3ec
implemented step 4 (some cases still missing)
2015-11-23 00:12:08 +01:00
Florian Steurer
e2ba4490b1
step 4 grundgerüst
2015-11-22 21:57:16 +01:00
Florian Steurer
6fd382580a
Fixed AdaptSup
2015-11-22 15:58:10 +01:00
Florian Steurer
9552831d4e
AdaptExt and Sup revisit
2015-11-22 15:54:18 +01:00
Florian Steurer
3f4f2cd27b
adapt revisit
2015-11-22 15:26:17 +01:00
2958c52610
NewClass Statement
2015-11-18 18:10:29 +01:00
fc03a744fe
Ünnötige Tests gelöscht
...
Tests die noch nicht laufen können Ignoriert
2015-11-17 17:35:17 +01:00
Florian Steurer
be6a719433
adaptSup + tests
2015-11-15 18:39:22 +01:00
Florian Steurer
c45c426011
unifier
2015-11-15 18:09:21 +01:00
Florian Steurer
ae37dd6255
fc identifier from string to type
2015-11-15 18:08:46 +01:00
Florian Steurer
480c7dca61
adaptExt + tests
2015-11-15 15:06:34 +01:00
Florian Steurer
e447e1cd46
adapt + tests
2015-11-15 14:39:08 +01:00
Florian Steurer
3739747eca
adapt
2015-11-14 18:51:46 +01:00
Florian Steurer
82c0736fee
adapt Rule
2015-11-13 23:24:22 +01:00
Florian Steurer
8a40acb73e
application of unifiers
2015-11-13 23:17:14 +01:00
Florian Steurer
fd5902f6dd
stricter equality condition for typeParams
2015-11-13 22:49:26 +01:00
Florian Steurer
9f37139ab3
real immutability
2015-11-13 22:45:13 +01:00
JanUlrich
ed246e0f88
Fehler in NewClass und Constructor beheben
2015-11-13 16:29:41 +01:00
JanUlrich
c646a34745
Fehler durch Änderung von Unify beheben. Merge mit bytecode
2015-11-13 13:11:10 +01:00
JanUlrich
b8c0d87056
Unify auf commit 144c31a4cb ändern
2015-11-13 12:55:34 +01:00
61891177a1
BytecodeTests erweitert
...
ASTFacotry überarbeitet
2015-11-12 14:50:27 +01:00
Florian Steurer
c83697dedb
Unfifier
2015-11-09 14:39:26 +01:00
54a11c8779
Mehrere Lösungen in einer Class file
2015-11-09 09:38:49 +01:00
Florian Steurer
eeba9fb734
reduceSup Test
2015-11-08 22:21:28 +01:00
Florian Steurer
176ec7b707
subst rule interface
2015-11-08 21:30:17 +01:00
Florian Steurer
777a9b5beb
reduce1 and reduceEq Tests
2015-11-08 21:23:20 +01:00
Florian Steurer
b3514a8375
reduceUp and reduceLow tests
2015-11-08 17:02:25 +01:00
Florian Steurer
2eb11748ca
erase1 and erase2 tests
2015-11-08 16:29:40 +01:00
Florian Steurer
1b1fae6b13
swap rule test
2015-11-07 20:37:29 +01:00
Florian Steurer
84641d4abf
application of the rules
2015-11-07 18:03:21 +01:00
Florian Steurer
a263ba5fd4
reduceSup
2015-11-07 16:49:20 +01:00
Florian Steurer
e49c2a35de
implemented grArg and smArg
2015-11-07 14:53:23 +01:00
Florian Steurer
28e0e8e94d
visitor pattern for grarg smarg
2015-11-07 14:35:54 +01:00
Florian Steurer
6b709f0198
fc smaller greater tests
2015-11-07 13:57:54 +01:00
Florian Steurer
b93f1dd376
fixed greater()
2015-11-07 11:47:54 +01:00
Florian Steurer
c08a8fd347
reduceExt
2015-11-07 11:41:06 +01:00
Florian Steurer
2483044e0c
rules
2015-11-07 10:57:17 +01:00
Florian Steurer
a86b70e672
reduce1 regel
2015-11-06 21:02:43 +01:00
JanUlrich
0048d5f305
NewStatement bytecode
2015-11-06 18:27:47 +01:00
87e49a692a
Vorbereitung für "Mehrere Lösungen in einer Classfile"
2015-11-06 16:42:22 +01:00
Florian Steurer
92d81ac097
rules
2015-11-01 22:12:41 +01:00
947d145cf1
New Instruction implementier, ArgumentList fehlt noch
2015-10-31 18:48:46 +01:00
e9607e37b1
ASTFactory createClass setzt SuperType
...
GenericClass erhält richtigen SuperType
Tests für ? extends und ? super angelegt
2015-10-30 12:29:43 +01:00
64dce5d814
Parent von Class ist Sourcefile
2015-10-29 17:18:15 +01:00
JanUlrich
50916b5db2
SourceFile als Parent für Class.parserPostProcessing
2015-10-29 17:00:39 +01:00
ce52fd8904
ConsoleInterface an neue CompilerApi angepasst
...
RefType getBytecodeSignature unterscheidet zwischen RefType und TypePlacholder
Abstrakte ByteCodeTest Klasse um getClassLoader erweitert
Alle BytecodeTypeTests angepasst
2015-10-27 15:14:52 +01:00
12093f2fc7
Signatur ist das gleiche wie Description
2015-10-27 13:27:00 +01:00
Florian Steurer
931fb01d74
finite closure
2015-10-25 11:12:36 +01:00
Florian Steurer
11fc7a4512
.
2015-10-24 20:32:05 +02:00
Florian Steurer
5f9452cfda
commenting and rule application
2015-10-24 19:46:51 +02:00
Florian Steurer
4539faf241
hashcodes and work on Mpair
2015-10-24 19:05:48 +02:00
Florian Steurer
3d38ea2e08
hashcode, equals and compareTo
2015-10-24 18:53:11 +02:00
Florian Steurer
b0153be1cd
.
2015-10-24 17:47:46 +02:00
JanUlrich
040a1f4088
Merge mit unify
2015-10-23 18:07:37 +02:00
0dcb36f49e
JavaClassName hack entfernt
2015-10-23 16:30:07 +02:00
47361ca22c
Merge branch 'bytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode
...
# Conflicts:
# src/de/dhbwstuttgart/syntaxtree/Class.java
2015-10-23 16:26:25 +02:00
b99f1bc3c9
JavaClassName: Hack damit Object zu java.lang.Object wird. Muss unbedingt anders gelöst werden
2015-10-23 16:23:20 +02:00
JanUlrich
36a3aeddb3
main-Methode in .jav Files möglich
2015-10-23 16:22:44 +02:00
JanUlrich
ca447fd44e
Merge mit unify und bytecode
2015-10-23 15:14:18 +02:00
JanUlrich
05187aa49f
Merge mit bytecode
2015-10-23 14:44:55 +02:00
JanUlrich
eda270d451
Nachträglich Fehler beheben
2015-10-23 14:13:17 +02:00
JanUlrich
f16171a8f6
Object zu java.lang.Object als Superklasse von Class im Standardkonstruktor ändern
2015-10-23 11:48:35 +02:00
77c06225a6
Constructor ist von Type Void
2015-10-23 10:56:56 +02:00
fab73a4d62
ASTFactory.createClass gibt eine Class statt ClassGenerator zurück
2015-10-23 10:46:55 +02:00
422f3b4144
ASTFactory createClass
2015-10-23 10:43:48 +02:00
bfb00ac1d1
ClassGenerator hat eine Map von zusätzlichen Klassen die generiert werden müssen
...
MyCompiler und MyCompilerApi aufgeräumt
ASTFactory Klasse angefangen
2015-10-22 20:40:33 +02:00
JanUlrich
66b37482db
Support für eindimensionale Arrays von RefTypes angefügt
2015-10-22 16:46:06 +02:00
632c2ca508
Genericklassen für Superklassen, Fieldtypes und Methodenparameter werden generiert
2015-10-20 15:58:39 +02:00
bafffe26ad
Generierung von Generic Klasse auskommentiert
2015-10-20 14:07:57 +02:00
50dda3041f
Beginn der Generierung der GenericKlasse, Problem ist der Konstruktor, dieser wird auf Objekt aufgerufen und nicht auf der SUperklasse
2015-10-16 15:15:30 +02:00
6a8590ab0d
FreshWildcardType muss von ObjectType ableiten, damit der Unifikationsalgorithmus funktioniert
2015-10-16 13:22:08 +02:00
1a07c186a6
generateBytecode von Class gibt eine Menge an ByteCodeResults zurück, wird benötigt um zusätzliche Klassen anzulegen
2015-10-16 10:39:34 +02:00
3a18088801
Erste Änderung an RefType
...
Tests für Extends angelegt
2015-10-15 22:16:18 +02:00
4f1c02834d
Merge branch 'bytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode
2015-10-15 17:46:20 +02:00
d6fb9ff2c7
ConditionTest angelegt
...
ForTest gefixed
2015-10-15 17:46:13 +02:00
JanUlrich
a541b353cd
Änderungen an IFStmt
2015-10-15 16:15:13 +02:00
bcbe82c64e
Tests für verschiedene Statements angelegt
...
If, IfElse Implementiert
Fehlende Interface Implementierungen mit NotImplementedException hinzugefügt
2015-10-13 19:25:51 +02:00
JanUlrich
29dea524a5
Experimenteller Status. Änderungen an ClassSignatur Generierung
2015-09-29 00:28:59 +02:00
JanUlrich
1371220249
Fehler in TypeDeplyment behoben
2015-09-28 16:35:01 +02:00
JanUlrich
46291a6056
Bug 23 gefixt.
2015-09-24 15:26:34 +02:00
JanUlrich
61a4bc3cd7
Fehler in Lambda2_2 gefixt
2015-09-23 17:22:01 +02:00
JanUlrich
c5f0e73e50
Identity implementiert
2015-09-23 15:30:35 +02:00
JanUlrich
99a7510810
Runnable gefixt
2015-09-23 12:48:08 +02:00
JanUlrich
86e06a6e7a
Erweitern des Bytecode Gen.
2015-09-22 18:43:36 +02:00
JanUlrich
296ffbe297
Fehler in FieldDeclaration behoben. Signaturen an Methoden und Klassen angefügt
2015-09-17 20:57:33 +02:00
JanUlrich
a9611fdd90
Erster zusammengehackter Stand, bei dem Runnable.jav-Test funktioniert
2015-09-16 18:45:45 +02:00
JanUlrich
bfe6b03605
Umstieg auf BCEL6 SourceCode. Einführen von DHBWInstructionFactory
2015-09-10 16:21:30 +02:00
JanUlrich
ccd25ab865
Bytecode erweitert. BCEL6-SNAPSHOT eingebunden.
2015-09-02 17:11:32 +02:00
JanUlrich
64bed0c60d
MethodCall implementiert
2015-08-27 16:36:19 +02:00
JanUlrich
133740d1f8
Merge branch 'bytecode' into refactoring
2015-08-27 13:37:45 +02:00
JanUlrich
636149d664
Merge mit Master
2015-08-27 13:37:41 +02:00
JanUlrich
d0267aa960
Bytecode erweitert
2015-08-27 13:36:14 +02:00
JanUlrich
985f3e984c
Fehler in Parser behoben
2015-08-26 15:08:04 +02:00
JanUlrich
2d8adb5c69
Beginn der Implementierung von Bytecode für Lambda Expression
2015-08-26 14:48:51 +02:00
JanUlrich
8d1b2c6b82
Unify Debuoutput angefügt
2015-08-04 11:06:18 +02:00
JanUlrich
ae372cdd3b
merge und Timer anfügen
2015-07-22 19:56:39 +02:00
JanUlrich
70b804fc4a
Zeitmessung für Clone
2015-07-16 01:35:06 +02:00
Martin Plümicke
fbc1bc5b5b
Cloner durch Unify.deepClone in UndMenge.java ersetzt
2015-07-16 01:16:06 +02:00
JanUlrich
3601d11b0b
Fehler in deepCopy behoben
2015-07-15 17:09:49 +02:00
JanUlrich
6321f1308d
Nicht mehr im Subst, sondern vorm Subst klonen
2015-07-15 11:50:10 +02:00
JanUlrich
c7ffabe0f0
Im Unify wird nur noch bei SUBST deepCopy angewendet. Timer implementiert zum ermitteln der Zeitaufwendungen der einzelnen Schritte im Algorithmus
2015-07-14 18:43:54 +02:00
JanUlrich
e891551b4e
Merge mit bytecode
2015-07-14 14:51:15 +02:00
JanUlrich
44599246b2
FunVoidN einführen
2015-07-08 17:46:54 +02:00
JanUlrich
4f9b4c0e16
Merge mit Master
2015-07-08 16:54:39 +02:00
Fütterling, Franziska (WWI2012D)
172ea3fbee
GenCode: Lambda theorethisch korrekt, hängt aber noch an einer
...
unbekannten NullPointerException
2015-07-08 16:43:10 +02:00
Fütterling, Franziska (WWI2012D)
3111d51005
GenCode: Versuch LambdaExpression umzusetzen, scheitert aber bislang an
...
nicht importierbaren Klassen aus BCEL
2015-07-08 15:00:47 +02:00
JanUlrich
38176163d5
.log-Dateien zu gitignore hinzufügen. Filter in Unify verbessern
2015-07-08 14:23:29 +02:00
JanUlrich
c3a8567e3f
Filter in Unify zw. Schritt 4 und 5 einfügen
2015-07-08 10:37:26 +02:00
JanUlrich
59b574f040
Fehler in PostIncrement/UnaryExpression behoben
2015-06-26 19:42:25 +02:00
JanUlrich
442da87f48
Debug-Code einfügen für Karthesisches Produkt in Unify
2015-06-26 12:25:46 +02:00
Schubert, Julia (WWI2012D)
d2f50069d2
NewArray implementiert, scheitert daran, dass der Parser keine Array
...
Initialisierung annimmt.
2015-06-25 23:05:51 +02:00
Fütterling, Franziska (WWI2012D)
03b0544131
GenCode: LongLit implementiert, aufgrund von Typinferenz-Problemen nicht
...
testbar
2015-06-25 16:20:51 +02:00
Fütterling, Franziska (WWI2012D)
5f6525db19
GenCode: FloatLit implementiert, aufgrund von Typeinferenz-Problemen
...
nicht testbar.
2015-06-25 16:12:18 +02:00
Fütterling, Franziska (WWI2012D)
ea2aa91761
GenCode: DoubleLiteral implementiert. Aufgrund von Typinferenz-Problemen
...
kann ein erfolgreicher Test-Run nicht konsisten repliziert werden.
2015-06-25 16:01:24 +02:00
Fütterling, Franziska (WWI2012D)
cef7c777b2
GenCode: StringLit erfolgreich getestet - Strings werden in dynamisch
...
in den Konstantenpool geschrieben und ausgelesen
2015-06-25 15:49:22 +02:00
Fütterling, Franziska (WWI2012D)
d50206a519
GenCode: Assign kann nun zwischen Int und String switchen.
...
StringLit-Test ergab, dass es - wie befürchtet - Probleme mit der
korrekten Vergabe von Indizes gibt.
2015-06-25 15:35:13 +02:00
Fütterling, Franziska (WWI2012D)
5fbb4f0d61
GenCode: Reupload StringLiteral aufgrund von Merge-Problemen
2015-06-25 15:19:30 +02:00
Fütterling, Franziska (WWI2012D)
b4d9cfbe0c
GenCode: Reupload Assign Type-Switch wegen Mergeproblemen
2015-06-25 15:18:14 +02:00
Fikus, Evelyn (WWI2012D)
6dd922a263
Testcode umgeschrieben
2015-06-25 14:29:16 +02:00
Fütterling, Franziska (WWI2012D)
c7bed0fa0e
GenCode: PostIncrement umgesetzt, aufgrund von Problemen bei der
...
TypInferenz aber nicht testbar. Vermutlich muss der Counter/Index der
Variablen noch weiter angepasst werden.
2015-06-25 14:27:18 +02:00
Fütterling, Franziska (WWI2012D)
8bc2867eb7
GenCode für CharLiteral, momentan aufgrund einer Parser-NPE nicht
...
lauffähig
2015-06-23 20:28:36 +02:00
Fütterling, Franziska (WWI2012D)
d028f7f14a
GenCode: Assign ist jetzt dynamisch für mehrere Variablen - Anpassung
...
für verschiedene Typen potentiell nötig
2015-06-23 20:01:06 +02:00
Fütterling, Franziska (WWI2012D)
c00e61eae6
Verbesserung von Assign: sollte jetzt auch mehrere Variablen korrekt
...
abspeichern - allerdings entsteht im class-File nur eine einzige.
Problem in IntLiteral etc.?
2015-06-23 16:54:22 +02:00
Schubert, Julia (WWI2012D)
acdc36d23f
BoolLiteral implementiert
2015-06-23 00:23:14 +02:00
Fütterling, Franziska (WWI2012D)
93f4257cdc
Assign und LiteralInt enthalten eine funktionierende GenCode-Methode,
...
Anpassungen für mehrere Variablen evtl. nötig
2015-06-22 23:53:29 +02:00
Fikus, Evelyn (WWI2012D)
a901dd6b38
Merge branch 'bytecode' of
...
ssh://seminar@gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into
bytecode
2015-06-22 16:51:52 +02:00
Fikus, Evelyn (WWI2012D)
cd8b85cc41
Probleme beim Pull, Versuch zu Committen bevor pull
2015-06-22 16:51:13 +02:00
Fütterling, Franziska (WWI2012D)
d9a08820e8
Idee zu Return createReturn
2015-06-22 16:47:19 +02:00
Fütterling, Franziska (WWI2012D)
1cd1aa7a50
Änderung an StringLitTest.jav -> jetzt return void
2015-06-22 16:42:03 +02:00
Fikus, Evelyn (WWI2012D)
8da8eb7d28
Neuer Versuch StringLiteral
2015-06-22 16:22:12 +02:00
Fütterling, Franziska (WWI2012D)
5da4ed534d
Erneuter Assign-Commit aufgrund von merge-Problemen
2015-06-22 16:14:45 +02:00
Fikus, Evelyn (WWI2012D)
ad0e8643ec
Update StringLiteral; Test läuft allerdings nicht durch
2015-06-22 15:18:11 +02:00
Fikus, Evelyn (WWI2012D)
614607e803
Weiterer bcel Versuch StringLiteral
2015-06-22 15:08:30 +02:00
Fikus, Evelyn (WWI2012D)
09a447cc48
Versuch bcel für StringLiteral
2015-06-22 14:49:22 +02:00
Fikus, Evelyn (WWI2012D)
d96b36c5d1
Assign.java genByteCode Methode angefügt (noch leer)
2015-06-22 12:55:21 +02:00
Martin Plümicke
99c719251d
Null eingefuegt
2015-06-18 12:34:09 +02:00
Martin Plümicke
c7a77c0646
Weitere Testfaelle
2015-06-18 11:17:42 +02:00
JanUlrich
24671ceca4
EmptyClass Test funktionsfähig
2015-06-17 12:03:54 +02:00
JanUlrich
bfac3c8145
Fehler in SuperCall beheben. StandardKonstruktor enthält nun SuperCall
2015-06-17 11:08:50 +02:00
JanUlrich
2c4f735935
ConstraintType entfernt. Constructor erbt jetzt von Methode. Fehler in Constructor.pareserPostProcessing behoben
2015-06-16 22:08:17 +02:00
JanUlrich
302d7d05f3
Merge branch 'bytecode' into refactoring
2015-06-16 17:44:45 +02:00
JanUlrich
1c2ac73dbd
Standardkonstruktor enthält nun SuperCall
2015-06-16 17:44:27 +02:00
JanUlrich
4191c8d8b2
Merge
2015-06-16 15:04:38 +02:00
Fikus, Evelyn (WWI2012D)
c9f1dd2449
Überall genByteCode Methode deklarieren, sodass Fehler verschwinden.
...
Korrektur Method.java und Constructor.java
2015-06-16 14:58:27 +02:00
Fikus, Evelyn (WWI2012D)
253ba6518b
Versuch, MethodGen in Method.java zu implementieren
2015-06-16 14:23:32 +02:00
JanUlrich
3be6aef821
Merge
2015-06-16 14:23:01 +02:00
JanUlrich
62a1a9b871
Constraint Type gelöscht
2015-06-16 14:22:13 +02:00
Fikus, Evelyn (WWI2012D)
c6502600cc
Weitere Überlegung im Bereich Constructor / Method
2015-06-16 13:53:32 +02:00
Fikus, Evelyn (WWI2012D)
e9c6170d15
Iteration über Statements innerhalb method.java
2015-06-16 13:19:01 +02:00
Fikus, Evelyn (WWI2012D)
2fac549cf5
Zusätzliche Kommentare und geringfügige Änderungen in der Überlegung
2015-06-16 13:08:11 +02:00
Fikus, Evelyn (WWI2012D)
1d9f58b196
Notizen und Codeschnipsel GenByteCode
2015-06-16 11:55:29 +02:00
JanUlrich
76b575fedc
Kommentar
2015-06-10 14:12:32 +02:00
JanUlrich
aa5bb3c073
Fehler im Parser behoben: castexpression und primitive Typen entfernt
2015-06-10 13:17:06 +02:00
JanUlrich
21cf019ac4
Unnötige Typen gelöscht. char, int, bool, etc. Können vom Unify-Algorithmus nicht verwertet werden
2015-06-10 11:36:40 +02:00
JanUlrich
356a229573
ConstraintsSet überarbeitet
2015-06-03 14:10:34 +02:00
JanUlrich
6bb01f012f
ConstraintsSet überarbeitet
2015-06-03 14:10:12 +02:00
JanUlrich
e6606d08ee
ConstraintPair erbt von Pair
2015-06-03 11:27:39 +02:00
stan
f3a324fb38
genByteCode für Constructor implementiert. Unfertig
2015-05-27 15:57:15 +02:00
JanUlrich
6030682400
Test für Bytecode anfügen. Beispielhaft generateBytecode-Methode in MyCompiler implementiert
2015-05-27 12:53:47 +02:00
JanUlrich
15e9fb44b8
Trennung von KomplexeMenge und COnstraintsSet. Experimenteller Zustand
2015-05-26 21:43:05 +02:00
JanUlrich
2b6ffdef11
Java Compliance auf JRE 8 erhöhen
2015-05-26 10:13:35 +02:00
JanUlrich
91360af27c
Merge branch 'bytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore
2015-05-25 18:47:34 +02:00
Fikus, Evelyn (WWI2012D)
a94d7326b1
Kleiner Formfehler korrigiert
2015-05-22 13:54:46 +02:00
Fikus, Evelyn (WWI2012D)
57350e2095
Fertige class.java ByteCode Generierung
2015-05-22 13:50:43 +02:00
Fikus, Evelyn (WWI2012D)
2b62ac43e6
21.05.15 - Konferenz Call; Class.java GenByteCode Methode - Zusatz:
...
Rückgabewert sollte ByteCode sein; Entsprechend muss ähnlich
JavaCodeResult Klasse eine ByteCodeResult Klasse erstellt werden...
2015-05-21 17:10:04 +02:00
JanUlrich
fcac7fb04f
toString() für OderMenge implementieren
2015-05-20 15:20:25 +02:00
JanUlrich
035851ba79
Änderungen am Logger. + Test für Filte im Unify.
2015-05-20 14:59:28 +02:00
JanUlrich
6fc412d949
Revert "Merge branch 'bytecode'"
...
This reverts commit 711c0d2f792b47b8e5bf
2015-05-12 19:54:34 +02:00
JanUlrich
711c0d2f79
Merge branch 'bytecode'
2015-05-12 19:50:52 +02:00
JanUlrich
2b47b8e5bf
Javadoc generieren und Aufräumen: Sämtliche codegen-Methoden und Hilfsklassen zu Generierung von Bytecode löschen. Unnötige Tests entfernen. ANTLR-Package entfernen
2015-05-12 19:49:27 +02:00
JanUlrich
ae40372a8b
Encoding auf UTF-8 geändert
2015-05-12 14:57:12 +02:00
JanUlrich
f5ef7bd3f5
Merge branch 'master' into bytecode
2015-05-07 14:41:31 +02:00
JanUlrich
5e5a17b265
toString zu UndMenge hinzugefügt
2015-05-07 14:41:13 +02:00
JanUlrich
d343c27edb
Logger angepasst. MyCompiler.getAPI erfordert nun einen Logger als Parameter. Filterung im Unify eingefügt.
2015-05-07 01:01:39 +02:00
JanUlrich
1cb335b46b
ConstraintsSet umgebaut in eine KomplexeMenge von Pairs
2015-04-28 15:27:16 +02:00
JanUlrich
7ba9688702
Menge eingeführt und dadurch Vector abgelöst. KomplexeMenge eingeführt, ConstraintSet baut nun darauf auf
2015-04-22 21:40:22 +02:00
JanUlrich
144c31a4cb
Bei der Generierung der FiniteClosure werden nun Beziehungen zu Superklassen, welche Importiert wurden, korrekt angefügt
2015-04-08 21:23:28 +02:00
Martin Plümicke
c080f452ae
Bug 18: ? ext/sup ty1 = ? ext/sup ty2 wird reduziert zu ty1 = ty2
2015-04-01 01:28:15 +02:00
JanUlrich
1d7074f1c6
Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore
2015-03-31 16:45:54 +02:00
Martin Plümicke
a2997fdd6b
Bug 16: wieder zurueckgenommen, Zusammenhangskomponenten wieder raus
2015-03-31 16:45:22 +02:00
JanUlrich
af7d478b84
Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore
2015-03-31 16:19:48 +02:00
JanUlrich
03753d68b9
Aufräumen
2015-03-31 15:24:30 +02:00
JanUlrich
b2f742033b
Aufräumen: Statt getTypeFor wird nun nur noch TYPE aufgerufen. Die Constraintbildung in der LambdaExpression wurde geändert. Siehe Bug #12
2015-03-31 12:37:45 +02:00
Martin Plümicke
67b6d29ce8
Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore
2015-03-12 12:30:20 +01:00
Martin Plümicke
385423092a
Fuer TPH <. Ty' hinzugefuegt: ? ext Ty <. Ty'
2015-03-12 12:29:54 +01:00
JanUlrich
2c6bce344d
TYPE erstellt bei LambdaExpression nun zwei constraints, falls die Parameter/RetType nicht vom Typ ? extends sind. Dann werden die Constraints einmal mit dem eigentlichen Typ T und einem ? extends/super T -Typ generiert
2015-03-12 12:27:43 +01:00
JanUlrich
c53eff4f2c
Merge branch 'refactoring'
2015-03-11 16:37:00 +01:00
Martin Plümicke
8cc1c79c67
? ext Ty <. TPH in Unify eingefuegt
2015-03-11 16:36:05 +01:00
JanUlrich
7f2d64e73b
Änderung an der Constraint Erstellung für LambdaExpressions
2015-03-11 12:39:08 +01:00
JanUlrich
3b258c3880
Object Type implementieren
2015-03-11 11:54:42 +01:00
Martin Plümicke
40bfc79948
ObjectType als Supertype von RefType, GTV und TPH eingefuegt, einige Fehler muessen noch geloest werden
2015-03-10 22:48:29 +01:00
Pluemicke Martin
6a47dfaf58
nicht lauffaehige Version
2015-03-10 22:32:29 +01:00
JanUlrich
3d2dbc8709
ObjectType eingeführt. Es muss noch Unify angepasst werden
2015-03-10 12:38:18 +01:00
JanUlrich
324fb27b6d
ObjectType eingeführt. Es muss noch Unify angepasst werden
2015-03-10 12:33:52 +01:00
Dr. Martin Pluemicke
f2bc4f0ffa
TPH <. ? super Ty reduziert auf TPH <. Ty eingefuegt, damit BUG 7 geloest
2015-03-05 16:37:45 +01:00
Dr. Martin Pluemicke
549640dfc4
Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore
2015-03-05 13:58:50 +01:00
JanUlrich
90e4c3bc96
Doku erweitert
2015-03-05 13:56:42 +01:00
Dr. Martin Pluemicke
7889783e8a
Unify Bugfix Bug 5 geloest und fuer TypVar <. RefType: ? extends Ty <. RefType eingefuegt
2015-03-05 13:55:21 +01:00
JanUlrich
e8538be1c2
Fehler in Umwandlung von GTV zu TPH beheben
2015-03-04 13:50:09 +01:00
JanUlrich
1ec9c3f67f
Fehler in Umwandlung von RefType zu GTV in BoGTV beheben
2015-03-03 18:24:14 +01:00
JanUlrich
618847bf4f
Fehlende Umwandlung von RefType zu GTV in Wildcard-Types implementieren
2015-03-03 16:59:00 +01:00
JanUlrich
0674de12c6
Overloading-Algorithmus in Klasse MethodCall auslagern
2015-03-03 11:37:04 +01:00
JanUlrich
8e59e46d57
Overloading-Algorithmus in Klasse MethodCall auslagern
2015-03-03 11:34:42 +01:00
JanUlrich
a8a7ad564b
Super-Aufruf implementieren
2015-02-26 17:46:04 +01:00
JanUlrich
4fd30850b5
ThisCall und SuperCall anfügen
2015-02-26 17:41:29 +01:00
JanUlrich
37e55490e1
Fehler beheben. Hat FunN den Rückgabetyp void, so wird kein ? extends void generiert
2015-02-26 16:57:43 +01:00
JanUlrich
1941fa5d64
this()-Aufruf anfügen
2015-02-26 15:50:23 +01:00
JanUlrich
5455ba803e
Fehler in TYPE-Methode von Constructor beheben
2015-02-25 18:51:48 +01:00
JanUlrich
da70abf954
Tests anfügen. Probleme mit Constructor beheben.
2015-02-25 18:29:44 +01:00
JanUlrich
9e99a5b20b
This()-Aufruf anfügen. Änderungen an Constructor vornehmen. Keine lauffähige Version
2015-02-25 16:34:29 +01:00
Dr. Martin Pluemicke
c315def167
Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore
2015-02-25 12:05:05 +01:00
Dr. Martin Pluemicke
748a38833d
Bug fix in Unify Zeile 1339 Typecast vom 1. aufs 2. Argument verschoben.
2015-02-25 12:04:13 +01:00
JanUlrich
16dd89376c
GTVDeclarationContext angefügt. Dadurch Fehler beim Umwandeln von GTZ in TPH behoben
2015-02-24 17:06:14 +01:00
JanUlrich
dc6cd6cdd0
FieldDeclaration wurde der Typ in der TYPE methode nicht angepasst. Fehler behoben
2015-02-24 15:25:56 +01:00
Martin Plümicke
4e61ba736d
alle Faelle P.OperatorSmallerExtends eingefuegt
2015-02-17 23:23:02 +01:00
Pluemicke Martin
acd20842e2
oderConstraints.filterWrongConstraints(unifier); oderConstraints.unifyUndConstraints(unifier); auskommentiert
2015-02-17 22:12:31 +01:00
Pluemicke
c366ef05f5
Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore
2015-02-11 14:41:55 +01:00
Pluemicke
6664b819d9
Zugrifssberechtigung
2015-02-11 14:41:27 +01:00
JanUlrich
621f1c860f
Karthesisches Produkt wird leer, falls einer der Teilmengen leer ist
2015-02-11 14:35:37 +01:00
Martin Plümicke
7a61324c9f
? ext/super TPH <?/= RefType/GenType und RefType/GenType <?/= ? ext/super TPH eingefuegt nicht alle Faelle getestet
2015-02-08 19:19:30 +01:00
Martin Plümicke
267083fbb4
debug Ausgabe korriegiert!
2015-02-07 15:19:10 +01:00
JanUlrich
0922b9e899
Änderungen an Testfiles und Logger
2015-02-06 15:41:01 +01:00
JanUlrich
f9bfe6fb44
Test geändert
2015-02-03 15:58:04 +01:00
Martin Plümicke
57f35605f6
In Unify.subunify bei P.OperatorEqual() Wildcards loeschen
2015-02-03 14:01:04 +01:00
Martin Plümicke
b4c0b17cf4
Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore
2015-02-03 12:26:03 +01:00
Martin Plümicke
56f69727eb
In Unify.greater1 alle Bounds einer BGTV als groesserer Typ hinzugefuegt
2015-02-03 12:25:45 +01:00
JanUlrich
8aa106b38a
Falsche Übernahme von BoGTV im Konstruktor von Class beheben
2015-02-03 12:24:40 +01:00
JanUlrich
de4cfa2656
BoGTV fügt keine Constraints mehr hinzu. Test angefügt
2015-02-03 11:20:05 +01:00
Martin Plümicke
69bd1510ec
Unify.subunify Kommentare eingefuegt
2015-01-31 14:21:02 +01:00
Martin Plümicke
1b1a690212
Unify.subunify wildcards werden entfernt, wenn sie auf beiden Seiten identisch sind
2015-01-30 16:12:25 +01:00
Martin Plümicke
1369161f12
Wildcard Unifikation
2015-01-30 13:52:17 +01:00
JanUlrich
03d1727cbf
Unnötige GenericVariables nicht mehr einfügen
2015-01-28 01:26:42 +01:00
JanUlrich
6e6908d460
Fehler in parserPostProcessing behoben
2015-01-23 16:49:09 +01:00
JanUlrich
99d3ecf030
Fehler behoben, Fehler behoben, Fehler behoben.
2015-01-23 15:28:15 +01:00
JanUlrich
615d2c633e
Fehler beheben
2015-01-23 13:31:52 +01:00
JanUlrich
c58d706c01
Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore
2015-01-20 18:33:16 +01:00
JanUlrich
f1171210bc
Kleine Änderungen, Fehlerbehebung
2015-01-20 18:32:51 +01:00
Dr. Martin Pluemicke
cbafe352c9
Kommentar in Unify fuer weitere Arbeiten eingefuegt
2015-01-20 18:24:58 +01:00
JanUlrich
d7bb282d0f
Fehler behoben
2015-01-20 16:56:53 +01:00
Dr. Martin Pluemicke
ffdffa8371
Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore
2015-01-20 14:40:57 +01:00
Dr. Martin Pluemicke
e9b2564484
Unify.java: in subst rekursiver Aufruf fuer Wildcardargumente eingefuegt
2015-01-20 14:40:05 +01:00
JanUlrich
3a58694a02
Einsetzen von Generischen Variablen angepasst
2015-01-20 13:35:56 +01:00
Martin Plümicke
6c4090bc4b
in Subst = in &= umgeaendert
2015-01-18 23:22:32 +01:00
Martin Plümicke
56c5ec7e18
Bug in subst in Unfify.java gepatched
2015-01-16 22:02:05 +01:00
JanUlrich
7d4009b6ae
parser.jay Fehler beheben
2015-01-16 14:48:20 +01:00
JanUlrich
7ef990ef08
merged
2015-01-04 23:29:56 +01:00
JanUlrich
f20b978b14
Kleine Anpassungen
2015-01-04 19:30:37 +01:00
Martin Plümicke
a22f8c98cf
merge conlict in bin/.gitignore behoben
2015-01-02 15:59:22 +01:00
Martin Plümicke
e8b03d5717
Pfad in Bytecode/Classfile angepasst
2015-01-02 15:54:59 +01:00
Martin Plümicke
5b9cabb3e1
Wildcards im Subst im Unify eingefuegt Kommentare
2014-12-05 17:47:34 +01:00
JanUlrich
66da1d2638
merge
2014-12-05 17:27:17 +01:00
Martin Plümicke
4046066b7c
Wildcards im Subst im Unify eingefuegt
2014-12-05 17:25:46 +01:00
JanUlrich
09d1acab93
Testfälle angefügt
2014-12-05 17:11:22 +01:00
Martin Plümicke
9861fb2f3b
Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore
2014-12-05 16:40:56 +01:00
Martin Plümicke
aca4ee05a0
Bytecode ergaenzt
2014-12-05 16:38:32 +01:00
JanUlrich
e6ca6fefa2
Fehler in Karthesischem Produkt behoben
2014-11-20 02:13:01 +01:00
JanUlrich
d41d3293aa
Debugausgaben eingeschränkt
2014-11-04 17:01:35 +01:00
JanUlrich
c1947e0810
Merge mit Änderungen am Unify
2014-11-04 13:51:48 +01:00
JanUlrich
4401414b67
Anderen Logger angefügt
2014-11-04 13:47:31 +01:00
JanUlrich
1cb66d4f88
Umstellung auf anderen Logger
2014-11-04 13:47:05 +01:00
Martin Plümicke
da70cad512
Unifyaufruf aufgeteilt in Zusammenhangskomponenten in Sourcefile.java
2014-11-03 10:40:28 +01:00
JanUlrich
c62c31db6d
Kleine Änderungen am Logger
2014-10-13 10:39:14 +02:00
JanUlrich
b31f770fe3
Logger angefügt
2014-10-09 17:38:29 +02:00
JanUlrich
1141417c0b
Weitere Aussonderung von Constraints durch Unify
2014-10-09 17:38:10 +02:00
JanUlrich
8723ced9b0
Merge branch 'refactoring' into bytecode
2014-10-09 13:54:55 +02:00
JanUlrich
efa79da5d5
filterUndConstraints
2014-10-09 13:54:44 +02:00
JanUlrich
26f35cfeb6
Logger angefügt
2014-10-09 12:01:16 +02:00
JanUlrich
2b33576488
Finite Closure ohne Subtypes. checkType statt TYPE
2014-10-08 19:00:17 +02:00
JanUlrich
383e5bd883
NullPointerException in Unify beseitigt
2014-10-07 17:47:23 +02:00
JanUlrich
81416b8bf4
Richtiger Import von Generischen Typen aus der JRE
2014-10-07 15:36:18 +02:00
JanUlrich
3db9b069c7
makeBasicAssumptions verbessert. Nimmt auch nun die Superklassen der BasicAssumptions auf
2014-10-07 10:47:52 +02:00
JanUlrich
37923779b1
In der FC_TTO werden keine T <. T Constraints mehr aufgenommen
2014-10-07 09:20:35 +02:00
JanUlrich
0fc7e18935
Merge branch 'antlr' into refactoring
2014-10-06 14:56:16 +02:00
JanUlrich
ab20e2c5e8
FC enthält Supertklassen
2014-10-01 17:13:08 +02:00
JanUlrich
4c9d696905
FC enthält superklassen
2014-10-01 17:12:16 +02:00
JanUlrich
d636d29ab5
Problem mit der Umwandlung von generischen Variablen zu TPH behoben (noch nicht vollständig)
2014-09-18 16:26:02 +02:00
JanUlrich
49917239c1
GenericVarDeclarationList extends SyntaxTreeNode
2014-09-16 17:34:04 +02:00
JanUlrich
18e7b68927
JavaParser fixed
2014-09-16 11:31:15 +02:00
JanUlrich
199278ac8b
ANTLR Test angepasst
2014-09-15 23:37:50 +02:00
JanUlrich
250b98d679
Antlr verschoben
2014-09-15 17:03:13 +02:00
JanUlrich
6505c985e0
Konstruktor von Type muss mit Elternelement im Syntaxbaum aufgerufen werden
2014-09-14 18:38:43 +02:00
JanUlrich
ca8145e4a2
GenericTypeVar setParentClass entfernt
2014-09-10 23:32:36 +02:00
JanUlrich
45ea59e7ad
Fehler in get_ParaList behoben
2014-09-09 17:47:57 +02:00
JanUlrich
81d9d3ab64
Ant_build angepasst
2014-09-09 15:30:32 +02:00
JanUlrich
330451271e
Kleine Änderungen
2014-09-09 14:32:53 +02:00
JanUlrich
583dfb23e3
Probleme mit GenericTypeVar behoben
2014-09-09 11:15:10 +02:00
JanUlrich
6858092ef1
Einführung von ConstraintType
2014-09-08 15:12:47 +02:00
JanUlrich
9f97bef6cd
Umstrukturierung zu de.dhbwstuttgart-Packagenamen
2014-09-05 11:49:31 +02:00
JanUlrich
c90f1404ab
Große Umstrukturierung
2014-09-04 16:35:44 +02:00
JanUlrich
93a6070bd4
Änderungen an Testfiles
2014-09-03 16:15:04 +02:00
JanUlrich
3d88fb479b
Testfile angepasst
2014-09-03 10:42:12 +02:00
JanUlrich
3232201843
Fehler in WildcardType.printJavaCode behoben
2014-09-02 18:55:54 +02:00
JanUlrich
37d33b7a31
JavaClassName implementiert
2014-09-02 18:49:19 +02:00
JanUlrich
01c6a934ed
Projekt umstrukturierung
2014-09-02 11:07:16 +02:00
JanUlrich
d6c75463ca
Projektstruktur ändern
2014-09-02 10:33:54 +02:00
JanUlrich
55d40d14ad
UnaryExpr verändert
2014-08-28 19:05:57 +02:00
JanUlrich
25d61b703b
JavaClassName eingeführt
2014-08-28 18:42:54 +02:00
JanUlrich
bd74b24500
Fehler beseitigt
2014-08-28 18:42:40 +02:00
JanUlrich
d39aecff4d
PrintJavaCode in PostIncExpr fixed
2014-08-14 12:25:58 +02:00
JanUlrich
e7034f82ce
Kleine Verbesserungen
2014-08-11 14:35:33 +02:00
JanUlrich
0aa5c06b73
Wildcards werden nun auch geparst
2014-08-07 17:13:55 +02:00
JanUlrich
7ff5b6d9db
makeBasicAssumptions fixed
2014-08-07 16:09:07 +02:00
JanUlrich
63a10f4775
Fehler behoben
2014-08-07 14:26:02 +02:00
JanUlrich
b9dde7b015
Parser nimmt name statt simplename für Typ
2014-08-07 12:20:11 +02:00
JanUlrich
92408cfdcc
Parser typename hinzugefügt
2014-08-07 12:11:18 +02:00
JanUlrich
25195440f0
Problem mit LocalVarDecl und setType behoben
2014-08-07 11:07:11 +02:00
JanUlrich
eed860f43e
Fehler in GTV2TPH behoben
2014-08-05 18:02:57 +02:00
JanUlrich
18b468547d
RefTypes kontrollieren bei checkType nun auch Parameterliste
2014-08-05 17:57:23 +02:00
JanUlrich
0357dd0903
JavaCodeResult equals implementiert
2014-08-05 14:30:52 +02:00
Sascha Speidel
5c80215516
Andis letzter Stand
2014-08-05 14:24:58 +02:00
JanUlrich
69668434da
Code aufgeräumt
2014-08-05 12:34:09 +02:00
JanUlrich
2925926e58
Einsetzen von GenericTypeVars an das Ende einer GenericTypeVarList verbessert
2014-07-31 15:15:33 +02:00
JanUlrich
dbf493424e
Fehler bei der Einsetzung von GenericVarDeclarations beheben
2014-07-23 17:24:08 +02:00
JanUlrich
f51b5d5b7c
Class fügt Assumptions von Paralist richtig hinzu
2014-07-17 20:17:59 +02:00
JanUlrich
45d176aed2
Fehler beseitigen
2014-07-16 18:38:55 +02:00
JanUlrich
26d3a89fd9
Fixed insert Type
2014-07-16 16:50:21 +02:00
JanUlrich
df67185b45
Fehler beim Umwandeln von Generischen Variablen zu TPH beseitigt
2014-07-16 16:40:49 +02:00
JanUlrich
f059e0b9b8
Einsetzen von generischen Variablen verbessern
2014-07-16 14:35:12 +02:00
JanUlrich
694899e73f
Einsetzen von generischen Variablen
2014-07-16 10:33:34 +02:00
JanUlrich
0327894686
Code aufgeräumt
2014-07-09 16:04:33 +02:00
JanUlrich
bbb3cf76d9
Parser geändert
2014-07-09 15:07:40 +02:00
JanUlrich
39bcd6702b
Änderungen am Lexer
2014-07-09 10:52:23 +02:00
JanUlrich
d5258d2d09
Änderungen am Parser
2014-07-02 10:00:17 +02:00
JanUlrich
2ce0fd4dcd
SourcePatchPoint eingeführt
2014-06-25 17:31:04 +02:00
JanUlrich
edfa85df7f
Einsetzen von Generics geändert. Unvollständiger Zustand
2014-06-25 17:30:31 +02:00
JanUlrich
eec8e4d1a8
Generics werden eingesetzt. Unvollständiger Zustand
2014-06-20 11:18:45 +02:00
JanUlrich
1f55b81b02
Änderungen am TypeInsertSet. Momentan werden keine Generics eingesetzt
2014-06-19 19:40:13 +02:00
JanUlrich
370bb8913b
TODOS bereinigt
2014-06-18 14:06:23 +02:00
JanUlrich
4000695736
BoundedGenerics werden nun auch mit einbezogen
2014-06-18 13:37:17 +02:00
JanUlrich
863f8ec2ec
Problem mit Generischen Variabeln in Klassendeklarationen gelöst
2014-06-18 11:53:39 +02:00
JanUlrich
05f4dbbff3
GenericVarAssumption eingeführt
2014-06-18 11:30:14 +02:00
JanUlrich
27c4a61ed3
Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore
2014-06-18 09:06:25 +02:00
JanUlrich
5979835783
GenericVarAssumption eingeführt
2014-06-18 09:06:08 +02:00
JanUlrich
2151c4550b
Backup
2014-06-10 20:23:01 +02:00
JanUlrich
4a67a4a58e
Object wird standardmäßig importiert. TestFiles angefügt
2014-05-07 21:57:29 +02:00
JanUlrich
c6ddc8036d
Einsetzen von Generischen Variablen überarbeitet
2014-05-07 13:01:14 +02:00
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
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
64d01e8ee2
Einsetzen von generischen Typen gefixt
2014-04-26 17:41:53 +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
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
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
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
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
JanUlrich
dbda805fa5
SyntaxTreeNode.equal verbessert
2014-03-17 17:55:55 +01:00
JanUlrich
94aae83ca8
SyntaxTreeNode.equals() implementiert
2014-03-14 16:34:25 +01:00
JanUlrich
40346b2a0b
Neue Klasse für Interface eingeführt
2014-03-14 14:09:03 +01:00
JanUlrich
977e777878
Starte mit der Einführung von Interfaces
2014-03-13 01:21:52 +01:00
JanUlrich
8060278e3f
Kleine Änderungen an Tests
2014-03-13 01:21:02 +01:00
JanUlrich
d7e6a7848d
Bytecodegenerierung angepasst. Tests erstellt
2014-03-12 18:28:30 +01:00
JanUlrich
931e90e7f2
Erster Bytecodegeneration-Test angefügt. codegen()-Methode angepasst
2014-03-12 16:32:50 +01:00
JanUlrich
5d57179364
SyntaxTreeNode.getDescription() angefügt
2014-03-12 15:27:26 +01:00
JanUlrich
b29fa03782
ParameterInsertTest added
2014-03-10 15:56:17 +01:00
JanUlrich
eef38bff42
MethodTypeInsertTest angefügt. TypeInsertTester verbessert
2014-03-09 14:12:48 +01:00
JanUlrich
c5eb3a5711
MethodTypeInsertTest angefügt
2014-03-09 13:03:30 +01:00
JanUlrich
4786345f7b
Felder (Field) müssen nun immer mit einem Offset initialisiert werden. Fehler behoben. Parser modifiziert. VariableTypeInsertTest läuft erfolgreich
2014-03-09 12:10:03 +01:00
JanUlrich
1872b8aac4
TypeInsertTests angefügt
2014-03-09 11:44:12 +01:00
JanUlrich
9ced1b4827
Funktion parse(sourceCode) angefügt. SourceFile enthält nicht mehr das Feld filename
2014-03-07 22:05:10 +01:00
JanUlrich
a39a9273a1
Ä
2014-02-22 05:43:20 +01:00
JanUlrich
b891ad4580
FunNMethode implementiert
2014-02-22 04:58:49 +01:00
JanUlrich
282b068552
Begeonnen mit Implementierung von getChildren()
2014-02-19 23:04:48 +01:00
JanUlrich
e33b9fd76e
weitere Fehler behoben
2014-02-19 17:32:43 +01:00
JanUlrich
bf341ab4f3
createTypeAssumptions für Field generiert
2014-02-19 14:16:28 +01:00
JanUlrich
e31725f255
Fehler in LocalVarAssumption behoben
2014-02-19 06:09:59 +01:00
JanUlrich
8d26f06092
Constructor implementiert
2014-02-19 05:20:54 +01:00
JanUlrich
d397002960
Overloading an neue Assumptions angepasst
2014-02-18 17:47:40 +01:00
JanUlrich
c242061541
TypeAssumptions überarbeitet. Neue AssumptionTypes angefügt. CType... Assumptions werden abgelöst
2014-02-14 17:31:55 +01:00
JanUlrich
95d7553482
InstVarDecl gelöscht. Weitere Verbesserungen. Keine Lauffähige Version
2014-02-12 22:10:33 +01:00
JanUlrich
605c554ffb
parserPostProcessing implementiert
2014-02-12 02:12:12 +01:00
JanUlrich
8cbd22f562
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
JanUlrich
31473630f8
Backup
2014-02-11 02:47:39 +01:00
JanUlrich
7a556fbafb
TPH.fresh() kann nicht mehr ohne die Übergabe eines TypeReplacementListeners erfolgen. Keine Lauffähige Version
2014-02-10 17:44:20 +01:00
JanUlrich
3cd6b2f792
Weitere obsolete Methoden entfernt. TypeInsertPoint angefügt
2014-02-10 04:25:14 +01:00
JanUlrich
bda8dbe671
CTypeResultSet umbenannt und nicht gebrauchte Funktionen entfernt
2014-02-09 18:52:04 +01:00
JanUlrich
971fb4ad65
Starte mit Löschen alter Typeinferenzalgorithmen
2014-02-09 16:07:31 +01:00
JanUlrich
7ec923c4bb
Stand vom 9.11.2013 angefügt
2014-02-05 13:38:34 +01:00
JanUlrich
218684dd24
Kopie aus dem CVS
2014-02-04 17:44:03 +01:00
JanUlrich
9626e0e14e
gitignore added. CVS-Ordner ignorieren sowie class und package dateien
2014-02-04 17:42:14 +01:00
JanUlrich
64c652da71
Java und jav files
2013-10-18 13:33:46 +02:00
Martin Plümicke
dd7d0edbfe
Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore
2013-01-01 02:57:01 +01:00
Martin Plümicke
47b5b2a288
1. BUG 15: TPH1 <. ? super TPH2 führt zu TPH1 <. TPH2 und zu Eq1 einzugefuegt 1. BUG 16: Unify in Zusammenhangskomponenten aufgeteit, muss wieder zurueckgenommen werden
2013-01-01 02:56:34 +01:00
