Commit Graph

  • 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
  • a785c85d42 tests Fayez Abu Alia 2018-05-02 20:54:07 +02:00
  • 48e22982c8 Fehler in Construct für Typen der Felder, und Methoden der generierten Interfaces markiert mit //TODO Aldaron7 2018-04-30 20:28:12 +02:00
  • 3ed300268f fixed: Interfaces des selben Typs werden nur noch einmal generiert, auch wenn sie mehrfach in unterschiedlichen Constraints vorkommen. Aldaron7 2018-04-30 19:43:26 +02:00
  • ec2b501e63 new file: test/javFiles/LambdaField.jav modified: test/typeinference/UnifyTest.java Lambda-Ausdruck als Attribute/field eingefuegt Martin Plümicke 2018-04-26 15:10:23 +02:00
  • 8be4f94edf modified: test/javFiles/Matrix.jav In Matrix.jav Binary-Operation eingefuegt. Martin Plümicke 2018-04-25 23:32:12 +02:00
  • 1b6cae1be0 GenTest angefügt Fayez Abu Alia 2018-04-25 16:44:27 +02:00
  • 41774b3faf Merge mit bytecode JanUlrich 2018-04-25 16:13:23 +02:00
  • 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 Martin Plümicke 2018-04-24 00:53:33 +02:00
  • 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 Martin Plümicke 2018-04-22 00:56:49 +02:00
  • 0ae777b4ac modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java varianceInheritance nach TypeUnifyTask.java verschoben Kommentar eingefuegt Martin Plümicke 2018-04-20 23:52:12 +02:00
  • 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 Martin Plümicke 2018-04-20 13:16:49 +02:00
  • 93d0caaefb modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Varianceberechnung geaendert Martin Plümicke 2018-04-20 09:36:29 +02:00
  • 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 Martin Plümicke 2018-04-20 01:08:35 +02:00
  • fc870fd706 modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Martin Plümicke 2018-04-18 19:44:00 +02:00
  • 4450f5c0cd Merge Andreas Stadelmeier 2018-04-18 15:08:37 +02:00
  • 92693c2c15 Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring JanUlrich 2018-04-18 14:08:25 +02:00
  • 50a1f979a0 Fehler beim Parsen beheben JanUlrich 2018-04-18 14:08:12 +02:00
  • 478a2df3dc Statische Methoden Test Fayez Abu Alia 2018-04-18 11:51:10 +02:00
  • 59243d9f94 modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Martin Plümicke 2018-04-17 16:31:13 +02:00
  • 82b08c5aae modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: src/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java Wildcard Ordnung veraendert Martin Plümicke 2018-04-17 14:25:52 +02:00
  • 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 Martin Plümicke 2018-04-13 18:13:31 +02:00
  • bf4e65caf5 Merge branch 'bigRefactoring' into sat JanUlrich 2018-04-12 20:08:25 +02:00
  • f40c82af4a Matrix Test anpassen JanUlrich 2018-04-12 20:06:37 +02:00
  • b6d67a1c51 Beginnen mit Tests von UnifyWithoutWildcards JanUlrich 2018-04-12 19:31:32 +02:00
  • a06f4b3349 Merge branch 'bigRefactoring' into sat JanUlrich 2018-04-12 18:12:19 +02:00
  • 10be0b17e9 Oder-Constraints generieren JanUlrich 2018-04-11 17:16:45 +02:00
  • 21bc2a67a1 modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Martin Plümicke 2018-04-11 16:58:38 +02:00
  • 277dac20e7 Tests anpassen. Beginnen mit Oder Constraints JanUlrich 2018-04-11 14:13:15 +02:00
  • 52a96d7253 OL Test eingefügt Fayez Abu Alia 2018-04-11 13:55:32 +02:00
  • fef4d27d21 modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Martin Plümicke 2018-04-11 11:10:08 +02:00
  • e7e96d5943 Tests erweitern und ANTLR Grammatik parsed nur noch unifier Regeln JanUlrich 2018-04-09 13:00:24 +02:00
  • 603c4c9c46 modified: ../../src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java logging ergaenzt Martin Plümicke 2018-04-06 20:01:14 +02:00
  • 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 Martin Plümicke 2018-04-05 18:09:24 +02:00
  • 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 Martin Plümicke 2018-04-04 21:47:07 +02:00
  • 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 Martin Plümicke 2018-04-04 01:14:30 +02:00
  • 9717c54d53 modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java Mehrfacher Aufruf von computeCartesianRecursive entfernt Martin Plümicke 2018-04-03 14:16:38 +02:00
  • c271c689de modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java abhaengige Substitutionen auch bei Faellen 1 - 8 eingefuegt Martin Plümicke 2018-04-03 10:29:58 +02:00
  • 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 Martin Plümicke 2018-04-01 22:04:10 +02:00
  • 117106a7b3 modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java ? ext theta bei smaller eingefuegt Martin Plümicke 2018-04-01 17:07:58 +02:00
  • 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 Martin Plümicke 2018-03-28 17:42:25 +02:00
  • ebacb72dcb Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into strucTypesNew Aldaron7 2018-03-28 16:37:09 +02:00
  • 22ff521d08 Aufräumen Andreas Stadelmeier 2018-03-28 15:35:04 +02:00
  • 32ab198f9e Bugfix für duplicate methods Fayez Abu Alia 2018-03-28 14:57:36 +02:00
  • 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 Martin Plümicke 2018-03-28 12:06:23 +02:00
  • bb5a4e8580 Bug 72 gefixt Fayez Abu Alia 2018-03-28 11:31:32 +02:00
  • 000c16b907 Gencoy ASP Generator implementieren JanUlrich 2018-03-27 23:56:12 +02:00
  • 663ce36e22 modified: test/strucType/javFiles/testFieldMethod.jav Mehrfache Aufrufe eines Receivers mit unterschiedlichen Methoden/Fields eingefügt Fehler: die Interfaces werden zwar richtig generiert. Allerdings werden die Inerfaces mehrfach mit unterschiedlichen generisches Typvariabeln generiert. Einmal würde reichen: Martin Plümicke 2018-03-27 18:55:07 +02:00
  • 87a2ed8117 APS GeneratorTest.simple anfügen JanUlrich 2018-03-27 14:25:54 +02:00
  • a0de7a4467 Test, bei dem Bug 72 auftritt Fayez Abu Alia 2018-03-24 20:28:26 +01:00
  • ce2b4e0303 Anpassung bei typisierungen in TYPEExpr, Anpassung Ausgabe Aldaron7 2018-03-23 21:41:31 +01:00
  • 3e829eee54 Tests anpassen JanUlrich 2018-03-23 17:45:41 +01:00
  • 7ff3f22db5 Fehler in FCGenerator beheben JanUlrich 2018-03-23 17:20:15 +01:00
  • 4886976752 Fehler in FCGenerator beheben JanUlrich 2018-03-23 17:20:15 +01:00
  • daf684deef ASP Factory für Algorithmus von Herr Gencay JanUlrich 2018-03-23 16:54:32 +01:00
  • 0b680f831d modified: src/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: src/de/dhbwstuttgart/typeinference/unify/model/UnifyPair.java Martin Plümicke 2018-03-22 20:40:22 +01:00
  • 41c87e3085 Merge branch 'bigRefactoring' into sat JanUlrich 2018-03-22 13:50:30 +01:00
  • 52dd0e6276 Merge branch 'bigRefactoring' into strucTypesNew JanUlrich 2018-03-22 11:42:46 +01:00
  • bcee5e5209 Fehler im Parsen von Package beheben JanUlrich 2018-03-22 11:41:59 +01:00
  • 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 Martin Plümicke 2018-03-22 11:26:29 +01:00
  • 72f27fab7a Fehler in ASTFactory Generierung von Superinterfaces beheben JanUlrich 2018-03-22 11:17:51 +01:00
  • 06bb978cf6 Testfall erweitern JanUlrich 2018-03-21 18:08:33 +01:00
  • dbe05bb718 modified: src/de/dhbwstuttgart/parser/SyntaxTreeGenerator/FCGenerator.java Feher rausgemacht Pluemicke Martin 2018-03-21 17:37:34 +01:00
  • 9a735e86dd GenericFC Test anfügen JanUlrich 2018-03-21 17:26:43 +01:00
  • 240d57a8ba Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring JanUlrich 2018-03-21 17:26:23 +01:00
  • dd18c7c40e Test anfügen Andreas Stadelmeier 2018-03-21 15:15:31 +01:00
  • 45ccfb58e3 Test commit JanUlrich 2018-03-21 17:10:40 +01:00
  • 4ac99b61bf Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test Pluemicke Martin 2018-03-21 17:07:14 +01:00
  • f107c8d1f7 modified: src/de/dhbwstuttgart/core/JavaTXCompiler.java Variancebestimmung fuer Argument- und Returntypen der Methoden eingefuegt. Pluemicke Martin 2018-03-21 17:03:32 +01:00
  • f29faa2680 Neuer Branch. Merge mit bigRefactoring Aldaron7 2018-03-21 16:04:41 +01:00
  • 161c1a1b53 Test anfügen Andreas Stadelmeier 2018-03-21 15:15:31 +01:00
  • 6b1a4eddfc Java 9 zu Java 8 ändern. Sollte ausreichen Andreas Stadelmeier 2018-03-21 14:40:47 +01:00
  • ae7a63fbca Tests fix JanUlrich 2018-03-21 14:22:30 +01:00
  • 79810be94f FC Generator berücksichtig interfaces Andreas Stadelmeier 2018-03-21 14:21:50 +01:00
  • 9cdb5f05ef generics in Construct 1760192402651131697/tmp_refs/heads/strucTypesTemp 1760192402651131697/strucTypesTemp 1758519223129880194/tmp_refs/heads/strucTypesTemp 1758519223129880194/strucTypesTemp strucTypesTemp Aldaron7 2018-03-21 14:09:28 +01:00
  • 4263ff671d generics in Construct Aldaron7 2018-03-21 14:06:59 +01:00
  • 8870bc326c Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bytecode2 Fayez Abu Alia 2018-03-21 13:47:19 +01:00
  • e1c6369bcb Bytecode für Post-/Preincrement und Post-/Predecrement Fayez Abu Alia 2018-03-21 13:08:39 +01:00
  • 46255efb70 Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into unify-test Pluemicke Martin 2018-03-21 11:29:01 +01:00
  • fb77f9192f Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring JanUlrich 2018-03-21 11:28:35 +01:00