]> git.draconx.ca Git - gob-dx.git/blobdiff - src/parse.y
Release 0.93.4
[gob-dx.git] / src / parse.y
index e204c6227780728857e8546c9ec17b14c7d9408c..17ab2644b5c59afc5226e431d5694a2e2c78a4d8 100644 (file)
@@ -25,7 +25,7 @@
 #include <stdio.h>
 #include <string.h>
 
-#include "tree.h"
+#include "treefuncs.h"
 #include "main.h"
 #include "util.h"
 
@@ -50,6 +50,9 @@ static gboolean destructor_simple = TRUE;
 static char *initializer = NULL;
 static int initializer_line = 0;
 
+static char *onerror = NULL;
+static char *defreturn = NULL;
+
 static GList *gtktypes = NULL;
 
 /* this can be a global as we will only do one function at a time
@@ -113,13 +116,15 @@ push_variable(char *name, int scope, int line_no, char *postfix)
 }
 
 static void
-push_function(int scope, int method, char *oid, char *id, char *onerror,
-             GString *cbuf, int line_no, int ccode_line, gboolean vararg,
-             GList *flags)
+push_function(int scope, int method, char *oid, char *id,
+             GString *cbuf, int line_no, int ccode_line,
+             gboolean vararg, GList *flags)
 {
        Node *node;
        Type *type;
        char *c_cbuf;
+
+       g_assert(scope != CLASS_SCOPE);
        
        if(method!=INIT_METHOD && method!=CLASS_INIT_METHOD) {
                type = pop_type();
@@ -134,11 +139,22 @@ push_function(int scope, int method, char *oid, char *id, char *onerror,
           g_list_length(gtktypes) != g_list_length(funcargs) &&
           !(g_list_length(funcargs) == 1 &&
             g_list_length(gtktypes) == 2 &&
-            strcmp(gtktypes->next->data,"NONE")==0)) {
+            strcmp(gtktypes->next->data, "NONE")==0)) {
                print_error(TRUE, _("The number of GTK arguments and "
                                    "function arguments for a signal "
                                    "don't seem to match"), line_no);
        }
+       if(g_list_length(gtktypes) > 2) {
+               GList *li;
+               for(li = gtktypes->next; li; li = li->next) {
+                       if(strcmp(li->data, "NONE")==0) {
+                               print_error(FALSE,
+                                           _("NONE can only appear in an "
+                                             "argument list by itself"),
+                                           line_no);
+                       }
+               }
+       }
        if(cbuf) {
                char *p;
                c_cbuf = p = cbuf->str;
@@ -150,7 +166,7 @@ push_function(int scope, int method, char *oid, char *id, char *onerror,
                c_cbuf = NULL;
 
        node = new_method(scope, method, type, oid, gtktypes, flags,
-                         id, funcargs, onerror, c_cbuf, line_no,
+                         id, funcargs, onerror, defreturn, c_cbuf, line_no,
                          ccode_line, vararg);
 
        if(cbuf)
@@ -161,9 +177,28 @@ push_function(int scope, int method, char *oid, char *id, char *onerror,
        gtktypes = NULL;
        funcargs = NULL;
 
+       onerror = NULL;
+       defreturn = NULL;
+
        class_nodes = g_list_append(class_nodes, node);
 }
 
+static void
+free_all_global_state(void)
+{
+       g_free(onerror);
+       onerror = NULL;
+       g_free(defreturn);
+       defreturn = NULL;
+
+       g_list_foreach(gtktypes, (GFunc)g_free, NULL);
+       g_list_free(gtktypes);
+       gtktypes = NULL;
+
+       free_node_list(funcargs);
+       funcargs = NULL;
+}
+
 static void
 push_funcarg(char *name, char *postfix)
 {
@@ -172,7 +207,7 @@ push_funcarg(char *name, char *postfix)
 
        type->postfix = postfix;
        
-       node = new_funcarg(type,name,checks);
+       node = new_funcarg(type, name, checks);
        checks = NULL;
        
        funcargs = g_list_append(funcargs, node);
@@ -231,6 +266,25 @@ find_var_or_die(const char *id, int line)
        return NULL;
 }
 
+static gboolean
+set_return_value(char *type, char *val)
+{
+       if(strcmp(type, "onerror")==0) {
+               if(!onerror) {
+                       onerror = val;
+                       return TRUE;
+               } else
+                       return FALSE;
+       } else if(strcmp(type, "defreturn")==0) {
+               if(!defreturn) {
+                       defreturn = val;
+                       return TRUE;
+               } else
+                       return FALSE;
+       }
+       return FALSE;
+}
+
 %}
 
 %union {
@@ -244,11 +298,10 @@ find_var_or_die(const char *id, int line)
 %token CLASS FROM
 %token CONST VOID STRUCT UNION ENUM THREEDOTS
 %token SIGNED UNSIGNED LONG SHORT INT FLOAT DOUBLE CHAR
-%token ONERROR
 
 %token <id> TOKEN NUMBER TYPETOKEN ARRAY_DIM
 %token <cbuf> CCODE HTCODE PHCODE HCODE ACODE ATCODE
-%token <line> PUBLIC PRIVATE PROTECTED ARGUMENT VIRTUAL SIGNAL OVERRIDE
+%token <line> PUBLIC PRIVATE PROTECTED CLASSWIDE ARGUMENT VIRTUAL SIGNAL OVERRIDE
 
 %%
 
@@ -330,6 +383,7 @@ thing:              method                          { ; }
 scope:         PUBLIC                  { the_scope = PUBLIC_SCOPE; }
        |       PRIVATE                 { the_scope = PRIVATE_SCOPE; }
        |       PROTECTED               { the_scope = PROTECTED_SCOPE; }
+       |       CLASSWIDE               { the_scope = CLASS_SCOPE; }
        ;
 
 destructor:    TOKEN TOKEN     {
@@ -460,9 +514,9 @@ argument:   ARGUMENT flags argtype TOKEN TOKEN '{' CCODE TOKEN '{' CCODE ';' {
                        Type *type;
                        char *root;
                        
-                       if(strcmp($<id>5,"link")!=0 &&
-                          strcmp($<id>5,"stringlink")!=0 &&
-                          strcmp($<id>5,"objectlink")!=0) {
+                       if(strcmp($<id>5, "link")!=0 &&
+                          strcmp($<id>5, "stringlink")!=0 &&
+                          strcmp($<id>5, "objectlink")!=0) {
                                g_free($<id>5); g_free($<id>3);
                                g_free($<id>4);
                                g_list_foreach($<list>2,(GFunc)g_free,NULL);
@@ -475,24 +529,29 @@ argument: ARGUMENT flags argtype TOKEN TOKEN '{' CCODE TOKEN '{' CCODE ';' {
                        var = find_var_or_die($<id>4, $<line>1);
                        if(var->scope == PRIVATE_SCOPE)
                                root = "self->_priv";
+                       else if(var->scope == CLASS_SCOPE)
+                               root = "SELF_CLASS(GTK_OBJECT(self)->klass)";
                        else
                                root = "self";
 
-                       if(strcmp($<id>5,"link")==0) {
+                       if(strcmp($<id>5, "link")==0) {
                                set = g_strdup_printf("%s->%s = ARG;",
                                                      root, $<id>4);
-                       } else if(strcmp($<id>5,"stringlink")==0) {
+                       } else if(strcmp($<id>5, "stringlink")==0) {
                                set = g_strdup_printf("g_free(%s->%s); "
                                                      "%s->%s = g_strdup(ARG);",
                                                      root, $<id>4,
                                                      root, $<id>4);
-                       } else if(strcmp($<id>5,"objectlink")==0) {
+                       } else if(strcmp($<id>5, "objectlink")==0) {
                                set = g_strdup_printf(
                                  "if(%s->%s) "
                                   "gtk_object_unref(GTK_OBJECT(%s->%s)); "
                                  "%s->%s = ARG; "
                                  "if(%s->%s) "
-                                  "gtk_object_ref(GTK_OBJECT(%s->%s)); ",
+                                  "gtk_object_ref(GTK_OBJECT(%s->%s));",
+                                 root, $<id>4,
+                                 root, $<id>4,
+                                 root, $<id>4,
                                  root, $<id>4,
                                  root, $<id>4,
                                  root, $<id>4,
@@ -639,9 +698,9 @@ stars:              '*' stars                       { stars++; }
 
 /* this never sets the_scope */
 simplesigtype: TOKEN sigtype   {
-                       if(strcmp($<id>1,"first")==0)
+                       if(strcmp($<id>1, "first")==0)
                                $<sigtype>$ = SIGNAL_FIRST_METHOD;
-                       else if(strcmp($<id>1,"last")==0)
+                       else if(strcmp($<id>1, "last")==0)
                                $<sigtype>$ = SIGNAL_LAST_METHOD;
                        else {
                                yyerror(_("signal must be 'first' or 'last'"));
@@ -690,15 +749,15 @@ fullsigtype:      scope TOKEN sigtype     {
        ;
        
 sigtype:       TOKEN '(' tokenlist ')'         {
-                       gtktypes = g_list_prepend(gtktypes,$<id>1);
+                       gtktypes = g_list_prepend(gtktypes, $<id>1);
                                                }
        ;
 
 tokenlist:     tokenlist ',' TOKEN             {
-                       gtktypes = g_list_append(gtktypes,$<id>3);
+                       gtktypes = g_list_append(gtktypes, $<id>3);
                                                }
        |       TOKEN                           { 
-                       gtktypes = g_list_append(gtktypes,$<id>1);
+                       gtktypes = g_list_append(gtktypes, $<id>1);
                                                        }
        ;
 
@@ -707,77 +766,107 @@ codenocode:      '{' CCODE                       { $<cbuf>$ = $<cbuf>2; }
        ;
 
 /*here CCODE will include the ending '}' */
-method:                SIGNAL flags fullsigtype type TOKEN '(' funcargs ')' onerror codenocode {
+method:                SIGNAL flags fullsigtype type TOKEN '(' funcargs ')' returnvals codenocode {
                        if(!has_self) {
                                yyerror(_("signal without 'self' as "
                                          "first parameter"));
+                               free_all_global_state();
+                               YYERROR;
+                       }
+                       if(the_scope == CLASS_SCOPE) {
+                               yyerror(_("a method cannot be of class scope"));
+                               free_all_global_state();
                                YYERROR;
                        }
                        push_function(the_scope, $<sigtype>3,NULL,
-                                     $<id>5, $<id>9, $<cbuf>10,$<line>1,
+                                     $<id>5, $<cbuf>10,$<line>1,
                                      ccode_line, vararg, $<list>2);
                                                                        }
-       |       scope SIGNAL flags simplesigtype type TOKEN '(' funcargs ')' onerror codenocode {
+       |       scope SIGNAL flags simplesigtype type TOKEN '(' funcargs ')' returnvals codenocode {
                        if(!has_self) {
                                yyerror(_("signal without 'self' as "
                                          "first parameter"));
+                               free_all_global_state();
+                               YYERROR;
+                       }
+                       if(the_scope == CLASS_SCOPE) {
+                               yyerror(_("a method cannot be of class scope"));
+                               free_all_global_state();
                                YYERROR;
                        }
                        push_function(the_scope, $<sigtype>4, NULL,
-                                     $<id>6, $<id>10, $<cbuf>11, $<line>2,
+                                     $<id>6, $<cbuf>11, $<line>2,
                                      ccode_line, vararg, $<list>3);
                                                                        }
-       |       VIRTUAL scope type TOKEN '(' funcargs ')' onerror codenocode    {
+       |       VIRTUAL scope type TOKEN '(' funcargs ')' returnvals codenocode {
                        if(!has_self) {
                                yyerror(_("virtual method without 'self' as "
                                          "first parameter"));
+                               free_all_global_state();
+                               YYERROR;
+                       }
+                       if(the_scope == CLASS_SCOPE) {
+                               yyerror(_("a method cannot be of class scope"));
+                               free_all_global_state();
                                YYERROR;
                        }
                        push_function(the_scope, VIRTUAL_METHOD, NULL, $<id>4,
-                                     $<id>8, $<cbuf>9, $<line>1,
+                                     $<cbuf>9, $<line>1,
                                      ccode_line, vararg, NULL);
                                                                        }
-       |       scope VIRTUAL type TOKEN '(' funcargs ')' onerror codenocode    {
+       |       scope VIRTUAL type TOKEN '(' funcargs ')' returnvals codenocode {
                        if(!has_self) {
                                yyerror(_("virtual method without 'self' as "
                                          "first parameter"));
+                               free_all_global_state();
+                               YYERROR;
+                       }
+                       if(the_scope == CLASS_SCOPE) {
+                               yyerror(_("a method cannot be of class scope"));
+                               free_all_global_state();
                                YYERROR;
                        }
                        push_function(the_scope, VIRTUAL_METHOD, NULL, $<id>4,
-                                     $<id>8, $<cbuf>9, $<line>2,
+                                     $<cbuf>9, $<line>2,
                                      ccode_line, vararg, NULL);
                                                                        }
-       |       VIRTUAL type TOKEN '(' funcargs ')' onerror codenocode  {
+       |       VIRTUAL type TOKEN '(' funcargs ')' returnvals codenocode       {
                        if(!has_self) {
                                yyerror(_("virtual method without 'self' as "
                                          "first parameter"));
+                               free_all_global_state();
                                YYERROR;
                        }
                        push_function(PUBLIC_SCOPE, VIRTUAL_METHOD, NULL,
-                                     $<id>3, $<id>7, $<cbuf>8, $<line>1,
+                                     $<id>3, $<cbuf>8, $<line>1,
                                      ccode_line, vararg, NULL);
                                                                        }
-       |       OVERRIDE '(' TYPETOKEN ')' type TOKEN '(' funcargs ')' onerror codenocode       {
+       |       OVERRIDE '(' TYPETOKEN ')' type TOKEN '(' funcargs ')' returnvals codenocode    {
                        push_function(NO_SCOPE, OVERRIDE_METHOD, $<id>3,
-                                     $<id>6, $<id>10, $<cbuf>11,
+                                     $<id>6, $<cbuf>11,
                                      $<line>1, ccode_line,
                                      vararg, NULL);
                                                                        }
-       |       scope type TOKEN '(' funcargs ')' onerror codenocode    {
+       |       scope type TOKEN '(' funcargs ')' returnvals codenocode {
+                       if(the_scope == CLASS_SCOPE) {
+                               yyerror(_("a method cannot be of class scope"));
+                               free_all_global_state();
+                               YYERROR;
+                       }
                        push_function(the_scope, REGULAR_METHOD, NULL, $<id>3,
-                                     $<id>7, $<cbuf>8, $<line>1, ccode_line,
+                                     $<cbuf>8, $<line>1, ccode_line,
                                      vararg, NULL);
                                                                }
        |       TOKEN '(' TOKEN ')' codenocode  {
-                       if(strcmp($<id>1,"init")==0) {
+                       if(strcmp($<id>1, "init")==0) {
                                push_init_arg($<id>3,FALSE);
                                push_function(NO_SCOPE, INIT_METHOD, NULL,
-                                             $<id>1, NULL, $<cbuf>5, $<line>2,
+                                             $<id>1, $<cbuf>5, $<line>2,
                                              ccode_line, FALSE, NULL);
-                       } else if(strcmp($<id>1,"class_init")==0) {
+                       } else if(strcmp($<id>1, "class_init")==0) {
                                push_init_arg($<id>3,TRUE);
                                push_function(NO_SCOPE, CLASS_INIT_METHOD, NULL,
-                                             $<id>1, NULL, $<cbuf>5, $<line>2,
+                                             $<id>1, $<cbuf>5, $<line>2,
                                              ccode_line, FALSE, NULL);
                        } else {
                                g_free($<id>1);
@@ -788,13 +877,48 @@ method:           SIGNAL flags fullsigtype type TOKEN '(' funcargs ')' onerror codenocode
                        }
                                                }
        ;
-       
-onerror:       ONERROR numtok          { $<id>$ = $<id>2; }
-       |       ONERROR '{' CCODE       {
+
+returnvals:    TOKEN retcode           {
+                       g_free(onerror); onerror = NULL;
+                       g_free(defreturn); defreturn = NULL;
+                       if(!set_return_value($<id>1, $<id>2)) {
+                               g_free($<id>1);
+                               g_free($<id>2);
+                               yyerror(_("parse error"));
+                               YYERROR;
+                       }
+                       g_free($<id>1);
+                                       }
+       |       TOKEN retcode TOKEN retcode     {
+                       g_free(onerror); onerror = NULL;
+                       g_free(defreturn); defreturn = NULL;
+                       if(!set_return_value($<id>1, $<id>2)) {
+                               g_free($<id>1); g_free($<id>2);
+                               g_free($<id>3); g_free($<id>4);
+                               yyerror(_("parse error"));
+                               YYERROR;
+                       }
+                       if(!set_return_value($<id>3, $<id>4)) {
+                               onerror = defreturn = NULL;
+                               g_free($<id>1); g_free($<id>2);
+                               g_free($<id>3); g_free($<id>4);
+                               yyerror(_("parse error"));
+                               YYERROR;
+                       }
+                       g_free($<id>1);
+                       g_free($<id>3);
+                                               }
+       |                               {
+                       g_free(onerror); onerror = NULL;
+                       g_free(defreturn); defreturn = NULL;
+                                       }
+       ;
+
+retcode:       numtok                  { $<id>$ = $<id>1; }
+       |       '{' CCODE               {
                        $<id>$ = ($<cbuf>3)->str;
-                       g_string_free($<cbuf>3,FALSE);
+                       g_string_free($<cbuf>3, FALSE);
                                        }
-       |                               { $<id>$ = NULL; }
        ;
        
 funcargs:      VOID                    { vararg = FALSE; has_self = FALSE; }