[Solved] Assignment 3: Parser with AST Generation

5/5 – (1 vote)

This assignment is a follow up to Assignment 2. In this assignment, you are going to insert semantic actions to parsing routines to generate an abstract syntax tree (AST) for the input program.This assignment requires a correct LL1 or LL2 miniJava grammar. You are encouraged to use your own mjParser0.jj program as the base for this assignment. However, an LL2 grammar for miniJava will be made available to you as well, after all assignment 1 programs are turned in. In either case, add a comment line at the top of your parser program indicating which version of the grammar it is based on, e.g. This parser is built with my own grammar.Name the parser program for this assignment mjParser.jj.PreparationDownload the zip file hw3.zip from the D2L website. After unzipping, you should see an assignment3directory with the following items: hw3.pdf this documentmjManual14.pdf the miniJava language manualmjParser0.jj a starting version of miniJava parser; it contains only the lexer portionast a directory containing the AST definition program file, Ast.javatst a directory containing sample miniJava programs and their corresponding AST dump outputsMakefile for building the parserrunp a script for running tests mjLL2Grammar.txt an LL(2) miniJava grammar (This file will be released separately, after allassignment 2 programs are turned in.)DetailsThe following are suggested steps to complete this assignment.1. Complete Lab 6. This weeks lab serves as a warm-up for this assignment. Its important that you finish the lab first.2. Familiarize yourself with the AST class definitions, especially the constructors. In your parser program, youll insert semantic actions to create AST nodes. Knowing what your choices are and what exact forms you need to follow will be very useful. Look inside the program, ast/Ast.java, to see the AST nodes details.3. Decide a return type for each parsing routine. In Assignment 2s parser program, parsing routines do not return anything. In the new version for this assignment, all parsing routines participate in the construction of an AST; each routine contributes its share by returning an AST object. Here is a rough guidance for return types (Details depend on your exact grammar.):1Parsing Routine Return TypeProgram() Ast.ProgramClassDecl() Ast.ClassDeclMethodDecl() Ast.MethodDeclParam() Ast.ParamVarDecl() Ast.VarDeclAny Type routine Ast.TypeAny Stmt routine Ast.StmtAny Expr routine Ast.ExpId() StringIntLit() intBoolLit() booleanNote that three of the return types, Ast.Type, Ast.Stmt, and Ast.Exp, are abstract classes.Any routine returning these types need to return an object of a concrete subclass of them (e.g. Ast.IntType).4. Insert semantic actions into the parsing routines. You may want to start with the simpler ones first.Most statement routines have direct corresponding AST nodes, so they are easy to handle. Binary and unary operation routines are also easy to handle. The more difficult routines are those involving ExtId, since they cover multiple miniJava constructs, e.g. method calls, assignments, array elements, and object fields. For these routines, you need to analyze each case carefully to decide what type of AST node to return. In some cases, a single routine may need to return different types of AST nodes for different sub cases.5. Compile and run tests. You can use the Makefile to compile your parser:linux makeYour program should be free of JavaCC and Java compiler warnings, and it should still detect all miniJava syntax errors as your Assignment 2 program did.To run a batch of tests from the /tst directory, use the runp script:linux ./runp mjParser tst/*.javaIt will place your parsers output in *.ast files and use diff to compare them one-by-one with the reference version in .ast.ref files. For each test program, its AST should be unique; therefore, your parsers output should match the reference copy exactly. You could also manually run a single test:linux java mjParser tst/test01.java