7 files changed, 177 insertions, 171 deletions

diff --git a/res/exp.tpc b/res/exp.tpc
deleted file mode 100644
index 471c068..0000000
--- a/res/exp.tpc
+++ /dev/null
@@ -1,5 +0,0 @@
-/* exp.tpc */
-
-/* double valeur(double a, double b, double c, double x) ; */
-/* Résolution d'une équation du deuxième degré */
-    r1=(-b+s)/(2*a)+print(valeur(1,b,c,r1),valeur(1,b,c,r2))
diff --git a/res/instr.tpc b/res/instr.tpc
deleted file mode 100644
index 7153ac2..0000000
--- a/res/instr.tpc
+++ /dev/null
@@ -1,28 +0,0 @@
-/* instr.tpc */
-/* int trinome(float a, float b, float c) ;
-    double valeur(double a, double b, double c, double x) ; */
-/* Résolution d'une équation du deuxième degré */
-    b=-1;
-    while (b<=1) {
-        c=-1;
-        while (c<=1) {
-            print(b, c);
-            if (trinome(1,b,c)) {
-                print(r1, r2);
-                print(valeur(1,b,c,r1),valeur(1,b,c,r2));
-            }
-            c=c+1;
-        }
-        b=b+1;
-    }
-    return 0;
-    d=b*b-4*a*c;
-    if (d>=0) {
-        s=sqrt(d);
-        r1=(-b+s)/(2*a);
-        r2=(-b-s)/(2*a);
-        return 1;
-    }
-    return 0;
-    if (0<=r1 && r1<=max && 0>=r2 && r2>=-max)
-        return;
\ No newline at end of file
diff --git a/res/ko_sample.tpc b/res/ko_sample.tpc
new file mode 100644
index 0000000..f3a4c7a
--- /dev/null
+++ b/res/ko_sample.tpc
@@ -0,0 +1,24 @@
+/**
+  * UPEM / Compilation / Projet TPC
+  * Exemple de fichier source TPC invalide
+  * Pacien TRAN-GIRARD, Adam NAILI
+  */
+
+const special = 'b';
+
+char funky_func(int arg) {
+  return !arg;
+}
+
+void main(void) {
+  void ret;
+  ret = 1 + funky_func(0) * 2;
+
+  while (ret) {
+    readc(ret);
+    print(ret);
+
+    if (ret == special) print('!');
+  }
+}
+
diff --git a/res/ok_sample.tpc b/res/ok_sample.tpc
new file mode 100644
index 0000000..7591dfd
--- /dev/null
+++ b/res/ok_sample.tpc
@@ -0,0 +1,24 @@
+/**
+  * UPEM / Compilation / Projet TPC
+  * Exemple de fichier source TPC valide
+  * Pacien TRAN-GIRARD, Adam NAILI
+  */
+
+const special = 'b';
+
+char funky_func(int arg) {
+  return !arg;
+}
+
+void main(void) {
+  char ret;
+  ret = 1 + funky_func(0) * 2;
+
+  while (ret) {
+    readc(ret);
+    print(ret);
+
+    if (ret == special) print('!');
+  }
+}
+
diff --git a/res/trinome.tpc b/res/trinome.tpc
deleted file mode 100644
index c3e2f94..0000000
--- a/res/trinome.tpc
+++ /dev/null
@@ -1,43 +0,0 @@
-/* #include <stdio.h>
-   #include <math.h> */
-/* int trinome(float a, float b, float c) ;
-    double valeur(double a, double b, double c, double x) ; */
-/* Résolution d'une équation du deuxième degré */
-float r1, r2;
-
-int main(void) {
-   int b, c;
-   b=-1;
-   while (b<=1) {
-       c=-1;
-       while (c<=1) {
-           print(b, c);
-           if (trinome(1,b,c)) {
-               print(r1, r2);
-               print(valeur(1,b,c,r1),valeur(1,b,c,r2));
-               if (0<=r1 && r1<=max && 0>=r2 && r2>=-max)
-                   return 0;
-           }
-           c=c+1;
-       }
-       b=b+1;
-   }
-   return 0;
-}
-
-int trinome(float a,float b, float c) {
-    float d;
-    float s;
-    d=b*b-4*a*c;
-    if (d>=0) {
-        s=sqrt(d);
-        r1=(-b+s)/(2*a);
-        r2=(-b-s)/(2*a);
-        return 1;
-    }
-    return 0;
-}
-
-double valeur(double a, double b, double c, double x) {
-    return a*x*x+b*x+c;
-}
\ No newline at end of file
diff --git a/src/tpc.lex b/src/tpc.lex
index 63d4391..8b824c0 100644
--- a/src/tpc.lex
+++ b/src/tpc.lex
@@ -16,15 +16,13 @@ int lineno = 1;
 [ \t\r]+                ;
 \n                      { lineno++; }
 "/*"                    { BEGIN COMMENT; }
