29bd9a3f4f
remove logFile
Fayez Abu Alia
2018-06-27 15:39:04 +02:00
7926c25c7d
Soviel wie möglich unnötige TPHs aus Signaturen von Paramtrisierten Typen entfernt
Fayez Abu Alia
2018-06-27 15:20:35 +02:00
b4c604e2b1
Bug in der Methode simplifyPairs gefixt. Bug 82 gefixt. TPHs in paramtrisierten Typen als TypeVariablen in Signature hinzugefügt. Lambda.jav funktioniert.
Fayez Abu Alia
2018-06-27 14:49:22 +02:00
d8bb4d6188
modified: test/bytecode/javFiles/Lambda.jav Lambda auf apply angepasst
Martin Plümicke
2018-06-23 10:54:14 +02:00
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
Martin Plümicke
2018-06-23 10:42:46 +02:00
2eb7a63480
modified: src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java FunN$$ eingefuegt
Martin Plümicke
2018-06-23 01:05:13 +02:00
1991bbbcd3
modified: src/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java FunN-Types werden nach RefTypes mit FunN$$ nach Unifikation zurueckkonvertiert.
Martin Plümicke
2018-06-21 09:51:05 +02:00
b5bc9fa01a
modified: target/JavaTXcompiler-0.1-jar-with-dependencies.jar
Martin Plümicke
2018-06-20 20:27:19 +02:00
a92521f04a
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin
Martin Plümicke
2018-06-20 20:06:37 +02:00
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
Martin Plümicke
2018-06-20 19:52:58 +02:00
11649b39d3
generateBCForFun() um Parameter path erweitert.
Fayez Abu Alia
2018-06-20 18:15:44 +02:00
303cfa5409
log entfernt
Fayez Abu Alia
2018-06-20 18:08:25 +02:00
660ef68f7e
generateBytecode() um Parameter path erweitert. Alle Tests angepasst
Fayez Abu Alia
2018-06-20 18:07:17 +02:00
23eab0c9a4
TPHs, die nicht in ParameterListe der Methode vorkommen, werden in Signature geschrieben
Fayez Abu Alia
2018-06-19 14:56:22 +02:00
162ca3eb27
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
Fayez Abu Alia
2018-06-19 13:32:24 +02:00
6d70464a1c
TPH X < TPH Y <...< TPH Z vereinfacht => TPH X < TPH Z und Signature-Erzeugung wird angepasst
Fayez Abu Alia
2018-06-19 13:31:39 +02:00
1437788f5a
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin
Martin Plümicke
2018-06-18 11:50:55 +02:00
04d3ac84e7
jeweils apply eingefuegt, was nicht funktioniert
Martin Plümicke
2018-06-15 16:19:12 +02:00
ba63da2860
ASP Parser einführen
JanUlrich
2018-06-15 06:15:36 +02:00
fe72936737
Merge mit bigRefactoring
JanUlrich
2018-06-13 23:54:35 +02:00
2db5ecc260
logFile deleted
Fayez Abu Alia
2018-06-13 15:51:59 +02:00
b325e205a1
Bugs gefixt. Bytecode-Erzeugung für MethodCall ergänzt. Bytecode für Matrix-Test (Funktioniert noch nicht ganzErzeugung Signatures und Descriptors verbessert
Fayez Abu Alia
2018-06-13 15:50:05 +02:00
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.
Fayez Abu Alia
2018-06-12 11:41:59 +02:00
55f6fe47ac
geändert: src/de/dhbwstuttgart/core/JavaTXCompiler.java geändert: src/de/dhbwstuttgart/strucTypes/visitor/InferTypes.java geändert: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java nach merge mit plugin-Branch
Pluemicke Martin
2018-06-09 16:34:05 +02:00
4919dd34b2
Merge branch 'plugin' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into strucTypesNew
Martin Plümicke
2018-06-08 14:42:18 +02:00
c08d4b8457
Merge branch 'plugin' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin
Martin Plümicke
2018-06-08 14:39:51 +02:00
aac113e12e
Merge branch 'plugin' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into strucTypesNew
Martin Plümicke
2018-06-08 14:37:04 +02:00
d2d02e26f0
modified: target/JavaTXcompiler-0.1-jar-with-dependencies.jar
Martin Plümicke
2018-06-08 14:35:22 +02:00
413cb48a96
updates to strukture.
Aldaron7
2018-06-06 21:22:09 +02:00
e0d5699ae7
deleted: Installation/install.html
Martin Plümicke
2018-06-01 17:13:05 +02:00
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
Martin Plümicke
2018-06-01 16:57:35 +02:00
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.
Fayez Abu Alia
2018-05-30 15:27:21 +02:00
63ac79f02c
Hotfix für Typparsen Problem
JanUlrich
2018-05-28 16:18:33 +02:00
07fa62d11d
merge Keine Ahnung mit was ...
JanUlrich
2018-05-28 16:21:43 +02:00
c7042d185f
Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring
JanUlrich
2018-05-28 16:18:49 +02:00
7e3fca2da9
Hotfix für Typparsen Problem
JanUlrich
2018-05-28 16:18:33 +02:00
66587a8f71
modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java SMALERNEQDOT in Regel a <!=. Theta korrigiert SMALERNEQDOT in Regel Theta <!=. a geloescht
Martin Plümicke
2018-05-28 16:07:29 +02:00
58f5e17ab5
FacTest.java
Fayez Abu Alia
2018-05-25 10:01:44 +02:00
6fce2760c5
While.jav
Fayez Abu Alia
2018-05-25 09:53:30 +02:00
1de897fb1f
modified: src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java System.out.println geloescht
Martin Plümicke
2018-05-24 17:59:51 +02:00
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.
Martin Plümicke
2018-05-24 17:45:10 +02:00
f085f9f499
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
Fayez Abu Alia
2018-05-24 16:44:28 +02:00
a40d2b991f
kleine Änderung
Fayez Abu Alia
2018-05-24 16:44:05 +02:00
704415ae3b
Merge branch 'unifyOptimierung' into plugin
Martin Plümicke
2018-05-24 16:43:31 +02:00
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.
Martin Plümicke
2018-05-24 16:20:57 +02:00
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
Martin Plümicke
2018-05-24 14:11:04 +02:00
3470215bae
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2
Martin Plümicke
2018-05-24 10:48:57 +02:00
f5398fa8e9
deleted: ../../test/logFiles/log
Martin Plümicke
2018-05-24 10:34:50 +02:00
f617ad8946
modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java Relationen auf verschiedene Numeric-Typen umgestellt im equals Null abgefragt
Martin Plümicke
2018-05-24 10:28:22 +02:00
876ec6a4f6
Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unifyOptimierung
Martin Plümicke
2018-05-24 09:41:15 +02:00
0f29bc038a
Bugs gefixt. Tests für relationalen Operatoren(GreaterEqualTest, ...) laufen.
Fayez Abu Alia
2018-05-23 15:38:41 +02:00
a5ed5a2a46
Merge branch 'unifyOptimierung' into plugin
Martin Plümicke
2018-05-22 17:29:44 +02:00
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
Martin Plümicke
2018-05-22 17:10:07 +02:00
06a0cb8eaf
modified: TypeUnifyTask.java noAllErasedElements eingefuegt
Martin Plümicke
2018-05-19 10:13:08 +02:00
b5a601d798
modified: TypeUnifyTask.java Varianceweitergabe in den verschiedenen Cases eingefuegt Erste Zaehlungen eingefuegt
Martin Plümicke
2018-05-19 09:50:57 +02:00
Martin Plümicke
JanUlrich
Fayez Abu Alia
Fayez Abu Alia
Fayez Abu Alia
Pluemicke Martin
Martin Plümicke
Aldaron7
Andreas Stadelmeier
Fayez Abu Alia