JavaTX/JavaCompilerCore
2
0
Fork 3
Code Issues 99 Pull Requests Actions Packages Projects Releases Wiki Activity
2,715 Commits 57 Branches 0 Tags 257 MiB
patternMatching
Commit Graph

2715 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Daniel Holle
542389d35b Add new type to record patterns
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 5m34s
Details
2024-12-11 16:08:59 +01:00
Daniel Holle
b76e1e46f0 Make the example fail
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 5m47s
Details
2024-12-11 13:29:14 +01:00
Daniel Holle
09c483542d Change grouping, doesnt work yet
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 5m18s
Details
2024-12-09 16:53:32 +01:00
Daniel Holle
77411973be Fix generics
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 4m30s
Details
2024-12-04 13:57:55 +01:00
Daniel Holle
d0d9c46a67 Work on constraints for parameters of generic records
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 6m14s
Details
2024-12-04 12:22:26 +01:00
Ruben
24bf3d350f feat: add Generic Resolver for Records
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 4m54s
Details
2024-11-29 13:50:09 +01:00
Daniel Holle
b9f9994de3 toString() doesn't return the class name, see #353
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 5m18s
Details
2024-11-27 12:57:58 +01:00
pl@gohorb.ba-horb.de
f0287c4611 modified: resources/AllgemeinTest/Box.jav
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 6m3s
Details 
modified:   src/test/java/AllgemeinTest.java
 2024-11-25 15:46:14 +01:00
pl@gohorb.ba-horb.de
edf609f916 Merge branch 'patternMatching' of ssh://gitea.hb.dhbw-stuttgart.de:2222/JavaTX/JavaCompilerCore into patternMatching
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 5m39s
Details
2024-11-24 08:15:12 +01:00
pl@gohorb.ba-horb.de
14e2af7d2a modified: resources/AllgemeinTest/Box.jav 
modified:   src/test/java/AllgemeinTest.java
 2024-11-24 08:15:01 +01:00
pl@gohorb.ba-horb.de
158adf837a modified: resources/bytecode/javFiles/PatternMatchingListAppend.jav
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 4m21s
Details
2024-11-21 14:55:52 +01:00
Daniel Holle
46b378e3a5 Fix value matching and add new test case
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 5m6s
Details
2024-11-21 14:31:18 +01:00
Daniel Holle
484a70c15c Fix test case
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 5m10s
Details
2024-11-20 17:22:05 +01:00
Daniel Holle
c461e89336 Try to use 22 for test, might fail
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 4m45s
Details
2024-11-20 17:03:37 +01:00
Daniel Holle
f846142ee1 Add broken value matching
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 40s
Details
2024-11-20 14:44:10 +01:00
Daniel Holle
443b8b0c09 Test nested record matching, thankfully switch does the heavy lifting, fixes #349
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 42s
Details
2024-11-20 13:17:10 +01:00
Daniel Holle
ff715a22cf Filter out duplicate patterns
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 43s
Details
2024-11-20 11:37:50 +01:00
Daniel Holle
170955b333 More complex overloading for switch
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 43s
Details
2024-11-19 15:19:40 +01:00
Daniel Holle
88d81f4af7 Work on overloading
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 47s
Details
2024-11-19 13:32:55 +01:00
Daniel Holle
bb11d24101 First implementation of generating a bridge method
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 45s
Details
2024-11-11 15:47:38 +01:00
Daniel Holle
e2bf09548f Rename test file and some work on the overloading behavior
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 50s
Details
2024-11-07 17:04:43 +01:00
Ruben
c33e372446 feat: change Test-Case
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 43s
Details
2024-10-25 15:58:18 +02:00
pl@gohorb.ba-horb.de
7c546834c0 modified: resources/bytecode/javFiles/PaternMatchingHaskellStyle.jav
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 43s
Details 
modified:   src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/StatementGenerator.java
	modified:   src/test/java/TestComplete.java
 2024-10-25 15:31:48 +02:00
