Add initial typechecker for AST #2

Merged

mrab merged 121 commits from typedAST into master 2024-06-14 07:53:30 +00:00

Conversation 0 Commits 121 Files Changed 17 +1344 -546

MisterChaos69 commented 2024-05-07 20:43:28 +00:00

Owner

Copy Link

Introduce the initial version of a comprehensive typechecker for the AST as defined by the team. This release also includes several tests to verify its expected behavior.

Introduce the initial version of a comprehensive typechecker for the AST as defined by the team. This release also includes several tests to verify its expected behavior.

MisterChaos69 added 16 commits 2024-05-07 20:43:29 +00:00

inital commit with first version dbdd2f85bd

update block and local variable typecheck 62bd191314

add full block type checking 0debfe995d

Fix type mismatch and redefinition issues in typeCheckStatement function ae6232380e

add name resolution, fix symbol table key, value switchup f14470d8cc

added means of testing 8d9d28cb1f

fixed typechecker trying to find a field of a class in the symboltable 75272498c4

moved type check to its own file ff03be2671

apply pull and add tests 40c7cab0e3

add expression to methodcall 7422510267

add typecheck method and constructor call 358293d4d4

fixed method and name resolution typecheck 8c3c3625b9

added tests d47c7f5a45

removed unneccesary comments b040130569

added methodcall and assigment test acab0add95

add program tests ced5d1df9c

MisterChaos69 added 1 commit 2024-05-08 08:26:23 +00:00

add local and field var 7bfdeed620

MisterChaos69 added 1 commit 2024-05-08 15:39:46 +00:00

add differentiation between local and field variable 1d5463582f

MisterChaos69 added 1 commit 2024-05-13 11:13:27 +00:00

add modulus to AST and Typecheck 20184c5e26

MisterChaos69 added 1 commit 2024-05-14 07:36:23 +00:00

fix spelling error e350c23db1

MisterChaos69 added 1 commit 2024-05-14 08:04:04 +00:00

Assignment now rakes expression instead of identifier 666fb4ee1a

MisterChaos69 added 1 commit 2024-05-14 09:19:29 +00:00

add post and pre operations 3fa9736172

MisterChaos69 added 1 commit 2024-05-14 09:21:09 +00:00

Refactor BinaryOperations and add char operations fae3498bd9

MisterChaos69 added 1 commit 2024-05-14 09:26:29 +00:00

refactor unused function f8b0b59c5d

MisterChaos69 added 38 commits 2024-05-14 10:35:26 +00:00

parser add custom type fields e04c475c55

parser implement multiple declarations 32cce1f137

parser add modifier bea9a039a8

parser add empty methods d3ea0d6d7b

add void methods e3fa3efd95

parser implement methods with params 158197b440

parser improve error messages 5e8a2a90ed

parser add constructor fecc7eceaa

parser implement localvardeclaration 2f81f82661

parser implement multiple blockstatements a4b933d659

parser implement nested blocks e8151ad2f0

parser add emptystatement ebfb912183

parser implement int initializiation c8ce7f4b43

parser implement varibale initialization c49b7f556c

parser add custom type fields decc909c23

parser implement multiple declarations 301b87c9ac

parser add modifier 5e90f0d0ee

parser add empty methods f57f360abf

add void methods 3130f7f7d4

parser implement methods with params f183b8b183

parser improve error messages 9e6f31479f

parser add constructor ea18431b77

parser implement localvardeclaration 58367a95e6

parser implement multiple blockstatements 98321fa162

parser implement nested blocks b82e205bcd

parser add emptystatement b957f512ad

parser implement int initializiation ebf54bf4cb

parser implement varibale initialization 90fa658c8f

Merge branch 'create-parser' of https://gitea.hb.dhbw-stuttgart.de/MisterChaos69/MiniJavaCompiler into create-parser 8de0309107

parser add return f82776e636

parser add unary not, plus and minus 4f61431c79

parser add multiplication, division, modulo, addition, subtraction de078639fc

parser add and, or, xor c29aa13d69

replace parseBlock with parseStatement 64829c2086

Merge remote-tracking branch 'origin/typedAST' into create-parser 83e6964d71

parser add increment decrement 7ba9743b0a

