Commit Graph

  • 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
  • e9d5d5f7c7 classdiagram added Aldaron7 2018-06-08 14:06:27 +02:00
  • 092ee53f74 Studienarbeit added. Aldaron7 2018-06-06 21:22:40 +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
  • 24f93f0bcb updated project structure. Implemented trans. Aldaron7 2018-05-31 15:13:39 +02:00
  • f44f08b895 TYPEExpr fixed for newClass. Aldaron7 2018-05-30 23:50:32 +02:00
  • 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 Martin Plümicke 2018-05-30 18:35:57 +02:00
  • 5a0e53485c modified: src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java Unary-Expression SMALLERNEQDOT eingefuegt modified: test/bytecode/javFiles/Fac.jav Martin Plümicke 2018-05-30 17:23:55 +02:00
  • e972282620 Generics fix JanUlrich 2018-05-30 16:10:20 +02:00
  • 1ca7fba835 Generics fix JanUlrich 2018-05-30 16:10:20 +02:00
  • f7160c10f4 Fix Generics parsing JanUlrich 2018-05-30 15:57:51 +02:00
  • 98eb1827b8 Fix Generics parsing JanUlrich 2018-05-30 15:57:51 +02:00
  • 7a5940ac65 cherrypick ee1fa17 Typegenerator Aldaron7 2018-05-30 15:51:25 +02:00
  • 86e94b8cc0 cherrypick ee1fa17 Typegenerator JanUlrich 2018-05-30 15:29:59 +02:00
  • 25a5e79509 update solve (not fixed). Aldaron7 2018-05-30 15:36:28 +02:00
  • ee1fa17aba Implement convert(ClassOrInterfaceType) JanUlrich 2018-05-30 15:29:59 +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
  • 7e1d6fad01 solve tNew generics superclass and interfaces added. Aldaron7 2018-05-30 12:39:11 +02:00
  • c7e0281d53 solve tph zu grt Aldaron7 2018-05-30 11:52:38 +02:00
  • 23ae5d5745 returntypevisitor added. restructuring. Aldaron7 2018-05-30 09:00:46 +02:00
  • 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 Martin Plümicke 2018-05-30 00:27:20 +02:00
  • ac49f26df3 Merge branch 'plugin' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin JanUlrich 2018-05-28 17:17:59 +02:00
  • 26f24db0a3 Kleiner Fix am ASTWalker JanUlrich 2018-05-28 17:08:08 +02:00
  • 57a82e8863 Kleiner Fix am ASTWalker JanUlrich 2018-05-28 17:08:08 +02:00
  • 97d893e66b Merge branch 'plugin' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin Martin Plümicke 2018-05-28 16:36:46 +02:00
  • 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 Martin Plümicke 2018-05-28 16:35:47 +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
  • a2c30f83a8 Tests anfügen JanUlrich 2018-05-28 15:55:29 +02:00
  • ad42282485 Test JanUlrich 2018-05-28 15:55:14 +02:00
  • fc9b1a6bb1 Beginnen mit ASP Generator für Unify WITH wildcards JanUlrich 2018-05-28 15:51:40 +02:00
  • 581e5e574e Merge branch 'bytecode2' into plugin Martin Plümicke 2018-05-25 14:41:22 +02:00
  • ae14dfd947 modified: src/de/dhbwstuttgart/typeinference/unify/RuleSet.java modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Martin Plümicke 2018-05-25 14:39:54 +02:00
  • 9d53d9d5d1 modified: src/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java kleiner Fehler korrigiert modified: test/javFiles/Matrix.jav Martin Plümicke 2018-05-25 11:16:02 +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
  • 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 Martin Plümicke 2018-05-24 09:17:31 +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
  • 7ea6777906 modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: ../javFiles/Lambda.jav modified: ../typeinference/UnifyTest.java Martin Plümicke 2018-05-18 13:12:49 +02:00
  • 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 Martin Plümicke 2018-05-18 09:55:45 +02:00
  • d81c06cdd9 modified: ../../src/de/dhbwstuttgart/typeinference/unify/distributeVariance.java Implementierung fuer FuNN eingefuegt deleted: ../../src/de/dhbwstuttgart/typeinference/unify/inheritVariance.java Martin Plümicke 2018-05-18 00:03:07 +02:00
  • 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 Martin Plümicke 2018-05-17 22:51:41 +02:00
  • 427a87598c solve added Aldaron7 2018-05-17 21:35:14 +02:00
  • 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 Martin Plümicke 2018-05-17 18:07:21 +02:00
  • dca5d21c23 JavaCompilerCoreWithDependencies upload JanUlrich 2018-05-17 12:47:01 +02:00
  • 51a2acdbaf modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java modified: test/typeinference/UnifyTest.java Martin Plümicke 2018-05-17 11:42:03 +02:00
  • 832623a738 ClassOrInterface muss im Modifier INTERFACE haben, wenn isInterface gesetzt ist Andreas Stadelmeier 2018-05-16 15:37:46 +02:00
  • dcc36f082f code aufräumen Fayez Abu Alia 2018-05-16 13:37:31 +02:00
  • 9575afd0b4 Fun umbenannt und Argumente umgedreht Fayez Abu Alia 2018-05-15 10:33:30 +02:00
  • 403430d0c4 adapt2 incode docu added Aldaron7 2018-05-12 15:22:31 +02:00
  • d9ab487253 adapt2 rule implemented Aldaron7 2018-05-12 14:59:48 +02:00
  • 5c797a44a1 modified: ../../src/de/dhbwstuttgart/typeinference/unify/RuleSet.java disableWildcardtable in den FUNN-Regeln eingefuegt. Martin Plümicke 2018-05-10 09:07:33 +02:00
  • 87dbcfdad4 Merge branch 'unifyOptimierung' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unifyOptimierung Martin Plümicke 2018-05-09 18:10:17 +02:00
  • 8048af2106 modified: ../../test/javFiles/Lambda2.jav modified: ../../test/typeinference/UnifyTest.java Martin Plümicke 2018-05-09 18:10:08 +02:00
  • 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 Martin Plümicke 2018-05-09 18:05:06 +02:00
  • da4c59f2cf modified: ../../src/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java modified: ../../test/typeinference/UnifyTest.java Martin Plümicke 2018-05-09 16:24:28 +02:00
  • 1c22fc7d57 Merge branch 'bytecode2' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unifyOptimierung Martin Plümicke 2018-05-09 13:29:11 +02:00
  • 0b7aea21d9 modified: ../../test/bytecode/LambdaTest.java modified: ../../test/bytecode/javFiles/Lambda2.jav Martin Plümicke 2018-05-08 18:52:43 +02:00
  • 521a1cbf3b Bug 77 gefixt Fayez Abu Alia 2018-05-08 17:42:58 +02:00
  • 22ca2cbd4a modified: BytecodeGenMethod.java Martin Plümicke 2018-05-08 11:28:24 +02:00
  • 49ea4ee283 Pfad der erzeugten klassendateien angepasst Fayez Abu Alia 2018-05-08 10:19:13 +02:00
  • 225dc16a89 modified: test/typeinference/UnifyTest.java Martin Plümicke 2018-05-08 09:23:20 +02:00
  • 6f85c2b376 fixed RuleSetStrucType refl(). Aldaron7 2018-05-07 19:03:47 +02:00
  • a17342458e fixed Construct. Changed Field and Method Types to GenericRefType. Aldaron7 2018-05-07 18:37:21 +02:00
  • 4738add4fc modified: ../../../../../test/javFiles/Matrix.jav modified: ../../../../../test/typeinference/UnifyTest.java Martin Plümicke 2018-05-07 15:31:31 +02:00
  • 35d5fb2f03 Fehler in ASTFactory mit Generischen FEldern beheben Andreas Stadelmeier 2018-05-07 15:12:07 +02:00
  • c8728bab10 Testfall fix Andreas Stadelmeier 2018-05-07 12:51:29 +02:00
  • ab46709390 Fixed Construct. Added Structure for TUnify. Implemented refl. Aldaron7 2018-05-06 19:06:41 +02:00
  • bc99dc4c8b Merge branch 'plugin' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into plugin JanUlrich 2018-05-02 21:30:11 +02:00
  • 2bbf9eac36 target/repository anlegen JanUlrich 2018-05-02 21:08:32 +02:00