Merge pull request #39 from zestones/dev

Dev

Makefile

@@ -13,7 +13,7 @@
 #             defines the compiler and flags             #
 # ------------------------------------------------------ #
 CC      = gcc
-CFLAGS  = -g
+CFLAGS  = -g -Wall -Wextra -pedantic
 LEX     = lex
 YACC    = yacc
 
@@ -49,6 +49,7 @@ all: compiler vm simple-clean
 install: 
 	sudo apt install flex bison
 	sudo apt install doxygen
+	sudo apt install gdb
 
 extension-install:
 	@if [ -d ~/.vscode/extensions/ ]; then \

example/compilation/.out/expected_outputs/errors/semantic/func_proc/predefined/input_proc.out

@@ -10,6 +10,10 @@
   Format string expects 2 arguments, but 1 were provided.
   Ensure the correct number of arguments are passed to match the format string.
 
+[Semantic Error] Argument mismatch in format string at example/compilation/errors/semantic/func_proc/predefined/input_proc.arn:25:16.
+  Format string expects 2 arguments, but 0 were provided.
+  Ensure the correct number of arguments are passed to match the format string.
+
 Verbose mode enabled. Printing tables and ast...
 
 +----------------------------+
@@ -168,5 +172,7 @@ Root of the AST:
 │   │   │   │   ├── A_ARGUMENT, Lexico Idx: -1, Decl Idx: -1
 │   │   │   │   │   ├── A_IDENTIFIER, Lexico Idx: 5, Decl Idx: 5 -- Lexeme: 'name'
 │   │   │   └── A_FORMAT_STRING, Lexico Idx: 17, Decl Idx: -1 -- Lexeme: '"%c %d"'
+│   │   └── A_INPUT_STATEMENT, Lexico Idx: -1, Decl Idx: -1
+│   │   │   ├── A_FORMAT_STRING, Lexico Idx: 17, Decl Idx: -1 -- Lexeme: '"%c %d"'
 +------------------------------------------------------------------------+
 

example/compilation/.out/expected_outputs/errors/semantic/func_proc/predefined/print_proc.out

@@ -10,6 +10,10 @@
   Argument '2' has type '"Hello %d"', but specifier 'f' expects a different type.
   Ensure the argument type matches the expected type for the specifier.
 
+[Semantic Error] Argument mismatch in format string at example/compilation/errors/semantic/func_proc/predefined/print_proc.arn:10:31.
+  Format string expects 2 arguments, but 0 were provided.
+  Ensure the correct number of arguments are passed to match the format string.
+
 Verbose mode enabled. Printing tables and ast...
 
 +----------------------------+

example/compilation/.out/expected_outputs/errors/semantic/type/base_type.out

@@ -2,10 +2,6 @@
   The type 'date' should be a base type (int, float, bool, char).
   Ensure the type is one of the supported base types.
 
-[Type Error] Invalid type 'date' at example/compilation/errors/semantic/type/base_type.arn:16:26.
-  The type 'date' should be a base type (int, float, bool, char).
-  Ensure the type is one of the supported base types.
-
 Verbose mode enabled. Printing tables and ast...
 
 +----------------------------+

example/compilation/errors/lexical/unknow_char.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 var a : float;
 var f : int;

example/compilation/errors/semantic/array/access.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 type date : struct  {
     jour : int;

example/compilation/errors/semantic/array/assignement.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 type date : struct  {
     jour : int;

example/compilation/errors/semantic/array/undefined.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 var x : int;
 

example/compilation/errors/semantic/condition/if_statement.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 var x : int;
 var is_red : bool;

example/compilation/errors/semantic/condition/valid_type.arn

@@ -1,4 +1,4 @@
-PROG
+
 // Assuming the following types are defined as:
 type date : struct {
     jour : int;

example/compilation/errors/semantic/condition/while_statement.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 var x : int;
 

example/compilation/errors/semantic/expression/expression.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 var a : int;
 var b : float;

example/compilation/errors/semantic/func_proc/argument/array.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 type date : struct  {
     jour : int;

example/compilation/errors/semantic/func_proc/argument/function.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 var x:bool;
 

example/compilation/errors/semantic/func_proc/argument/nested_array.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 type date : struct  {
     jour : int;

example/compilation/errors/semantic/func_proc/argument/procedure.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 var x:bool;
 

example/compilation/errors/semantic/func_proc/argument/structure.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 type date : struct  {
     jour : int;

example/compilation/errors/semantic/func_proc/predefined/input_proc.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 var x : int;
 var name : char;
@@ -22,3 +22,4 @@ input("%d %c", my_struct.jour, name);
 input("%d %c", my_struct.annee, name);
 input("%d", my_struct.mois, name);
 input("%c %d", name);
+input("%c %d");

example/compilation/errors/semantic/func_proc/predefined/print_proc.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 print("Hello %d", 42);
 print("Hello %d, here is %s", 42, "world");
@@ -7,3 +7,4 @@ print("Hello %d, here is %s", 42, "world");
 print("Hello %d", 42, "extra");             // Error: Too many arguments
 print("Hello %d, here is %s", 42);          // Error: Too few arguments
 print("Hello %d, here is %f", 42, "oops");  // Error: Type mismatch
+print("Hello %d, here is %s");              // Error: Missing arguments

example/compilation/errors/semantic/func_proc/prototype/prototype.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 func zero() -> float {
     return 0.0;

example/compilation/errors/semantic/func_proc/redefined.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 func main() -> int {
     return 0;

example/compilation/errors/semantic/func_proc/undefined.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 var x : int;
 

example/compilation/errors/semantic/overload/assignement.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 type x : struct {
     a : int;

example/compilation/errors/semantic/struct/access.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 type date : struct  {
     jour : int;

example/compilation/errors/semantic/struct/assignement.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 type date : struct  {
     jour : int;

example/compilation/errors/semantic/struct/undefined.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 type date : struct  {
     jour : int;

example/compilation/errors/semantic/type/base_type.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 type date : struct  {
     jour : int;

example/compilation/errors/semantic/type/redefined.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 type date : struct  {
     jour : int;

example/compilation/errors/semantic/type/undefined.arn

@@ -1,3 +1,3 @@
-PROG
+
 var x : int;
 var z : x; // x is a variable not a type so undefined type x

example/compilation/errors/semantic/variable/assignement.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 type date : struct  {
     jour : int;

example/compilation/errors/semantic/variable/redefined.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 var x: int;
 var x: int;

example/compilation/errors/semantic/variable/undefined.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 var n : int;
 

example/compilation/errors/syntax/mixed_declaration.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 var n : int;
 n := 5;

example/compilation/errors/syntax/reserved_token.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 var x : char;
 

example/compilation/to-remove.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 type matrix: array[0:9, 0:9] of int;
 

example/interpretation/array.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 type tab : array[0:1, 0:1, 0:1] of int; 
 var tab : tab;

example/interpretation/break.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 var n : int;
 

example/interpretation/calculator/simple-calculator.arn

@@ -1,4 +1,4 @@
-PROG
+
 
 // Calculator Program with Enhanced ASCII Display
 var choice: int;