]> git.draconx.ca Git - gob-dx.git/blobdiff - src/parse.y
Release 0.90.1
[gob-dx.git] / src / parse.y
index 5bb8bc37c453d992cb848e4f013763e24cc74ba0..449ef3c49e0bc7b1020641b4181d099afb4a9827 100644 (file)
@@ -26,6 +26,7 @@
 #include <string.h>
 
 #include "tree.h"
+#include "main.h"
 
 #define _(x) (x)
        
@@ -40,13 +41,15 @@ static GList *typestack = NULL;
 static int stars = 0;
 static GList *funcargs = NULL;
 static GList *checks = NULL;
-static int has_this = FALSE;
+static int has_self = FALSE;
+static int vararg = FALSE;
 
 static GList *gtktypes = NULL;
 
 void free(void *ptr);
 int yylex(void);
 
+extern int ccode_line;
 extern int line_no;
 
 extern char *yytext;
@@ -77,19 +80,19 @@ yyerror(char *str)
 }
 
 static void
-push_variable(char *name, int scope)
+push_variable(char *name, int scope, int line_no)
 {
        Node *var;
        Type *type = typestack->data;
        typestack = g_list_remove(typestack,typestack->data);
        
-       var = new_variable(scope,type,name);
+       var = new_variable(scope,type,name,line_no);
        class_nodes = g_list_append(class_nodes, var);
 }
 
 static void
 push_function(int scope, char *oid, char *id, char *onerror,
-             GString *cbuf,int line_no)
+             GString *cbuf,int line_no, int ccode_line, int vararg)
 {
        Node *node;
        Type *type;
@@ -102,7 +105,7 @@ push_function(int scope, char *oid, char *id, char *onerror,
        }
        
        node = new_method(scope,type,oid,gtktypes,id,funcargs,
-                         onerror,cbuf,line_no);
+                         onerror,cbuf,line_no,ccode_line,vararg);
        gtktypes = NULL;
        funcargs = NULL;
 
@@ -140,7 +143,7 @@ push_init_arg(char *name, int is_class)
 }
 
 static void
-push_this(char *this)
+push_self(char *id)
 {
        Node *node;
        Node *type;
@@ -148,7 +151,7 @@ push_this(char *this)
        type = new_type(1,g_strdup(((Class *)class)->otype));
        ch = g_list_append(ch,new_check(NULL_CHECK,NULL));
        ch = g_list_append(ch,new_check(TYPE_CHECK,NULL));
-       node = new_funcarg((Type *)type,this,ch);
+       node = new_funcarg((Type *)type,id,ch);
        funcargs = g_list_prepend(funcargs, node);
 }
 
@@ -162,9 +165,9 @@ push_this(char *this)
 }
 
 %token CLASS FROM
-%token VOID STRUCT UNION ENUM SIGNED UNSIGNED LONG SHORT INT FLOAT DOUBLE CHAR
-%token FIRST LAST
-%token CHECK CNULL TYPE ONERROR
+%token CONST VOID STRUCT UNION ENUM THREEDOTS
+%token SIGNED UNSIGNED LONG SHORT INT FLOAT DOUBLE CHAR
+%token ONERROR
 
 %token <id> TOKEN NUMBER TYPETOKEN
 %token <cbuf> CCODE HCODE
@@ -179,19 +182,19 @@ prog:             ccodes class ccodes     { ; }
        ;
 
 ccodes:                ccodes CCODE            {
-                       Node *node = new_ccode(FALSE,$<cbuf>2);
+                       Node *node = new_ccode(FALSE,$<cbuf>2,ccode_line);
                        nodes = g_list_append(nodes,node);
                                        }
        |       ccodes HCODE            {
-                       Node *node = new_ccode(TRUE,$<cbuf>2);
+                       Node *node = new_ccode(TRUE,$<cbuf>2,ccode_line);
                        nodes = g_list_append(nodes,node);
                                        }
        |       CCODE                   {
-                       Node *node = new_ccode(FALSE,$<cbuf>1);
+                       Node *node = new_ccode(FALSE,$<cbuf>1,ccode_line);
                        nodes = g_list_append(nodes,node);
                                        }
        |       HCODE                   {
-                       Node *node = new_ccode(TRUE,$<cbuf>1);
+                       Node *node = new_ccode(TRUE,$<cbuf>1,ccode_line);
                        nodes = g_list_append(nodes,node);
                                        }
        ;
