A compilation project for Thrid year students of IMT Atlantique (the former Telecom Bretagne)
The specification of the project can be found here (Authorization Required)
Using git clone
git clone https://redmine-df.telecom-bretagne.eu/git/f2b304_compiler_cnthen input your Username and Password in the command prompt
The project is divided by 2 parts
- phase1: the first delivery which contains the lexical and syntax analyzer for the language minijava
- phase2: the second delivery which contains the semantic analyzer for the language minijava based on the lexical and syntax analyzer that offered by professors
to build or execute the compiler, you should entre one of these folder, cd ./phase1 or cd ./phase2
Using the shell script build
./buildor using ocamlbuild to build the compiler
ocamlbuild Main.byteNotes
The main file is
Main/Main.ml, it should not be modified. It opens the given file,creates a lexing buffer, initializes the location and call the compile function of the moduleMain/compile.ml. It is this function that you should modify to call your parser.
Using the shell script minijavac
./minijavac <filename>or using the following command to build and then execute the compiler on the given file named <filename>
ocamlbuild Main.byte -- <filename>By default, the program searches for file with the extension
.javaand append it to the given filename if it does not end with it.
Using the shell script test
./testit will execute Main.byte on all files in the directory Evaluator
If you are a team member of the project, please follow the Working Standard to make appropriate contributions
Deadline 15/01/2018
- Line Terminators
- Input Elements and Tokens
- White Space
- Comments
- Identifiers
- Keywords
- for
- while
- else
- if
- Literals
- Int
- String
- Separators
- brace
- parenthese
- dot
- comma
- semicolon
- Operators
-
=Simple Assignment Operator -
+ - * / %Arithmetic Operators -
+ - ++ -- !Unary Operators -
== != > < <= >=Equality and Relational Operators -
&& ||Conditional Operators
-
- Keywords
- class
- static
- extends
- return
- new
- Classes
- Class Declaration
- simple class declaration
- simple class declaration with extends
- Field Declarations
- static Fields
- non-static Fields
- Method Declarations
- static Methods
- non-static Methods
- Class Declaration
Deadline 25/02/2018
- The construction of the class definition environment. This environment contains the type of methods for each class. This phase ignores the attributes (which are not visible outside the class) and the method bodies.
- create a class definition environment type called
class_env, it contains 4 fields as follows- methods: a
Hashtblthat maps from methode name to methode return type and argument type - constructors: a
Hashtblthat maps from constructor name to class reference type and argument type - attributes: a
Hashtblthat maps from attribute name to attribute type (declared type) - parent: a class reference type that refers to its class
- methods: a
- create a
Hashtblthat maps from class
- create a class definition environment type called
- [] The second phase is concerned with verifying that the inside of classes is correct (mainly the body of methods). She will also make sure of the correction of the higher level expression.
- create 3 verification methode that verifies the following aspects of the program
-
verify_methodsthat checks the type of methods- create a local definition environment type called
current_envit contains 3 fields as follows- returntype: the declared return type of the methode
- variables: a
Hashtblthat maps from local variable name to local variable declared type - this_class: the id of the class
- env_type: a string that identifies the type of the local definition environment, it could be
constructor,methodeorattribute, in this case, theenv_typeismethode
- write a verification methode (
verify_declared_args) that checks the declared type of variables in the methode arguments- check if there exists Duplicate Local Variable
- [] write a verification methode (
verify_statement) that checks the body of the methode- check declared variables
- check block of statement
- check expression
- check return statement when it's none, ex:
return; - check return statement when it's not none, ex:
return x; - [] check throw statement
- check while statement
- check if statement when it doesn't have
else - check if statement when it has
else - check for statement
- [] check try statement
- create a local definition environment type called
-
verify_constructorsthat checks the type of constructors -
verify_attributesthat checks the type of attributes
-
- create 3 verification methode that verifies the following aspects of the program
- ArgumentAlreadyExists
- ArgumentTypeNotExiste
- ArgumentTypeNotMatch
- AttributeAlreadyExists
- ClassAlreadyExists
- ConstructorAlreadyExists
- DuplicateLocalVariable
- IncompatibleTypes
- when constructor try to return a variable -> ("unexpected return value")
- when methode return does not contain variable -> IncompatibleTypes("missing return value")
- when methode return type does not corresponds with the declared one -> IncompatibleTypes("missing return value")
- when condition in if statement is not boolean -> IncompatibleTypes("[actual type] cannot be converted to boolean")
- when condition in if else statement is not boolean -> IncompatibleTypes("[actual type] cannot be converted to boolean")
- when loop condition in for statement is not boolean -> IncompatibleTypes("[actual type] cannot be converted to boolean")
- when loop condition in while statement is not boolean -> IncompatibleTypes("[actual type] cannot be converted to boolean")
- InvalidMethodDeclaration
- MethodAlreadyExists
- UnknownVariable
- UnknownClass
- UnknownMethod
- UnknowActualType
- WrongTypePrefixOperation
- WrongTypePostfixOperation
- WrongInvokedArgumentsLength
- WrongTypesAssignOperation
- WrongTypesOperation
- errors related to overloading
- errors related to overriding
Evaluation and execute by certain means
Construction of class descriptors table and method table.
class desc 7767 riptors table : name - classTable : (string, globalClassDescriptor) Hashtbl.t
method table : name - methodTable : (string, astmethod) Hashtbl.t
All the contents of functions of different classes are saved in the methodTable All the contents of classes are saved in the classTable except for the contents of functions Here we use the name of functions and type of params to in class descriptor to find the content of function in the methodTable
functions:
- class descriptor of a class : func_name_typeOfpara1,typeOfpara2 classname_func_name_typeOfpara1,typeOfpara2
- method table of : classname_func_name_typeOfpara1,typeOfpara2 astmethod In this way, functions that has the same name but different type of paramters are permitted in the compilation
constructors: name : typeOfpara1,typeOfpara2 content: astconst In this way, different types of constructors are permitted
Please take care that overriding are not supported in the typage. For testing the overriding, please delete the typage function first.
ParentClassNotDefined ：raised when parent class is not defined in the file SameFunctionAlreadyDefined: raised when function of class have the same name and the same type of parameters SameFunctionConstructorsDefined : raised when constructors of class have the same name and the same type of parameters