JavaTX/JavaCompilerCore
2
0
Fork 3
Code Issues 99 Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 4318856fa8 Fix lookup patternMatchingTmp Daniel Holle 2024-12-12 14:21:23 +0100
  • 1ace099d72 Undo Daniel Holle 2024-12-12 14:06:33 +0100
  • 542389d35b Add new type to record patterns patternMatching Daniel Holle 2024-12-11 16:08:59 +0100
  • b76e1e46f0 Make the example fail Daniel Holle 2024-12-11 13:29:14 +0100
  • 09c483542d Change grouping, doesnt work yet Daniel Holle 2024-12-09 16:53:32 +0100
  • 77411973be Fix generics Daniel Holle 2024-12-04 13:57:55 +0100
  • d0d9c46a67 Work on constraints for parameters of generic records Daniel Holle 2024-12-04 12:22:26 +0100
  • 24bf3d350f feat: add Generic Resolver for Records Ruben 2024-11-29 13:50:09 +0100
  • b9f9994de3 toString() doesn't return the class name, see #353 Daniel Holle 2024-11-27 12:57:58 +0100
  • f0287c4611 modified: resources/AllgemeinTest/Box.jav modified: src/test/java/AllgemeinTest.java pl@gohorb.ba-horb.de 2024-11-25 15:46:14 +0100
  • edf609f916 Merge branch 'patternMatching' of ssh://gitea.hb.dhbw-stuttgart.de:2222/JavaTX/JavaCompilerCore into patternMatching pl@gohorb.ba-horb.de 2024-11-24 08:15:12 +0100
  • 14e2af7d2a modified: resources/AllgemeinTest/Box.jav modified: src/test/java/AllgemeinTest.java pl@gohorb.ba-horb.de 2024-11-24 08:15:01 +0100
  • 158adf837a modified: resources/bytecode/javFiles/PatternMatchingListAppend.jav pl@gohorb.ba-horb.de 2024-11-21 14:55:52 +0100
  • 46b378e3a5 Fix value matching and add new test case Daniel Holle 2024-11-21 14:31:18 +0100
  • 484a70c15c Fix test case Daniel Holle 2024-11-20 17:22:05 +0100
  • c461e89336 Try to use 22 for test, might fail Daniel Holle 2024-11-20 17:03:37 +0100
  • f846142ee1 Add broken value matching Daniel Holle 2024-11-20 14:44:10 +0100
  • 443b8b0c09 Test nested record matching, thankfully switch does the heavy lifting, fixes #349 Daniel Holle 2024-11-20 13:17:10 +0100
  • ff715a22cf Filter out duplicate patterns Daniel Holle 2024-11-20 11:37:50 +0100
  • 170955b333 More complex overloading for switch Daniel Holle 2024-11-19 15:19:40 +0100
  • 88d81f4af7 Work on overloading Daniel Holle 2024-11-19 13:32:55 +0100
  • bb11d24101 First implementation of generating a bridge method Daniel Holle 2024-11-11 15:47:38 +0100
  • e2bf09548f Rename test file and some work on the overloading behavior Daniel Holle 2024-11-07 17:04:43 +0100
  • c33e372446 feat: change Test-Case Ruben 2024-10-25 15:58:18 +0200
  • 7c546834c0 modified: resources/bytecode/javFiles/PaternMatchingHaskellStyle.jav modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/StatementGenerator.java modified: src/test/java/TestComplete.java pl@gohorb.ba-horb.de 2024-10-25 15:31:48 +0200
  • aa61f90fb1 feat: add Example for HaskellStyle Pattern Matching Ruben 2024-10-25 14:04:50 +0200
  • b4da20e1d4 feat: add Example for HaskellStyle Pattern Matching Ruben 2024-10-25 14:04:03 +0200
  • 4d1950d0ba feat: add Example for HaskellStyle Pattern Matching Ruben 2024-10-25 12:06:23 +0200
  • cc204f659a modified: resources/bytecode/javFiles/PaternMatchingHaskellStyle.jav pl@gohorb.ba-horb.de 2024-10-25 11:12:46 +0200
  • 5893338783 new file: resources/bytecode/javFiles/PaternMatchingHaskellStyle.jav pl@gohorb.ba-horb.de 2024-10-25 11:10:00 +0200
  • e1e744152a Fix overloading considering too many options, fix #348 Daniel Holle 2024-10-11 14:13:55 +0200
  • fc22299af5 feat: add Literal in Records and LPattern for Syntaxtreegenerator Ruben 2024-10-09 17:01:28 +0200
  • 7811ecce63 Fix non chainable parts in dotted expression Daniel Holle 2024-10-04 16:41:05 +0200
  • 44754e73ac Remove left over example code Daniel Holle 2024-10-04 15:05:46 +0200
  • 6ee308a712 feat: add Constraints for Records in Parameterlist Ruben 2024-10-02 17:06:30 +0200
  • 85d70378ca Merge branch 'patternMatching' of ssh://gitea.hb.dhbw-stuttgart.de:2222/JavaTX/JavaCompilerCore into patternMatching Daniel Holle 2024-10-02 15:09:25 +0200
  • 89bbbdacd8 Work on pattern matching in function headers Daniel Holle 2024-10-02 15:09:19 +0200
  • fbde5afb1b feat: changes on Grammar for literals in Records Ruben 2024-10-02 15:02:08 +0200
  • 6ccf2a3df6 Add overloading for switches, see #348 Daniel Holle 2024-10-01 17:28:20 +0200
  • b7979ac7e7 Fix tests Daniel Holle 2024-09-26 11:31:24 +0200
  • 9ede47c2d6 feat: add Constraint for Default-Case Ruben 2024-09-20 18:02:53 +0200
  • 406f98e55d feat: add Constraint for Default-Case Ruben 2024-09-20 18:02:13 +0200
  • a9d836ce25 modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/StatementGenerator.java modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java pl@gohorb.ba-horb.de 2024-09-19 17:43:23 +0200
  • fd8a66dd59 Variance und wildcardable in die Syntaxtree-Generierung verschoben modified: src/main/java/de/dhbwstuttgart/core/JavaTXCompiler.java modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/StatementGenerator.java modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java modified: src/main/java/de/dhbwstuttgart/syntaxtree/factory/UnifyTypeFactory.java modified: src/main/java/de/dhbwstuttgart/syntaxtree/type/TypePlaceholder.java modified: src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPEStmt.java modified: src/main/java/de/dhbwstuttgart/typeinference/unify/model/PlaceholderType.java modified: src/test/java/TestComplete.java pl@gohorb.ba-horb.de 2024-09-19 17:22:51 +0200
  • 929392b7d4 refactor: enhanced Constraint-Genereation Ruben 2024-09-18 14:06:52 +0200
  • f57c8aa5a9 feat: add Constraints Ruben 2024-09-18 14:03:36 +0200
  • daa38183fa feat: adding Covariance for Switch Ruben 2024-09-18 13:54:01 +0200
  • eb454aa5b2 Add check for sealed interfaces Daniel Holle 2024-09-13 14:23:03 +0200
  • 72035c48f2 Update dependencies Daniel Holle 2024-09-12 14:42:09 +0200
  • 54f258e333 Default throws Daniel Holle 2024-09-12 14:36:26 +0200
  • 114de0b236 refactor + test: removed comments and fixed Test-Assertion Ruben 2024-09-04 11:03:11 +0200
  • 8f094eb025 refactor: refactoring Ruben 2024-09-04 10:42:11 +0200
  • 3ac3af2327 test: add Test for Switch-Case with generic Records. Ruben 2024-09-02 19:15:53 +0200
  • fbc9f1e755 Fix bugs and add new example dholle 2024-08-22 15:13:25 +0200
  • 94c359f7a1 test & feat: recursive Method-Call for nested Constraint-Generation Patterns in Records and added Linked-List Testcase. Ruben 2024-08-20 19:52:55 +0200
  • 4085c62231 Remove --enable-preview from pom.xml newConstraints Andreas Stadelmeier 2024-08-15 15:25:59 +0200
  • 8421023ea8 Set to Java 21 Andreas Stadelmeier 2024-08-15 15:23:06 +0200
  • 3be557a32b Merge branch 'targetBytecode' into patternMatching Ruben 2024-08-11 19:57:07 +0200
  • 852659dce6 Set Java Version to 21 JanUlrich 2024-08-08 12:32:07 +0200
  • 7012eb1d86 Remove jav-files Daniel Holle 2024-08-07 17:07:53 +0200
  • 7f1578a5b7 Fix build Daniel Holle 2024-08-07 17:02:27 +0200
  • d176dfb1e3 Remove tests Daniel Holle 2024-08-07 16:51:46 +0200
  • 494ce63838 Remove everything that doesn't touch constraints Daniel Holle 2024-08-07 16:40:06 +0200
  • 9801f8a5ae Merge branch 'targetBytecode' of ssh://gitea.hb.dhbw-stuttgart.de:2221/JavaTX/JavaCompilerCore into targetBytecode targetBytecode Daniel Holle 2024-08-07 13:34:03 +0200
  • f0b9bea23e Fix #343 (le null check) Daniel Holle 2024-08-07 13:33:40 +0200
  • 96eb504174 test & fix: add Testcase for Heritage-detection and removed unnecessary creation of Constraints. Ruben 2024-08-06 18:44:52 +0200
  • ce4347dd96 Fix Y Test #341 Daniel Holle 2024-08-06 12:42:09 +0200
  • 4f0162ba64 Merge branch 'targetBytecode' into patternMatching Ruben 2024-08-05 15:42:48 +0200
  • 6e1198ab3d test: reverted TestCodegen Ruben 2024-08-05 15:40:05 +0200
  • 7785c2d0aa Fix equals method of ClassOrInterface Daniel Holle 2024-08-05 11:54:13 +0200
  • cc8f36d3ec feat: further implementation Ruben 2024-08-02 18:02:35 +0200
  • 139325e78f feat: fixed Commends Ruben 2024-07-31 17:42:23 +0200
  • b18b0a38cf feat: adding Constraints. Ruben 2024-07-31 17:41:58 +0200
  • a654f55deb Fix yTest Daniel Holle 2024-07-25 17:05:27 +0200
  • be60261795 feat: further fixes. Ruben 2024-07-25 08:30:52 +0200
  • c7f4a2d4c1 feat: further fixes. Ruben 2024-07-25 08:27:43 +0200
  • 7037bdf9ef modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/FCGenerator.java pl@gohorb.ba-horb.de 2024-07-24 23:31:13 +0200
  • d9860497df Merge branch 'targetBytecode' of ssh://gitea.hb.dhbw-stuttgart.de:2222/JavaTX/JavaCompilerCore into targetBytecode pl@gohorb.ba-horb.de 2024-07-24 23:25:07 +0200
  • fdffc11580 modified: resources/AllgemeinTest/Box.jav deleted: resources/bytecode/javFiles/Box.java modified: src/test/java/AllgemeinTest.java pl@gohorb.ba-horb.de 2024-07-24 23:23:39 +0200
  • c10de35ca2 new file: resources/AllgemeinTest/Bar.java pl@gohorb.ba-horb.de 2024-07-24 18:28:07 +0200
  • 56b73332c0 modified: pom.xml new file: resources/AllgemeinTest/Foo.jav modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/FCGenerator.java pl@gohorb.ba-horb.de 2024-07-24 18:27:32 +0200
  • bdcd5ea3cf Merge branch 'targetBytecode' of https://gitea.hb.dhbw-stuttgart.de/JavaTX/JavaCompilerCore into targetBytecode pl@gohorb.ba-horb.de 2024-07-24 12:35:43 +0200
  • edafbbc5a0 Fix #340 Daniel Holle 2024-07-23 15:33:09 +0200
  • ba8810e5df I don't know why isFunctionalInterface returns true on things that aren't even interfaces but here we go Daniel Holle 2024-07-19 18:04:33 +0200
  • 63493ed0f7 Make lambdas castable Daniel Holle 2024-07-19 17:26:39 +0200
  • 5f944e441c feat: working with Integer-Values but not Strings. Ruben 2024-07-17 16:41:38 +0200
  • 9c2c6a3ea9 Alter OL Test aspGen Andreas Stadelmeier 2024-07-01 12:36:22 +0200
  • a7ad4fa984 Add OrCOnsTest Andreas Stadelmeier 2024-06-28 11:32:32 +0200
  • 4dba867f9e Merge branch 'targetBytecode' of ssh://gitea.hb.dhbw-stuttgart.de:2222/JavaTX/JavaCompilerCore into targetBytecode pl@gohorb.ba-horb.de 2024-06-14 11:28:05 +0200
  • 06caf0ff66 Merge branch 'targetBytecode' of ssh://gohorb.ba-horb.de/bahome/projekt/git/JavaCompilerCore into targetBytecode pl@gohorb.ba-horb.de 2024-06-14 11:27:14 +0200
  • ec92b5d5e1 Work on Bug #332 Daniel Holle 2024-06-13 17:23:19 +0200
  • fcda301b1e Hack in ASP-Constraint generation for WLP2024 paper Prototype Test Andreas Stadelmeier 2024-06-10 09:02:26 +0200
  • 2aa3997f17 Readme JanUlrich 2024-06-07 14:54:27 +0200
  • 7e37497740 Start ASP Gen after Constraint Generateion JanUlrich 2024-06-07 14:53:47 +0200
  • 091a6b8f1f Fix merge conflict Daniel Holle 2024-06-07 12:16:03 +0200
  • 60a1f3b220 Merge branch 'targetBytecode' of https://gitea.hb.dhbw-stuttgart.de/JavaTX/JavaCompilerCore into targetBytecode Daniel Holle 2024-06-07 12:04:01 +0200
  • 7e6aeaf728 Make Function Types implement others to allow Subtyping, fixes #337 Daniel Holle 2024-06-07 12:03:16 +0200
  • 0d572ed9b6 feat: changes in Grammar and Parser so typeless Recs get recognised Ruben 2024-06-06 12:16:28 +0200
  • ea217d16d5 Revert "feat: changes in Grammar and Parser so typeless Recs get recognised" Ruben 2024-06-06 12:07:32 +0200
  • 7650813bb7 feat: changes in Grammar and Parser so typeless Recs get recognised Ruben 2024-06-06 12:06:28 +0200