In this assignment, you will learn how to build the MiniC symbol table and check semantics in C++.

Semantic Checking Workflow in MiniC (cont’d from Assignment 3 Workflow)

After generating the AST, in main .cpp, the object verifier (of class VerifyAndBuildSymbols) visits each AST node starting from prog.  After visiting each node, check the node’s relationship with respect to the language, then build the symbol table and report semantics errors in VerifyAndBuildSymbols .cpp. In MiniC, we are specifically interested in the Function symbol table that maps the name to a FuncSymbolEntry and the Variable symbol table that maps the name to a VarSymbolEntry.

Data Structures for Semantic Checking

The related data structure of A4 is shown in Table 1. Your task is to:

●  Define and implement member functions of SymbolTable in SymbolTable .h.

●  Fill in the Function Symbol Table for the Program node and Variable Symbol Tables for ScopeStatement nodes and program node.

●  Fill in error messages in Errors vector in class VerifyAndBuildSymbols. The error message format should follow a4_errors .txt. In VerifyAndBuildSymbols .cpp, there are detailed hints that show which errors should be where.

Table 1: File Description

Tips

● You can learn about std::map operations from cppreference

●  Be sure you know how to visit each node starting from program in class ASTVisitor.

●  Class VerifyAndBuildSymbols should have a similar structure as class ASTPrinter visit methods. Generally, you want to visit the node, check for any errors, and then add the appropriate function or variable into your symbol table. You should also know about how virtual and overridden function calls work in the Base class and Derived class from the Tutorial.

●  You can change any files. You can add any functions or member functions for each class. The files of interest are shown in Table 1.

●  There are many useful functions in ASTNode .cpp when you check the node to report errors. e.g. You can fill in the definition for the locateDeclaringTableForVar() function if you think it is useful for checking parent scopes for the appropriate variable symbol table.

●  You can ignore some member functions if you choose not use them, such as setRoot() in ASTNode .cpp.

●  You should use the error printing format shown in a4_errors .txt and the hints (and their order) in VerifyAndBuildSymbols .cpp to check for semantic errors in the program.

●  You can build the symbol table and check errors at the same time.

●  The Minic language specification says ”The operators of level 4 do not associate, so a==b==c is illegal.” You’re free to check for this error, but it will not be tested in following assignments. The sample solution will show the answer in comments.

●  Do not think about very extreme or strange cases! The tests will not closely examine edge cases. This allows for some personal interpretation and differences in the compiler design.   For example, extreme cases like this will not be tested:

int  Hello(int  a,  int b,  int  c);

bool  Hello(bool  a,  int b, bool  c,  int  d){  return  1;  }

Errors will occur in different positions of the AST. All errors should be reported, but their order does not matter.

Public Autotester

We will provide a public autotester tester/asst4 .py in the A4 starter file(will be posted after A3 hard deadline).

Under tester/ directory, simply run:

$./asst4.py

OR  in  verbose mode

$./asst4.py  -v

The A4 tester will examine semantics error messages with different MiniC benchmarks. The error messages are listed in a4_errors .txt, which is released as a separate file. We may also release additional files as part of the skeleton code.