JanUlrich
|
43ad1c4964
|
Cleanup
|
2022-05-30 14:36:41 +02:00 |
|
Andreas Stadelmeier
|
a24faf8f2d
|
remove uncessary variable
|
2022-05-17 12:22:21 +02:00 |
|
Andreas Stadelmeier
|
58261b1fc4
|
Add assertions to IntegrationTest
|
2022-05-17 12:22:02 +02:00 |
|
Andreas Stadelmeier
|
f88da9e736
|
Remove comments
|
2022-05-17 11:51:18 +02:00 |
|
JanUlrich
|
d26363ec19
|
Add optional constructor to parser
|
2022-05-15 23:38:55 +02:00 |
|
Andreas Stadelmeier
|
556995716f
|
Merge
|
2022-05-06 01:49:50 +02:00 |
|
JanUlrich
|
3018c060f4
|
Fix sub-elim rule
|
2022-05-04 16:58:19 +02:00 |
|
JanUlrich
|
df9f34c739
|
Change a <. B to a =. B if B is a generic
|
2022-05-04 16:56:14 +02:00 |
|
JanUlrich
|
37ae27a521
|
Fix subElim rule, Fix type insert
|
2022-04-16 15:54:53 +02:00 |
|
JanUlrich
|
93af1d12f6
|
add subElimRule
|
2022-04-16 15:44:59 +02:00 |
|
Andreas Stadelmeier
|
0267a2df24
|
fix sub-elim (removeALessdotB) function
|
2022-04-12 19:50:35 +02:00 |
|
Andreas Stadelmeier
|
6340672a27
|
Remove comments
|
2022-04-12 17:05:58 +02:00 |
|
Andreas Stadelmeier
|
93f7edf467
|
Rafactoring: Remove unused code. Add duplicated method filtering
|
2022-04-11 17:32:18 +02:00 |
|
Andreas Stadelmeier
|
faef14cf05
|
Fix
|
2022-03-17 02:54:32 +01:00 |
|
Andreas Stadelmeier
|
3cb0973a71
|
Change type insert to non-filtered method
|
2022-03-17 02:52:05 +01:00 |
|
JanUlrich
|
573e91b6a3
|
Add Sigma method
|
2022-03-16 18:40:09 +01:00 |
|
Andreas Stadelmeier
|
607405920d
|
Filter a <. b constraints at end of Unify. Create T <. Object constraints in TYPEMethod for ret and param types
|
2022-03-10 22:49:01 +01:00 |
|
Andreas Stadelmeier
|
16dbfbc957
|
apply sigma method
|
2022-03-10 19:10:14 +01:00 |
|
JanUlrich
|
be7ccf8265
|
Unfinished backup
|
2022-03-10 14:24:17 +01:00 |
|
JanUlrich
|
b5083ba46a
|
Add Cast. Add ParserExpr and convert it to Expr after parsing
|
2022-03-09 14:24:11 +01:00 |
|
JanUlrich
|
39c5a0527d
|
Remove keywords, add this Parser Tests
|
2022-03-07 14:59:17 +01:00 |
|
JanUlrich
|
fc8460ea29
|
Cleanup, Fix Parser Tests
|
2022-03-07 13:45:59 +01:00 |
|
Andreas Stadelmeier
|
1df207c8c5
|
Fix Filter overloaded methods
|
2021-12-13 05:55:37 +01:00 |
|
JanUlrich
|
51c9f217c0
|
Filter methods
|
2021-12-13 01:32:54 +01:00 |
|
JanUlrich
|
bb3a3ef430
|
Fix type insert error
|
2021-12-12 10:47:01 +01:00 |
|
JanUlrich
|
341875c843
|
Fix insertTypes
|
2021-12-11 23:21:08 +01:00 |
|
JanUlrich
|
04abdd7ad4
|
Add FJNamedType and conversion methods. Add method filtering. Result has errors
|
2021-12-11 06:18:36 +01:00 |
|
JanUlrich
|
c23713ad01
|
Add FJType
|
2021-12-10 06:41:10 +01:00 |
|
JanUlrich
|
27bd663b1b
|
add FJNamedType trait. Not Runnable!
|
2021-12-09 19:51:38 +01:00 |
|
JanUlrich
|
0c79b40f2f
|
Fix type insert error
|
2021-12-07 16:30:13 +01:00 |
|
Andreas Stadelmeier
|
d03231fd95
|
Adding the possibility of type annotations to input
|
2021-12-06 20:14:05 +01:00 |
|
Andreas Stadelmeier
|
a8c5131de3
|
Start optional type annotations for methods. Currently not working
|
2021-12-03 02:09:10 +01:00 |
|
Andreas Stadelmeier
|
92ef0f4991
|
FC transitive types added
|
2021-12-03 01:13:49 +01:00 |
|
JanUlrich
|
0467bec4b3
|
Merge branch 'master' of ssh://gohorb.ba-horb.de/bahome/staff/stan/git/FJTypeinference
|
2021-12-02 22:49:40 +01:00 |
|
JanUlrich
|
5bc55324e1
|
add test
|
2021-12-02 22:49:18 +01:00 |
|
Andreas Stadelmeier
|
21d77dd026
|
Start principal method filtering
|
2021-12-02 02:49:39 +01:00 |
|
JanUlrich
|
477c60f841
|
Calculate all possible solutions. Working state!
|
2021-12-01 16:58:27 +01:00 |
|
JanUlrich
|
7392a865d3
|
Fix substStep
|
2021-12-01 11:49:47 +01:00 |
|
JanUlrich
|
5ef6d9abb9
|
Fix type insert
|
2021-12-01 11:34:16 +01:00 |
|
Andreas Stadelmeier
|
60a22967f9
|
Inser types still wrong
|
2021-11-30 22:29:26 +01:00 |
|
Andreas Stadelmeier
|
7cb3300e8a
|
Backup. Not working state
|
2021-11-30 03:47:07 +01:00 |
|
JanUlrich
|
fb7593cf3b
|
Insert minimal set of generics. correctly output AST
|
2021-11-22 19:10:20 +01:00 |
|
Andreas Stadelmeier
|
39c9adb794
|
Output typed classes. Filter constraints before inserting them as method generics
|
2021-11-17 06:39:26 +01:00 |
|
Andreas Stadelmeier
|
0c59de6f63
|
Use highlight.js
|
2021-11-16 17:11:24 +01:00 |
|
Andreas Stadelmeier
|
cff305e0db
|
Only insert relevant constraints for each method. Remove a <. b constraints
|
2021-11-16 14:38:15 +01:00 |
|
Andreas Stadelmeier
|
1b2d6bd172
|
Step 2 uses CartesianProduct class. Only first possible solution is selected
|
2021-11-16 07:39:47 +01:00 |
|
Andreas Stadelmeier
|
2d718f3ef9
|
Subst step tries as many substitutions as possible
|
2021-11-16 01:17:36 +01:00 |
|
Andreas Stadelmeier
|
8f807c6482
|
unify iterative
|
2021-11-15 00:27:59 +01:00 |
|
JanUlrich
|
f659ff1536
|
Only compile one class at a time
|
2021-11-11 23:36:43 +01:00 |
|
JanUlrich
|
e8bc91756a
|
Replace generics in constraint lists. this has no generic types
|
2021-11-10 13:50:42 +01:00 |
|