GitHub - Porter-Carl-IV/CS481-Compiler: Type-Checker stage of cs481 compiler project

Porter-Carl-IV / CS481-Compiler Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Type-Checker stage of cs481 compiler project

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
NapCounterExamples		NapCounterExamples
NapExamples		NapExamples
ast		ast
compiler		compiler
type		type
util		util
README.txt		README.txt
build.sh		build.sh
clean.sh		clean.sh
nap.g4		nap.g4
testCorrect.sh		testCorrect.sh
testErrs.sh		testErrs.sh

Repository files navigation

PACKAGES

parser:   Java classes generated by ANTLR
ast: 	  AST classes
util: Contains Pair utility class
napExamples: Syntactically correct nap programs
napCounterExamples: Incorrectly typed examples
compiler:
- PrettyPrinter: a printer
- Main: main method that takes a single file name as an argument, parses it then converts to abstract syntax tree and prints it into the console
- BuilAST: Converts from parse tree to abstract syntax tree
- TypeChecker: Visits AST to check types
- SymbolTableBuilder: visits AST to build symbol tables

Run build.sh script, then run testCorrect.sh to test correct programs, and testErrs.sh to test incorrect programs