set constructor return type void aa3b196ab5

Merge remote-tracking branch 'origin/create-parser' into typedAST a7b4c7e58e

MisterChaos69 added 1 commit 2024-05-15 10:51:18 +00:00

null is now a valid declaration value for a object a80dc1d34b

MisterChaos69 added 1 commit 2024-05-15 11:04:09 +00:00

null is now a valid declaration value for a object 07837f7d5f

MisterChaos69 added 1 commit 2024-05-16 07:36:37 +00:00

fix return null for object return type not possible 2a502a6c67

MisterChaos69 added 6 commits 2024-05-16 08:13:39 +00:00

parser add if then fef619ac03

parser add ifthenelse 5723f6c662

parser add while loop 524c667c43

parser implement assign 9f658397de

parser add timesequal, divideequal, moduloequal, minusequal, andequal, xorequal, orequal a4d41b9ef7

Merge remote-tracking branch 'origin/create-parser' into typedAST e95377ee72

MisterChaos69 added 1 commit 2024-05-19 07:20:47 +00:00

refactor: move incremental types to statementsexpressions 067bf8d796

MisterChaos69 added 2 commits 2024-05-26 19:45:41 +00:00

feat: Add support for block statements in type checking 6ab64371b5

Merge branch 'typedAST' of https://gitea.hb.dhbw-stuttgart.de/MisterChaos69/MiniJavaCompiler into typedAST 0694dfb77d

MisterChaos69 added 1 commit 2024-05-31 08:00:15 +00:00

make UnaryOperation a statementexpression 25c0c33109

MisterChaos69 added 1 commit 2024-05-31 08:02:57 +00:00

remove expression from unary operators 56cc1a9374

MisterChaos69 added 1 commit 2024-05-31 08:07:05 +00:00

change back UnaryOperation and move it to StatementExpression c690b01396

MisterChaos69 added 3 commits 2024-05-31 08:35:13 +00:00

Revert "change back UnaryOperation and move it to StatementExpression" ... 761244df74

This reverts commit c690b01396.

Revert "remove expression from unary operators" ... 8cf022e6e0

This reverts commit 56cc1a9374.

Revert "make UnaryOperation a statementexpression" ... 4c82f5bfdd

This reverts commit 25c0c33109.

MisterChaos69 added 8 commits 2024-05-31 08:35:38 +00:00

parser add this and braced expressions b11adcf907

parser add assigment statement f81a812f59

add test c347e6c630

parser add methodcall no params 3c70f9f1f6

parser implement methodcall with params 24c2920c9c

parser add dot method call f4d31a85cc

parser implement constructor with statements 1e59ba9e27

Merge remote-tracking branch 'origin/create-parser' into typedAST a62d4c35e1

MisterChaos69 added 2 commits 2024-05-31 08:36:25 +00:00

fix increment d4f474ba54

Merge remote-tracking branch 'origin/create-parser' into typedAST 45114caffb

MisterChaos69 added 34 commits 2024-05-31 14:26:25 +00:00

Merge branch 'create-parser' of ssh://gitea.hb.dhbw-stuttgart.de:2222/MisterChaos69/MiniJavaCompiler into bytecode 9d7af6effb

Working pipeline for whole compiler d54c7cd7e6

added boolean expression assembly 09469e0e45

Merge branch 'create-parser' of ssh://gitea.hb.dhbw-stuttgart.de:2222/MisterChaos69/MiniJavaCompiler into bytecode 393253c9bb

method assembly is actually used (yay) 86e15b5856

constructor and method call using this d1d9a5d6e1

Merge branch 'create-parser' of ssh://gitea.hb.dhbw-stuttgart.de:2222/MisterChaos69/MiniJavaCompiler into bytecode 5284d6ecba

block and if assembly (no else) f9f984568f

Merge branch 'create-parser' of ssh://gitea.hb.dhbw-stuttgart.de:2222/MisterChaos69/MiniJavaCompiler into bytecode 95178366a2

else Assembly a179dec3ea

Merge branch 'create-parser' of ssh://gitea.hb.dhbw-stuttgart.de:2222/MisterChaos69/MiniJavaCompiler into bytecode c02de8f9b2

