i21012/JavaPatternMatching
1
0
Fork 0
forked from JavaTX/JavaCompilerCore
Code Pull Requests Activity

Commit Graph

  • a77c64cea2 Add new type placeholder to referenced set Victorious3 2023-03-08 16:28:34 +0100
  • 034faf1f66 Merge branch 'targetBytecode' of gohorb.ba-horb.de:/bahome/projekt/git/JavaCompilerCore into targetBytecode pl@gohorb.ba-horb.de 2023-03-08 16:02:50 +0100
  • 88db5016bf modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java logFile auf false gesetzt pl@gohorb.ba-horb.de 2023-03-08 16:02:24 +0100
  • 3a05912dfe Whoops Victorious3 2023-03-08 15:05:53 +0100
  • 40b04a4877 Remove print statement Victorious3 2023-03-08 15:03:59 +0100
  • 04b509613f Add test and fix constructors return value being used Victorious3 2023-03-08 14:59:40 +0100
  • cdd4cd9968 modified: ../src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java Tenaeren Operator fuer log-File eingefuegt pl@gohorb.ba-horb.de 2023-03-08 14:26:08 +0100
  • 8c6a614157 Merge remote-tracking branch 'origin/bigRefactoring' into patternMatching luca9913 2023-03-08 06:42:08 +0100
  • 09cc88062e StatementGenerator fertiggestellt luca9913 2023-03-08 06:35:55 +0100
  • 62e022c2f7 modified: ../../../src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java pl@gohorb.ba-horb.de 2023-03-07 16:36:29 +0100
  • 506fd0dc0e new file: ../../AllgemeinTest/Assign.jav modified: ../../AllgemeinTest/Pair.jav modified: ../../AllgemeinTest/UseWildcardPair.jav modified: ../../../src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/TypeGenerator.java ? extends Object nochmals angepasst pl@gohorb.ba-horb.de 2023-03-07 16:34:34 +0100
  • 1c31b6d769 new file: ../../AllgemeinTest/Pair.jav new file: ../../AllgemeinTest/UseWildcardPair.jav modified: ../../../src/test/java/AllgemeinTest.java pl@gohorb.ba-horb.de 2023-03-07 08:51:31 +0100
  • 2d82dc1ae4 modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/TypeGenerator.java Object -> java.lang.Object pl@gohorb.ba-horb.de 2023-03-01 23:31:07 +0100
  • 9606dc7b26 new file: resources/AllgemeinTest/CaptureConversion.jav modified: src/test/java/AllgemeinTest.java Campture Conversion Test in Allgemeintest eingefuegt pl@gohorb.ba-horb.de 2023-03-01 18:41:46 +0100
  • 2197e09307 Merge branch 'targetBytecode' into bigRefactoring Victorious3 2023-03-01 16:34:14 +0100
  • d79d2d28b1 Ignore Box test Victorious3 2023-03-01 16:33:59 +0100
  • 3eebfdc9d9 Fix POP2 not being called for double and long! Victorious3 2023-03-01 16:33:03 +0100
  • ba66f29fba modified: ../../../../resources/bytecode/javFiles/OLFun.jav pl@gohorb.ba-horb.de 2023-03-01 16:08:42 +0100
  • ffdedd4f99 Add OL tests Victorious3 2023-03-01 15:55:15 +0100
  • 9500deaf3d Remove debug printout Victorious3 2023-03-01 15:30:20 +0100
  • 11eb03cdf0 Split up equality Victorious3 2023-03-01 14:55:13 +0100
  • 3de89a5cfa Object as default bound Victorious3 2023-03-01 12:02:01 +0100
  • c0348ed304 txGenerics Victorious3 2023-03-01 11:23:00 +0100
  • 1ad4cfcb21 Let lambda functions use Object instead of generic parameters Victorious3 2023-03-01 10:49:03 +0100
  • 374d2e811b Generate attribute for JavaTX Victorious3 2023-03-01 10:27:19 +0100
  • d362858184 Umbau des StatementGenerators fortgeführt luca9913 2023-03-01 06:49:59 +0100
  • c118c05bb2 Umwandlung von Methodenaufrufen implementiert luca9913 2023-02-26 21:04:51 +0100
  • 68034ed434 Fix FunNGenerator Victorious3 2023-02-23 18:52:29 +0100
  • aa5f79257e Antlr labels für ExpressionContext eingeführt, um StatementGenerator weiterzuentwickeln luca9913 2023-02-22 22:43:25 +0100
  • f282d7a212 Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring Victorious3 2023-02-21 14:51:08 +0100
  • 4c685a9ed9 Merge branch 'targetBytecode' into bigRefactoring Victorious3 2023-02-21 14:48:28 +0100
  • a92172c9da Start working on a JavaTX signature attribute Victorious3 2023-02-21 14:05:21 +0100
  • 24bbce8265 Fix test cases for new inputs Victorious3 2023-02-21 14:04:53 +0100
  • 84a5ed2cc3 Fix inner type variables Victorious3 2023-02-21 11:31:28 +0100
  • b58b6c2288 Fixes for TPH4 Victorious3 2023-02-21 10:28:00 +0100
  • 55636436d2 Fix Antlr Version JanUlrich 2023-02-14 18:03:12 +0100
  • 5981a9362c Fix console interface Victorious3 2023-02-14 11:36:08 +0100
  • 99c46bf37f Fix console interface Victorious3 2023-02-14 11:36:08 +0100
  • 5058315a1b modified: ../../../../../resources/insertGenericsJav/TestTwoArgs.jav Typen korrigiert pl@gohorb.ba-horb.de 2023-02-13 21:20:40 +0100
  • 60d5da6f24 modified: ../../../../../resources/insertGenericsJav/TestTwoArgs.jav Ergebnisse als Kommentare eingefuegt. pl@gohorb.ba-horb.de 2023-02-13 18:39:16 +0100
  • c38bf658fc Anpassung Statementexpression an Java17-Grammatik begonnen luca9913 2023-02-13 08:16:16 +0100
  • 0e981ce95c convert(StatementContext) Implementierung fortgesetzt luca9913 2023-02-12 07:51:31 +0100
  • 29f654279b Fix codegen a bit, and add missing constraints Vic Nightfall 2023-02-10 14:54:44 +0100
  • 239698c8d6 modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPE.java modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java etwas aufgeraeumt pl@gohorb.ba-horb.de 2023-02-08 17:39:45 +0100
  • 4074273ecb Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode pl@gohorb.ba-horb.de 2023-02-08 16:53:30 +0100
  • 2d117e24cf modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java methodsignature so eingerichtet, dass die Constraints erst am Ende hinzugefuegt werden. pl@gohorb.ba-horb.de 2023-02-08 16:52:23 +0100
  • 1c2e868589 Fix removing inner type variables Victorious3 2023-02-07 12:22:37 +0100
  • 40d0d6b63e TypeGenerator für Java17 Grammatik angepasst luca9913 2023-02-05 09:16:59 +0100
  • a77970b5e7 TypeGenerator für Rework vorbereitet luca9913 2023-02-03 07:58:06 +0100
  • d39fd64f0f Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode pl@gohorb.ba-horb.de 2023-02-02 14:50:18 +0100
  • e699fc36ae modified: src/main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java modified: src/main/java/de/dhbwstuttgart/syntaxtree/visual/OutputGenerator.java modified: src/main/java/de/dhbwstuttgart/typeinference/constraints/Constraint.java modified: src/main/java/de/dhbwstuttgart/typeinference/constraints/ConstraintSet.java modified: src/main/java/de/dhbwstuttgart/typeinference/constraints/Pair.java modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java modified: src/main/java/de/dhbwstuttgart/typeinference/unify/RuleSet.java modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnify2Task.java modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java pl@gohorb.ba-horb.de 2023-02-02 14:49:30 +0100
  • ca327375c8 Konvertierung von Methoden begonnen luca9913 2023-02-02 06:38:30 +0100
  • 64ec7989b4 Continue with eliminating inner type variables Victorious3 2023-01-31 15:39:12 +0100
  • 5243b160f5 Didn't want to remove this Victorious3 2023-01-31 15:00:09 +0100
  • 62fad15b6f We actually need the signature of the class Victorious3 2023-01-31 14:53:02 +0100
  • 21fb477ee1 These are the defaults, actually Victorious3 2023-01-31 14:25:37 +0100
  • baec9999db Don't append new class files, overwrite them Victorious3 2023-01-31 14:21:16 +0100
  • a7720fbf20 Don't append new class files, overwrite them Victorious3 2023-01-31 13:49:19 +0100
  • 0c9612a2ea modified: ../../../main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java pl@gohorb.ba-horb.de 2023-01-31 11:18:52 +0100
  • dabe7f269c Consider nested type variables for signature (usage) Victorious3 2023-01-24 16:24:24 +0100
  • a9f69ead5c Use signature in methodcall Victorious3 2023-01-24 15:11:31 +0100
  • 04508a85f1 Bei NewClass ReturnType hinzuefuegt modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/StatementGenerator.java modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java pl@gohorb.ba-horb.de 2023-01-24 14:35:51 +0100
  • 9dca8ccdaa Fix parameter types in super call Victorious3 2023-01-24 12:27:30 +0100
  • 8250f0cb51 Didn't mean to remove that Victorious3 2023-01-24 12:17:21 +0100
  • a26f466471 Fix Victorious3 2023-01-24 12:16:34 +0100
  • dc4b1c7b4f Merge branch 'targetBytecode' of gohorb.ba-horb.de:/bahome/projekt/git/JavaCompilerCore into targetBytecode pl@gohorb.ba-horb.de 2023-01-24 12:06:16 +0100
  • 2448969426 In MethodCall argTypes durch signature ersetzt und ReturnType eingefuegt. modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/StatementGenerator.java modified: src/main/java/de/dhbwstuttgart/syntaxtree/statement/MethodCall.java modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java pl@gohorb.ba-horb.de 2023-01-24 12:05:26 +0100
  • 5e89ceeee8 Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode Victorious3 2023-01-24 11:55:55 +0100
  • 1ce180ce74 Change tests to umatch updated generics Victorious3 2023-01-24 11:55:40 +0100
  • 2ab3becf44 Merge branch 'targetBytecode' of gohorb.ba-horb.de:/bahome/projekt/git/JavaCompilerCore into targetBytecode pl@gohorb.ba-horb.de 2023-01-24 11:32:05 +0100
  • 3b77a1271b modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java pl@gohorb.ba-horb.de 2023-01-24 11:31:55 +0100
  • 4f4ca50c75 Implementierung ConvertClass-Methode in ASTGen fortgesetzt luca9913 2023-01-24 08:14:14 +0100
  • 9d20c0564c Get rid of inner type variables for methods Victorious3 2023-01-23 16:04:19 +0100
  • 8be7f3d790 modified: ../../../src/main/java/de/dhbwstuttgart/syntaxtree/statement/MethodCall.java pl@gohorb.ba-horb.de 2023-01-23 15:14:39 +0100
  • 9e6b2e9ced modified: ../../../src/main/java/de/dhbwstuttgart/typeinference/assumptions/MethodAssumption.java modified: ../../../src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java pl@gohorb.ba-horb.de 2023-01-23 15:13:51 +0100
  • 69bdb4aa5b Consider environment of type variables in method call Victorious3 2023-01-23 13:56:21 +0100
  • 8aa67594d9 modified: ../../../src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java argTypes in MethodCall werden gesetzt pl@gohorb.ba-horb.de 2023-01-23 13:49:11 +0100
  • 8dfce15850 new file: ../../AllgemeinTest/VectorNotObject.jav new file: ../../AllgemeinTest/WildcardCaptureConversionTest.jav modified: ../../../src/test/java/AllgemeinTest.java pl@gohorb.ba-horb.de 2023-01-23 11:51:05 +0100
  • 1cf23bec90 Implementierung neuer ASTGen fortgesetzt luca9913 2023-01-21 05:35:15 +0100
  • 3bdc3b764d Merge remote-tracking branch 'origin/bigRefactoring' into patternMatching luca9913 2023-01-20 06:16:25 +0100
  • a13294edf4 Visitor Ansatz verworfen, STG in ASTGen neu aufsetzen luca9913 2023-01-20 06:13:38 +0100
  • a85b60b95f ASTGen auf basis von antlr visitor luca9913 2023-01-20 02:54:59 +0100
  • d1fd65fad7 modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java Loeschungen angezeigt pl@gohorb.ba-horb.de 2023-01-18 18:11:45 +0100
  • 752faaca86 Add jar-building to pom-file. Fix ConsoleInterface JanUlrich 2023-01-17 17:42:32 +0100
  • def76724b5 Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring Andreas Stadelmeier 2023-01-17 19:30:47 +0100
  • eb5a339f56 Merge branch 'bigRefactoring' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into bigRefactoring JanUlrich 2023-01-17 17:42:58 +0100
  • d6b25bc76e Add jar-building to pom-file. Fix ConsoleInterface JanUlrich 2023-01-17 17:42:32 +0100
  • a2d8ab35ae Merge branch 'targetBytecode' of gohorb.ba-horb.de:/bahome/projekt/git/JavaCompilerCore into targetBytecode pl@gohorb.ba-horb.de 2023-01-17 17:22:46 +0100
  • 0944cf59fb modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPE.java modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java modified: src/main/java/de/dhbwstuttgart/typeinference/unify/TypeUnifyTask.java modified: src/main/java/de/dhbwstuttgart/typeinference/unify/model/FiniteClosure.java modified: src/main/java/de/dhbwstuttgart/typeinference/unify/model/OrderingUnifyPair.java new file: src/main/java/de/dhbwstuttgart/util/BiRelation.java renamed: src/main/java/de/dhbwstuttgart/typeinference/unify/model/Pair.java -> src/main/java/de/dhbwstuttgart/util/Pair.java pl@gohorb.ba-horb.de 2023-01-17 17:22:22 +0100
  • db089bea60 Forgot x here Victorious3 2023-01-17 16:05:15 +0100
  • abe7553c37 Add missing object bounds Victorious3 2023-01-17 15:57:41 +0100
  • 43e8837308 Simplify tests by adding BoundsChain Victorious3 2023-01-17 12:42:20 +0100
  • 268f2b72eb Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode Victorious3 2023-01-17 11:59:19 +0100
  • d9bb0037b8 Improve genericcs tests Victorious3 2023-01-17 11:58:59 +0100
  • c78a148766 Alternativ-labels in grammatik & neuen ast-generator auf basis von antlr visitor luca9913 2023-01-17 06:38:00 +0100
  • cb564dc436 Beginn anpassung SyntaxTreeGenerator an neue Grammatik luca9913 2023-01-17 06:37:07 +0100
  • 6d52949215 Anpassungen der Grammatikregeln übernommen luca9913 2023-01-17 06:34:39 +0100
  • b0bec83900 workaround für java 17/19 probleme & paket ergänzt luca9913 2023-01-17 06:28:19 +0100
  • e8eaa3ac6e Merge branch 'targetBytecode' of gohorb.ba-horb.de:/bahome/projekt/git/JavaCompilerCore into targetBytecode pl@gohorb.ba-horb.de 2023-01-12 12:06:03 +0100
  • f0f3a91e27 Constraints fuer Generated Generics erzeugt und schreibt diese als Attribute methCallargTypesRetType in den Klassen TYPE, TypeStmt und JavaTXCompiler modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java modified: src/main/java/de/dhbwstuttgart/typeinference/constraints/Constraint.java modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPE.java modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java pl@gohorb.ba-horb.de 2023-01-11 18:51:55 +0100