Ruben
aa61f90fb1 feat: add Example for HaskellStyle Pattern Matching
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 43s
Details
2024-10-25 14:04:50 +02:00
Ruben
b4da20e1d4 feat: add Example for HaskellStyle Pattern Matching 2024-10-25 14:04:03 +02:00
Ruben
4d1950d0ba feat: add Example for HaskellStyle Pattern Matching
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 42s
Details
2024-10-25 12:06:23 +02:00
pl@gohorb.ba-horb.de
cc204f659a modified: resources/bytecode/javFiles/PaternMatchingHaskellStyle.jav
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 42s
Details
2024-10-25 11:12:46 +02:00
pl@gohorb.ba-horb.de
5893338783 new file: resources/bytecode/javFiles/PaternMatchingHaskellStyle.jav
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 51s
Details
2024-10-25 11:10:00 +02:00
Daniel Holle
e1e744152a Fix overloading considering too many options, fix #348
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 44s
Details
2024-10-11 14:13:55 +02:00
Ruben
fc22299af5 feat: add Literal in Records and LPattern for Syntaxtreegenerator
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 45s
Details
2024-10-09 17:01:28 +02:00
Daniel Holle
7811ecce63 Fix non chainable parts in dotted expression
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 49s
Details
2024-10-04 16:41:05 +02:00
Daniel Holle
44754e73ac Remove left over example code
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 6m28s
Details
2024-10-04 15:05:46 +02:00
Ruben
6ee308a712 feat: add Constraints for Records in Parameterlist
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 5m6s
Details
2024-10-02 17:06:30 +02:00
Daniel Holle
85d70378ca Merge branch 'patternMatching' of ssh://gitea.hb.dhbw-stuttgart.de:2222/JavaTX/JavaCompilerCore into patternMatching
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 5m42s
Details
2024-10-02 15:09:25 +02:00
Daniel Holle
89bbbdacd8 Work on pattern matching in function headers 2024-10-02 15:09:19 +02:00
Ruben
fbde5afb1b feat: changes on Grammar for literals in Records
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Has been cancelled
Details
2024-10-02 15:02:08 +02:00
Daniel Holle
6ccf2a3df6 Add overloading for switches, see #348
All checks were successful
Build and Test with Maven / Build-and-test-with-Maven (push) Successful in 5m1s
Details
2024-10-01 17:28:20 +02:00
Daniel Holle
b7979ac7e7 Fix tests
All checks were successful
Build and Test with Maven / Build-and-test-with-Maven (push) Successful in 7m41s
Details
2024-09-26 11:31:24 +02:00
Ruben
9ede47c2d6 feat: add Constraint for Default-Case
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 5m58s
Details
2024-09-20 18:02:53 +02:00
Ruben
406f98e55d feat: add Constraint for Default-Case 2024-09-20 18:02:13 +02:00
pl@gohorb.ba-horb.de
a9d836ce25 modified: src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/StatementGenerator.java
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 6m22s
Details 
modified:   src/main/java/de/dhbwstuttgart/parser/SyntaxTreeGenerator/SyntaxTreeGenerator.java
 2024-09-19 17:43:23 +02:00
pl@gohorb.ba-horb.de
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
 2024-09-19 17:22:51 +02:00
Ruben
929392b7d4 refactor: enhanced Constraint-Genereation
All checks were successful
Build and Test with Maven / Build-and-test-with-Maven (push) Successful in 5m41s
Details
2024-09-18 14:06:52 +02:00
Ruben
f57c8aa5a9 feat: add Constraints
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Has been cancelled
Details
2024-09-18 14:03:36 +02:00
Ruben
daa38183fa feat: adding Covariance for Switch
All checks were successful
Build and Test with Maven / Build-and-test-with-Maven (push) Successful in 4m37s
Details
2024-09-18 13:54:01 +02:00
Daniel Holle
eb454aa5b2 Add check for sealed interfaces
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 6m41s
Details
2024-09-13 14:23:03 +02:00
Daniel Holle
72035c48f2 Update dependencies
All checks were successful
Build and Test with Maven / Build-and-test-with-Maven (push) Successful in 5m56s
Details
2024-09-12 14:42:09 +02:00
Daniel Holle
54f258e333 Default throws
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Has been cancelled
Details
2024-09-12 14:36:26 +02:00
Ruben
114de0b236 refactor + test: removed comments and fixed Test-Assertion
All checks were successful
Build and Test with Maven / Build-and-test-with-Maven (push) Successful in 4m56s
Details
2024-09-04 11:03:11 +02:00
Ruben
8f094eb025 refactor: refactoring
Some checks failed
Build and Test with Maven / Build-and-test-with-Maven (push) Failing after 5m20s
Details
2024-09-04 10:42:11 +02:00