-&&                      { return AND; }
+"&&"                    { return AND; }
 "||"                    { return OR; }
 "*"|"/"|%               { return DIVSTAR; }
 "+"|-                   { return ADDSUB; }
-"<"|"<="|">"|>=         { return ORDER; }
+"<"|"<="|">"|">="       { return ORDER; }
 ==|!=                   { return EQ; }
 int                     { return TYPE; }
-float                   { return TYPE; }
-double                  { return TYPE; }
 char                    { return TYPE; }
 void                    { return VOID; }
 const                   { return CONST; }
@@ -32,6 +30,9 @@ if                      { return IF; }
 else                    { return ELSE; }
 while                   { return WHILE; }
 return                  { return RETURN; }
+print                   { return PRINT; }
+readc                   { return READC; }
+reade                   { return READE; }
 [a-zA-Z_][a-zA-Z0-9_]*  { return IDENT; }
 [0-9]+                  { return NUM; }
 '\\?.'                  { return CARACTERE; }
diff --git a/src/tpc.y b/src/tpc.y
index 31452fe..a44a9aa 100644
--- a/src/tpc.y
+++ b/src/tpc.y
@@ -12,103 +12,136 @@ void yyerror(char *);
 
 %}
 
-%token CARACTERE NUM IDENT ORDER EQ ADDSUB DIVSTAR
-%token OR AND CONST IF WHILE RETURN VOID TYPE
+%token CARACTERE NUM IDENT
+%token ADDSUB DIVSTAR
+%token ORDER EQ OR AND
+%token IF WHILE RETURN
+%token CONST VOID TYPE
+%token PRINT READC READE
 
 %left ','
 %precedence ')'
 %precedence ELSE
 
 %%
-Prog         : DeclConsts DeclVars DeclFoncts
-             ;
-DeclConsts   : DeclConsts CONST ListConst ';'
-             |
-             ;
-ListConst    : ListConst ',' IDENT '=' Litteral
-             | IDENT '=' Litteral
-             ;
-Litteral     : NombreSigne
-             | CARACTERE
-             ;
-NombreSigne  : NUM
-             | ADDSUB NUM
-             ;
-DeclVars     : DeclVars TYPE Declarateurs ';'
-             |
-             ;
-Declarateurs : Declarateurs ',' Declarateur
-             | Declarateur
-             ;
-Declarateur  : IDENT
-             | IDENT '[' NUM ']'
-             ;
-DeclFoncts   : DeclFoncts DeclFonct
-             | DeclFonct
-             ;
-DeclFonct    : EnTeteFonct Corps
-             ;
-EnTeteFonct  : TYPE IDENT '(' Parametres ')'
-             | VOID IDENT '(' Parametres ')'
-             ;
-Parametres   : VOID
-             | ListTypVar
-             ;
-ListTypVar   : ListTypVar ',' TYPE IDENT
-             | TYPE IDENT
-             ;
-Corps        : '{' DeclConsts DeclVars SuiteInstr '}'
-             ;
-SuiteInstr   : SuiteInstr Instr
-             |
-             ;
-Instr        : Exp ';'
-             | RETURN Exp ';'
+Prog:
+     DeclConsts DeclVars DeclFoncts
+  ;
+DeclConsts:
+     DeclConsts CONST ListConst ';'
+  |
+  ;
+ListConst:
+     ListConst ',' IDENT '=' Litteral
+  |  IDENT '=' Litteral
+  ;
+Litteral:
+     NombreSigne
+  |  CARACTERE
+  ;
+NombreSigne:
+     NUM
+  |  ADDSUB NUM
+  ;
+DeclVars:
+     DeclVars TYPE Declarateurs ';'
+  |
+  ;
+Declarateurs:
+     Declarateurs ',' Declarateur
+  |  Declarateur
+  ;
+Declarateur:
+     IDENT
+  |  IDENT '[' NUM ']'
+  ;
+DeclFoncts:
+     DeclFoncts DeclFonct
+  |  DeclFonct
+  ;
+DeclFonct:
+     EnTeteFonct Corps
+  ;
+EnTeteFonct:
+     TYPE IDENT '(' Parametres ')'
+  |  VOID IDENT '(' Parametres ')'
+  ;
+Parametres:
+     VOID