Bugfix: else assembly a4fff37b07

add: local variable assembler b095678769

local variables working 207fb5c5f3

add: inject default constructor e572975bda

Local variable assignment 535a6891ad

Merge branch 'typedAST' of ssh://gitea.hb.dhbw-stuttgart.de:2222/MisterChaos69/MiniJavaCompiler into bytecode 53e1afc9e4

Merge branch 'create-parser' of ssh://gitea.hb.dhbw-stuttgart.de:2222/MisterChaos69/MiniJavaCompiler into bytecode d13e24c216

While assembly 09f70ca789

Merge branch 'typedAST' of ssh://gitea.hb.dhbw-stuttgart.de:2222/MisterChaos69/MiniJavaCompiler into bytecode ddab04f063

restructured bytecode code d0d2cbd081

Merge branch 'create-parser' of ssh://gitea.hb.dhbw-stuttgart.de:2222/MisterChaos69/MiniJavaCompiler into bytecode fadbdf1035

increment/decrement 6f4143a60a

Merge branch 'typedAST' of ssh://gitea.hb.dhbw-stuttgart.de:2222/MisterChaos69/MiniJavaCompiler into bytecode 2ac3b60e79

Merge branch 'create-parser' of ssh://gitea.hb.dhbw-stuttgart.de:2222/MisterChaos69/MiniJavaCompiler into bytecode 2e7c28812b

Merge branch 'bytecode' of ssh://gitea.hb.dhbw-stuttgart.de:2222/MisterChaos69/MiniJavaCompiler into bytecode 5aa193bc08

Merge branch 'typedAST' of ssh://gitea.hb.dhbw-stuttgart.de:2222/MisterChaos69/MiniJavaCompiler into bytecode 6abb9ae8ba

parser implement field access 408111df51

parser add field subaccess 84613fabe0

parser add preincrement and decrement conversion 2acba0f283

moved expression statement and expressionstatement 2b7d217e8a

Revert "parser add preincrement and decrement conversion" ... 30365d76bd

This reverts commit 2acba0f283.

Merge remote-tracking branch 'origin/bytecode' into typedAST fc96eba52e

Merge remote-tracking branch 'origin/create-parser' into typedAST 060321f323

MisterChaos69 added 1 commit 2024-05-31 15:10:55 +00:00

fix if typecheck 05b599b8ff

MisterChaos69 added 1 commit 2024-05-31 15:11:50 +00:00

fix false error message 3d351ee02b

MisterChaos69 added 1 commit 2024-06-10 10:54:26 +00:00

remove unused thisMeth type. Returns are combined and already checked against return Type 98b02446ba

MisterChaos69 added 6 commits 2024-06-11 18:05:04 +00:00

parser add constructor call 666856b33a

parser add increment statement af093fa3bb

fix intliteral 0 82b2b4a6e1

fix test 7c52084bbe

Merge remote-tracking branch 'origin/create-parser' into typedAST a62fe50a0d

add typechecking for returns, fix finding of constructors, fix if statement b525d14192

MisterChaos69 added 1 commit 2024-06-13 07:26:09 +00:00

add using standard constructor for constructor call 710ec43959

MisterChaos69 added 1 commit 2024-06-13 13:50:04 +00:00

make implicit this to explicit this for field variables baf9362634

MisterChaos69 added 1 commit 2024-06-13 15:33:34 +00:00

fix missing Typed Expression for local and field variable 2139e7832c

MisterChaos69 added 1 commit 2024-06-13 18:35:08 +00:00

fix variable redefinition in scope not working 7e13b3fac3

MisterChaos69 added 1 commit 2024-06-13 20:06:15 +00:00

add missing typeCheckVariableDeclaration f02226bca8

mrab merged commit b1735c6300 into master 2024-06-14 07:53:30 +00:00

mrab referenced this issue from a commit 2024-06-14 07:53:30 +00:00

Merge pull request 'Add initial typechecker for AST' (#2) from typedAST into master

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No Label

Milestone

Clear milestone

No items

No Milestone

Projects

Clear projects

No project

Assignees

Clear assignees

No Assignees

1 Participants

Notifications

Subscribe

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: MisterChaos69/MiniJavaCompiler#2

No description provided.