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
303cfa5409
log entfernt
2018-06-20 18:08:25 +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
162ca3eb27
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-06-19 13:32:24 +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
Martin Plümicke
04d3ac84e7
jeweils apply eingefuegt, was nicht funktioniert
...
modified: ../../test/typeinference/UnifyTest.java
Matrix auskommentiert und Lambda einkommentiert
2018-06-15 16:19:12 +02:00
Fayez Abu Alia
2db5ecc260
logFile deleted
2018-06-13 15:51:59 +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
c08d4b8457
Merge branch 'plugin' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin
2018-06-08 14:39:51 +02:00
Martin Plümicke
d2d02e26f0
modified: target/JavaTXcompiler-0.1-jar-with-dependencies.jar
2018-06-08 14:35:22 +02:00
Martin Plümicke
e0d5699ae7
deleted: Installation/install.html
2018-06-01 17:13:05 +02:00
Martin Plümicke
3f2558d21e
new file: Website/Installation/install.html
...
new file: Website/JavaTXExamples.zip
new file: Website/index.html
new file: Website/install/Restart.png
new file: Website/install/availableSoftware1.png
new file: Website/install/availableSoftware2.png
new file: Website/install/instal.html
new file: Website/install/install.html
new file: Website/install/installAnyway.png
new file: Website/install/installationDetails.png
new file: Website/install/licenseAgreement.png
new file: Website/install/newsoftware.png
new file: Website/install/selectInstallation.png
new file: Website/newJavaTXProject/addLibrary2.png
new file: Website/newJavaTXProject/buildPath1.png
new file: Website/newJavaTXProject/buildPath2.png
new file: Website/newJavaTXProject/buildPath3.png
new file: Website/newJavaTXProject/buildPath4.png
new file: Website/newJavaTXProject/newJavFile.png
new file: Website/newJavaTXProject/newJavFolder1.png
new file: Website/newJavaTXProject/newJavFolder2.png
new file: Website/newJavaTXProject/newJavaTXProject.html
new file: Website/newJavaTXProject/newJavaTXProject.png
new file: Website/usePlugin/usePlugin.html
new file: Website/usePlugin/usePlugin1.png
new file: Website/usePlugin/usePlugin2.png
modified: test/bytecode/javFiles/OL.jav
2018-06-01 16:57:35 +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
Martin Plümicke
bb26112a9b
modified: ../../../target/JavaTXcompiler-0.1-jar-with-dependencies.jar
...
modified: Fac.jav
modified: Faculty.jav
modified: OL.jav
modified: While.jav
modified: ../../javFiles/AddLong.jav
2018-05-30 00:27:20 +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
07fa62d11d
merge Keine Ahnung mit was ...
2018-05-28 16:21:43 +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
JanUlrich
ad42282485
Test
2018-05-28 15:55:14 +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
58f5e17ab5
FacTest.java
2018-05-25 10:01:44 +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
3470215bae
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
2018-05-24 10:48:57 +02:00
Martin Plümicke
f5398fa8e9
deleted: ../../test/logFiles/log
2018-05-24 10:34:50 +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