@@ -217,10 +220,10 @@ classcode:        classcode method                { ; }
        ;
 
 variable:      PUBLIC type TOKEN ';'           {
-                       push_variable($<id>3,PUBLIC_SCOPE);
+                       push_variable($<id>3,PUBLIC_SCOPE,$<line>1);
                                                }
        |       PRIVATE type TOKEN ';'  {
-                       push_variable($<id>3,PRIVATE_SCOPE);
+                       push_variable($<id>3,PRIVATE_SCOPE,$<line>1);
                                                }
        ;
 argument:      ARGUMENT argflags TOKEN TOKEN TOKEN '{' CCODE TOKEN '{' CCODE ';' {
@@ -229,14 +232,18 @@ argument: ARGUMENT argflags TOKEN TOKEN TOKEN '{' CCODE TOKEN '{' CCODE ';' {
                                Node *node;
                                g_free($<id>5); g_free($<id>8);
                                node = new_argument($<id>3,$<list>2,$<id>4,
-                                                   $<cbuf>7,$<cbuf>10);
+                                                   $<cbuf>7,$<line>6,
+                                                   $<cbuf>10,$<line>9,
+                                                   $<line>1);
                                class_nodes = g_list_append(class_nodes,node);
                        } else if(strcmp($<id>5,"set")==0 &&
                                strcmp($<id>8,"get")==0) {
                                Node *node;
                                g_free($<id>5); g_free($<id>8);
                                node = new_argument($<id>3,$<list>2,$<id>4,
-                                                   $<cbuf>10,$<cbuf>7);
+                                                   $<cbuf>10,$<line>9,
+                                                   $<cbuf>7,$<line>6,
+                                                   $<line>1);
                                class_nodes = g_list_append(class_nodes,node);
                        } else {
                                g_free($<id>3); g_free($<id>4);
@@ -253,13 +260,15 @@ argument: ARGUMENT argflags TOKEN TOKEN TOKEN '{' CCODE TOKEN '{' CCODE ';' {
                                Node *node;
                                g_free($<id>5);
                                node = new_argument($<id>3,$<list>2,$<id>4,
-                                                   $<cbuf>7,NULL);
+                                                   $<cbuf>7,$<line>6,NULL,0,
+                                                   $<line>1);
                                class_nodes = g_list_append(class_nodes,node);
                        } else if(strcmp($<id>5,"set")==0) {
                                Node *node;
                                g_free($<id>5);
                                node = new_argument($<id>3,$<list>2,$<id>4,
-                                                   NULL,$<cbuf>7);
+                                                   NULL,0,$<cbuf>7,$<line>6,
+                                                   $<line>1);
                                class_nodes = g_list_append(class_nodes,node);
                        } else {
                                g_free($<id>5); g_free($<id>3);
@@ -285,18 +294,27 @@ flaglist: TOKEN '|' flaglist              {
        ;
 
 
-type:          type1                           {
+type:          type1                           { ; }
+       |       CONST type1                     {
+                       Type *type = typestack->data;
+                       char *oldname = type->name;
+                       type->name = g_strconcat("const ",oldname,NULL);
+                       g_free(oldname);
+                                               }
+       ;
+
+type1:         type2                           {
                        Node *node = new_type(0,$<id>1);
                        typestack = g_list_prepend(typestack,node);
                                                }
-       |       type1 stars                     {
+       |       type2 stars                     {
                        Node *node = new_type(stars,$<id>1);
                        stars = 0;
                        typestack = g_list_prepend(typestack,node);
                                                }
        ;
 
-type1:         UNSIGNED integer                {
+type2:         UNSIGNED integer                {
                        $<id>$ = g_strconcat("unsigned ",$<id>2,NULL);
                                                }
        |       SIGNED integer                  {
@@ -380,90 +398,80 @@ tokenlist:        tokenlist ',' TOKEN             {
                                                        }
        ;
 
+codenocode:    '{' CCODE                       { $<cbuf>$=$<cbuf>2; }
+       |       ';'                             { $<cbuf>$ = NULL; }
+       ;
+
 /*here CCODE will include the ending '}' */
-method:                SIGNAL LAST sigtype type TOKEN '(' funcargs ')' onerror '{' CCODE {
-                       if(!has_this) {
-                               yyerror(_("signal without 'this' as "
-                                         "first parameter"));
-                               YYERROR;
-                       }
-                       push_function(SIGNAL_LAST_METHOD,NULL,
-                                     $<id>5, $<id>9, $<cbuf>11,$<line>1);
-                                                                       }
-       |       SIGNAL LAST sigtype type TOKEN '(' funcargs ')' onerror ';'     {
-                       if(!has_this) {
-                               yyerror(_("signal without 'this' as "
-                                         "first parameter"));
-                               YYERROR;
-                       }
-                       push_function(SIGNAL_LAST_METHOD, NULL,
-                                     $<id>5, $<id>9, NULL,$<line>1);
-                                                                       }
-       |       SIGNAL FIRST sigtype type TOKEN '(' funcargs ')' onerror '{' CCODE {
-                       if(!has_this) {
-                               yyerror(_("signal without 'this' as "
-                                         "first parameter"));
+method:                SIGNAL TOKEN sigtype type TOKEN '(' funcargs ')' onerror codenocode {
+                       int sigtype = SIGNAL_LAST_METHOD;
+                       if(strcmp($<id>2,"first")==0)
+                               sigtype = SIGNAL_FIRST_METHOD;
+                       else if(strcmp($<id>2,"last")==0)
+                               sigtype = SIGNAL_LAST_METHOD;
+                       else {
+                               yyerror(_("signal must be 'first' or 'last'"));
+                               g_free($<id>2);
                                YYERROR;
                        }
-                       push_function(SIGNAL_FIRST_METHOD, NULL,
-                                     $<id>5, $<id>9, $<cbuf>11,$<line>1);
-                                                                       }
-       |       SIGNAL FIRST sigtype type TOKEN '(' funcargs ')' onerror ';'    {
-                       if(!has_this) {
-                               yyerror(_("signal without 'this' as "
+                       g_free($<id>2);
+
+                       if(!has_self) {
+                               yyerror(_("signal without 'self' as "
                                          "first parameter"));
                                YYERROR;
                        }
-                       push_function(SIGNAL_FIRST_METHOD, NULL, $<id>5,
-                                     $<id>9, NULL,$<line>1);
+                       push_function(sigtype,NULL,
+                                     $<id>5, $<id>9, $<cbuf>10,$<line>1,
+                                     ccode_line,vararg);
                                                                        }
-       |       SIGNAL sigtype type TOKEN '(' funcargs ')' onerror '{' CCODE    {
-                       if(!has_this) {
-                               yyerror(_("signal without 'this' as "
+       |       SIGNAL sigtype type TOKEN '(' funcargs ')' onerror codenocode   {
+                       if(!has_self) {
+                               yyerror(_("signal without 'self' as "
                                          "first parameter"));
                                YYERROR;
                        }
                        push_function(SIGNAL_LAST_METHOD, NULL,
-                                     $<id>4, $<id>8, $<cbuf>10,$<line>1);
+                                     $<id>4, $<id>8, $<cbuf>9,$<line>1,
+                                     ccode_line,vararg);
                                                                        }
-       |       SIGNAL sigtype type TOKEN '(' funcargs ')' onerror ';'          {
-                       if(!has_this) {
-                               yyerror(_("signal without 'this' as "
+       |       VIRTUAL type TOKEN '(' funcargs ')' onerror codenocode  {
+                       if(!has_self) {
+                               yyerror(_("virtual method without 'self' as "
                                          "first parameter"));
                                YYERROR;
                        }
-                       push_function(SIGNAL_LAST_METHOD, NULL, $<id>4,
-                                     $<id>8, NULL,$<line>1);
-                                                                       }
-       |       VIRTUAL type TOKEN '(' funcargs ')' onerror '{' CCODE   {
                        push_function(VIRTUAL_METHOD, NULL, $<id>3,
-                                     $<id>7, $<cbuf>9,$<line>1);
-                                                                       }
-       |       VIRTUAL type TOKEN '(' funcargs ')' onerror ';'         {
-                       push_function(VIRTUAL_METHOD, NULL, $<id>3,
-                                     $<id>7, NULL,$<line>1);
+                                     $<id>7, $<cbuf>8,$<line>1,
+                                     ccode_line,vararg);
                                                                        }
        |       OVERRIDE '(' TYPETOKEN ')' type TOKEN '(' funcargs ')' onerror '{' CCODE        {
                        push_function(OVERRIDE_METHOD, $<id>3,
-                                     $<id>6, $<id>10, $<cbuf>12,$<line>1);
+                                     $<id>6, $<id>10, $<cbuf>12,
+                                     $<line>1,$<line>11,
+                                     vararg);
                                                                        }
        |       PUBLIC type TOKEN '(' funcargs ')' onerror '{' CCODE    {
                        push_function(PUBLIC_SCOPE, NULL, $<id>3,
-                                     $<id>7, $<cbuf>9,$<line>1);
+                                     $<id>7, $<cbuf>9,$<line>1,$<line>8,
+                                     vararg);
                                                                }
        |       PRIVATE type TOKEN '(' funcargs ')' onerror '{' CCODE   {
                        push_function(PRIVATE_SCOPE, NULL, $<id>3,
-                                     $<id>7, $<cbuf>9,$<line>1);
+                                     $<id>7, $<cbuf>9,$<line>1,$<line>8,
+                                     vararg);
                                                                }
        |       TOKEN '(' TOKEN ')' ';'         {
                        if(strcmp($<id>1,"init")==0) {
                                push_init_arg($<id>3,FALSE);
                                push_function(INIT_METHOD, NULL, $<id>1, 
-                                             NULL, NULL,$<line>2);
+                                             NULL, NULL,$<line>2,0,
+                                             FALSE);
                        } else if(strcmp($<id>1,"class_init")==0) {
                                push_init_arg($<id>3,TRUE);
                                push_function(CLASS_INIT_METHOD, NULL,
-                                             $<id>1, NULL, NULL,$<line>2);
+                                             $<id>1, NULL, NULL,$<line>2,0,
+                                             FALSE);
                        } else {
                                g_free($<id>1);
                                g_free($<id>3);
@@ -475,11 +483,13 @@ method:           SIGNAL LAST sigtype type TOKEN '(' funcargs ')' onerror '{' CCODE {
                        if(strcmp($<id>1,"init")==0) {
                                push_init_arg($<id>3,FALSE);
                                push_function(INIT_METHOD, NULL,
-                                             $<id>1, NULL, $<cbuf>6,$<line>2);
+                                             $<id>1, NULL, $<cbuf>6,$<line>2,
+                                             $<line>5,FALSE);
                        } else if(strcmp($<id>1,"class_init")==0) {
                                push_init_arg($<id>3,TRUE);
                                push_function(CLASS_INIT_METHOD, NULL, 
-                                             $<id>1, NULL, $<cbuf>6,$<line>2);
+                                             $<id>1, NULL, $<cbuf>6,$<line>2,
+                                             $<line>5,FALSE);
                        } else {
                                g_free($<id>1);
                                g_free($<id>3);
@@ -490,8 +500,7 @@ method:             SIGNAL LAST sigtype type TOKEN '(' funcargs ')' onerror '{' CCODE {
                                                }
        ;
        
-onerror:       ONERROR TOKEN           { $<id>$ = $<id>2; }
-       |       ONERROR number          { $<id>$ = $<id>2; }
+onerror:       ONERROR numtok          { $<id>$ = $<id>2; }
        |       ONERROR '{' CCODE       {
                        $<id>$ = ($<cbuf>3)->str;
                        g_string_free($<cbuf>3,FALSE);
@@ -500,13 +509,16 @@ onerror:  ONERROR TOKEN           { $<id>$ = $<id>2; }
        |                               { $<id>$ = NULL; }
        ;
        
-       
-
-funcargs:      VOID                    { has_this = FALSE; }
+funcargs:      VOID                    { has_self = FALSE; }
        |       TOKEN                   {
-                       has_this = TRUE;
-                       if(strcmp($<id>1,"this")==0)
-                               push_this($<id>1);
+                       has_self = TRUE;
+                       if(strcmp($<id>1,"this")==0) {
+                               push_self($<id>1);
+                               print_error(TRUE,_("Use of 'this' is "
+                                                  "depreciated, use 'self' "
+                                                  "instead"),line_no);
+                       } else if(strcmp($<id>1,"self")==0)
+                               push_self($<id>1);
                        else {
                                g_free($<id>1);
                                yyerror(_("parse error"));
@@ -514,26 +526,40 @@ funcargs: VOID                    { has_this = FALSE; }
                        }
                                                }
        |       TOKEN ',' arglist       {
-                       has_this = TRUE;
-                       if(strcmp($<id>1,"this")==0)
-                               push_this($<id>1);
+                       has_self = TRUE;
+                       if(strcmp($<id>1,"this")==0) {
+                               push_self($<id>1);
+                               print_error(TRUE,_("Use of 'this' is "
+                                                  "depreciated, use 'self' "
+                                                  "instead"),line_no);
+                       } else if(strcmp($<id>1,"self")==0)
+                               push_self($<id>1);
                        else {
                                g_free($<id>1);
                                yyerror(_("parse error"));
                                YYERROR;
                        }
                                        }
-       |       arglist                 { has_this = FALSE; }
+       |       arglist                 { has_self = FALSE; }
+       ;
+
+arglist:       arglist1 ',' THREEDOTS  { vararg = TRUE; }
+       |       arglist1                { vararg = FALSE; }
        ;
        
-arglist:       arglist ',' arg         { ; }
+arglist1:      arglist1 ',' arg        { ; }
        |       arg                     { ; }
        ;
 
 arg:           type TOKEN                                      {
                        push_funcarg($<id>2);
                                                                }
-       |       type TOKEN '(' CHECK checklist ')'              {
+       |       type TOKEN '(' TOKEN checklist ')'              {
+                       if(strcmp($<id>4,"check")!=0) {
+                               yyerror(_("parse error"));
+                               YYERROR;
+                       }
+                       g_free($<id>4);
                        push_funcarg($<id>2);
                                                                }
        ;
@@ -542,45 +568,51 @@ checklist:        checklist check         { ; }
        |       check                   { ; }
        ;
 
-check:         CNULL                   {
-                       Node *node = new_check(NULL_CHECK,NULL);
-                       checks = g_list_append(checks,node);
-                                       }
-       |       TYPE                    {
-                       Node *node = new_check(TYPE_CHECK,NULL);
-                       checks = g_list_append(checks,node);
+check:         TOKEN                   {
+                       if(strcmp($<id>1,"type")==0) {
+                               Node *node = new_check(TYPE_CHECK,NULL);
+                               checks = g_list_append(checks,node);
+                       } else if(strcmp($<id>1,"null")==0) {
+                               Node *node = new_check(NULL_CHECK,NULL);
+                               checks = g_list_append(checks,node);
+                       } else {
+                               yyerror(_("parse error"));
+                               YYERROR;
+                       }
+                       g_free($<id>1);
                                        }
-       |       '>' number              {
+       |       '>' numtok              {
                        Node *node = new_check(GT_CHECK,$<id>2);
                        checks = g_list_append(checks,node);
                                        }
-       |       '<' number              {
+       |       '<' numtok              {
                        Node *node = new_check(LT_CHECK,$<id>2);
                        checks = g_list_append(checks,node);
                                        }
-       |       '>' '=' number          {
+       |       '>' '=' numtok          {
                        Node *node = new_check(GE_CHECK,$<id>3);
                        checks = g_list_append(checks,node);
                                        }
-       |       '<' '=' number          {
+       |       '<' '=' numtok          {
                        Node *node = new_check(LE_CHECK,$<id>3);
                        checks = g_list_append(checks,node);
                                        }
-       |       '=' '=' number          {
+       |       '=' '=' numtok          {
                        Node *node = new_check(EQ_CHECK,$<id>3);
                        checks = g_list_append(checks,node);
                                        }
-       |       '!' '=' number          {
+       |       '!' '=' numtok          {
                        Node *node = new_check(NE_CHECK,$<id>3);
                        checks = g_list_append(checks,node);
                                        }
        ;
        
-number:                NUMBER                  { $<id>$ = $<id>1; }
+numtok:                NUMBER                  { $<id>$ = $<id>1; }
        |       '-' NUMBER              {
                        $<id>$ = g_strconcat("-",$<id>2,NULL);
                        g_free($<id>2);
                                        }
+       |       TOKEN                   { $<id>$ = $<id>1; }
        ;
        
 %%