Syntax Analysis

[thelink2012]

This is a tracking issue for the progress of syntax analysis.

A small guide for adding a syntactic feature is as follow:

1. Add a parser for the desired production(s) at parser.cpp.
2. When necessary, create its AST node(s) at ast.hpp.
3. ...creation of nodes shall happen in semantics.cpp.
4. ...implement AST dump functionality at ast-dump.cpp.
5. Test it. Add those tests to test/sintatico/. Think about corner cases as well as successful ones.

Do not consider semantic analysis yet, let's focus on syntax.

To run the analyses manually, taking a source file as input and giving an AST dump as output, run ./sintatico <input> <output>.

Syntax Analysis Progress

Productions which are related to each other are grouped together.

Basic Program Structure

• [x] program
• [x] declaration-list
• [x] declaration

Variable Declaration

• [x] var-declaration

Function Declaration

• [x] fun-declaration
• [x] params
• [x] param-list
• [x] param
• [x] compound-stmt
• [x] local-declarations
• [x] statement-list
• [x] statement

Selection Statement

• [x] selection-stmt

Iteration Statement

• [x] iteration-stmt

Return Statement

• [x] return-stmt

Expression Statement

• [x] expression-stmt

Expressions

• [x] expression
• [x] simple-expression
• [x] relop
• [x] additive-expression
• [x] addop
• [x] term
• [x] mulop
• [x] factor

Variable

• [x] var

Function Call

• [x] call
• [x] args
• [x] arg-list

[thelink2012]

Tests for syntax are not declaring variables.

This will cause problems when we introduce semantic validation.

To fix this we'll need to (at some point) print random trash to stdout whenever a undeclared variable is used. This way we can track those "wrong" tests and fix them.

[thelink2012]

When this is done look at the bottom of parser.cpp to verify (and test) if the grammar challenges were accomplished.

[tysm]

With the last commit only the tests remain ^~^.

[thelink2012]

~Will not include tests for complete programs in sintatico, will leave that for semantico tests.~