]> git.draconx.ca Git - gob-dx.git/blobdiff - src/parse.y
Release 1.0.2
[gob-dx.git] / src / parse.y
index f4c4a409f7bfc7c5089813b8f3f452e813071ff5..9764b677f3937773fecfba2d0949ef243e365270 100644 (file)
 #include "config.h"
 #include <glib.h>
 #include <stdio.h>
+#include <stdlib.h>
 #include <string.h>
 
-#include "tree.h"
+#include "treefuncs.h"
 #include "main.h"
+#include "util.h"
 
 #define _(x) (x)
        
-extern char *filename;
-       
 GList *nodes = NULL;
 
 static GList *class_nodes = NULL;
 Node *class = NULL;
+char *chunk_size = NULL;
 
 static GList *typestack = NULL;
-static int stars = 0;
 static GList *funcargs = NULL;
 static GList *checks = NULL;
 static int has_self = FALSE;
 static int vararg = FALSE;
 
+/* destructor and initializer for variables */
+static char *destructor = NULL;
+static int destructor_line = 0;
+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
@@ -67,48 +77,60 @@ yyerror(char *str)
        if(strcmp(yytext,"\n")==0) {
                out=g_strconcat("Error: ",str," before newline",NULL);
        } else if(yytext[0]=='\0') {
-               out=g_strconcat("Error: ",str," at end of input",NULL);
+               out=g_strconcat("Error: ", str, " at end of input", NULL);
        } else {
                char *tmp = g_strdup(yytext);
-               while((p=strchr(tmp,'\n')))
+               while((p=strchr(tmp, '\n')))
                        *p='.';
 
-               out=g_strconcat("Error: ",str," before '",tmp,"'",NULL);
+               out=g_strconcat("Error: ", str, " before '", tmp, "'", NULL);
                g_free(tmp);
        }
 
-       fprintf(stderr,"%s:%d: %s\n",filename,line_no,out);
+       fprintf(stderr, "%s:%d: %s\n", filename, line_no, out);
        g_free(out);
        
        exit(1);
 }
 
+static Type *
+pop_type(void)
+{
+       Type *type = typestack->data;
+       typestack = g_list_remove(typestack,typestack->data);
+       return type;
+}
+
 static void
 push_variable(char *name, int scope, int line_no, char *postfix)
 {
        Node *var;
-       Type *type = typestack->data;
-       typestack = g_list_remove(typestack,typestack->data);
+       Type *type = pop_type();
 
        type->postfix = postfix;
        
-       var = new_variable(scope,type,name,line_no);
+       var = new_variable(scope, type, name, line_no,
+                          destructor, destructor_line,
+                          destructor_simple,
+                          initializer, initializer_line);
        class_nodes = g_list_append(class_nodes, var);
 }
 
 static void
-push_function(int scope, int method, char *oid, char *id, char *onerror,
-             GString *cbuf,int line_no, int ccode_line, int vararg)
+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 = typestack->data;
-               typestack = g_list_remove(typestack,typestack->data);
+       if(method == INIT_METHOD || method == CLASS_INIT_METHOD) {
+               type = (Type *)new_type(g_strdup("void"), NULL, NULL);
        } else {
-               type = (Type *)new_type(0,g_strdup("void"),NULL);
+               type = pop_type();
        }
        
        /* a complicated and ugly test to figure out if we have
@@ -118,10 +140,21 @@ 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);
+                                   "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;
@@ -133,8 +166,9 @@ push_function(int scope, int method, char *oid, char *id, char *onerror,
        } else
                c_cbuf = NULL;
 
-       node = new_method(scope,method,type,oid,gtktypes,id,funcargs,
-                         onerror,c_cbuf,line_no,ccode_line,vararg);
+       node = new_method(scope, method, type, oid, gtktypes, flags,
+                         id, funcargs, onerror, defreturn, c_cbuf, line_no,
+                         ccode_line, vararg, method_unique_id++);
 
        if(cbuf)
                g_string_free(cbuf,
@@ -144,19 +178,40 @@ 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_free(chunk_size);
+       chunk_size = 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)
 {
        Node *node;
-       Type *type = typestack->data;
-       typestack = g_list_remove(typestack,typestack->data);
+       Type *type = pop_type();
 
        type->postfix = postfix;
        
-       node = new_funcarg(type,name,checks);
+       node = new_funcarg(type, name, checks);
        checks = NULL;
        
        funcargs = g_list_append(funcargs, node);
@@ -174,7 +229,7 @@ push_init_arg(char *name, int is_class)
        else
                tn = g_strdup(((Class *)class)->otype);
 
-       type = new_type(1,tn,NULL);
+       type = new_type(tn, g_strdup("*"), NULL);
        node = new_funcarg((Type *)type,name,NULL);
        funcargs = g_list_prepend(funcargs, node);
 }
@@ -185,13 +240,55 @@ push_self(char *id)
        Node *node;
        Node *type;
        GList *ch = NULL;
-       type = new_type(1,g_strdup(((Class *)class)->otype),NULL);
+       type = new_type(g_strdup(((Class *)class)->otype), g_strdup("*"), NULL);
        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,id,ch);
        funcargs = g_list_prepend(funcargs, node);
 }
 
+static Variable *
+find_var_or_die(const char *id, int line)
+{
+       GList *li;
+       char *s;
+
+       for(li = class_nodes; li != NULL; li = li->next) {
+               Variable *var;
+               Node *node = li->data;
+               if(node->type != VARIABLE_NODE)
+                       continue;
+               var = li->data;
+               if(strcmp(var->id, id)==0)
+                       return var;
+       }
+
+       s = g_strdup_printf(_("Variable %s not defined here"), id);
+       print_error(FALSE, s, line);
+
+       g_assert_not_reached();
+       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 {
@@ -205,11 +302,10 @@ push_self(char *id)
 %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 HCODE
-%token <line> PUBLIC PRIVATE PROTECTED ARGUMENT VIRTUAL SIGNAL OVERRIDE
+%token <cbuf> CCODE HTCODE PHCODE HCODE ACODE ATCODE
+%token <line> PUBLIC PRIVATE PROTECTED CLASSWIDE ARGUMENT VIRTUAL SIGNAL OVERRIDE
 
 %%
 
@@ -219,30 +315,48 @@ prog:             ccodes class ccodes     { ; }
        |       class                   { ; }
        ;
 
-ccodes:                ccodes CCODE            {
-                       Node *node = new_ccode(FALSE,($<cbuf>2)->str,
+ccode:         CCODE                   {
+                       Node *node = new_ccode(C_CCODE,($<cbuf>1)->str,
                                               ccode_line);
                        nodes = g_list_append(nodes,node);
-                       g_string_free($<cbuf>2,FALSE);
+                       g_string_free($<cbuf>1,FALSE);
                                        }
-       |       ccodes HCODE            {
-                       Node *node = new_ccode(TRUE,($<cbuf>2)->str,ccode_line);
+       |       HCODE                   {
+                       Node *node = new_ccode(H_CCODE,($<cbuf>1)->str,
+                                              ccode_line);
                        nodes = g_list_append(nodes,node);
-                       g_string_free($<cbuf>2,FALSE);
+                       g_string_free($<cbuf>1,FALSE);
                                        }
-       |       CCODE                   {
-                       Node *node = new_ccode(FALSE,($<cbuf>1)->str,
+       |       HTCODE                  {
+                       Node *node = new_ccode(HT_CCODE,($<cbuf>1)->str,
                                               ccode_line);
                        nodes = g_list_append(nodes,node);
                        g_string_free($<cbuf>1,FALSE);
                                        }
-       |       HCODE                   {
-                       Node *node = new_ccode(TRUE,($<cbuf>1)->str,ccode_line);
+       |       PHCODE                  {
+                       Node *node = new_ccode(PH_CCODE,($<cbuf>1)->str,
+                                              ccode_line);
+                       nodes = g_list_append(nodes,node);
+                       g_string_free($<cbuf>1,FALSE);
+                                       }
+       |       ACODE                   {
+                       Node *node = new_ccode(A_CCODE,($<cbuf>1)->str,
+                                              ccode_line);
+                       nodes = g_list_append(nodes,node);
+                       g_string_free($<cbuf>1,FALSE);
+                                       }
+       |       ATCODE                  {
+                       Node *node = new_ccode(AT_CCODE,($<cbuf>1)->str,
+                                              ccode_line);
                        nodes = g_list_append(nodes,node);
                        g_string_free($<cbuf>1,FALSE);
                                        }
        ;
 
+ccodes:                ccodes ccode            { ; }
+       |       ccode                   { ; }
+       ;
+
 class:         classdec '{' classcode '}'      {
                        ((Class *)class)->nodes = class_nodes;
                        class_nodes = NULL;
@@ -255,37 +369,112 @@ class:           classdec '{' classcode '}'      {
                                                }
        ;
 
-classdec:      CLASS TYPETOKEN FROM TYPETOKEN  {
-                       class = new_class($<id>2,$<id>4,NULL);
+classdec:      CLASS TYPETOKEN FROM TYPETOKEN  chunk {
+                       class = new_class($<id>2,$<id>4,chunk_size,NULL);
                                                }
        ;
-       
-classcode:     classcode method                { ; }
-       |       classcode variable              { ; }
-       |       classcode argument              { ; }
-       |       method                          { ; }
+
+chunk:
+       | '(' TOKEN TOKEN ')' {
+                       if(strcmp($<id>2,"chunks") == 0) {
+                                       chunk_size = g_strdup($<id>4);
+                       } else {
+                               yyerror(_("parse error"));
+                               YYERROR;
+                       }
+               }
+       | '(' TOKEN NUMBER ')' {
+                       if(strcmp($<id>2,"chunks") == 0) {
+                               if(atoi($<id>4) != 0)
+                                       chunk_size = g_strdup($<id>4);
+                       } else {
+                               yyerror(_("parse error"));
+                               YYERROR;
+                       }
+               }
+       ;       
+
+classcode:     classcode thing                 { ; }
+       |       thing                           { ; }
+       ;
+
+thing:                 method                          { ; }
        |       variable                        { ; }
        |       argument                        { ; }
+       |       ';'                             { ; }
        ;
 
 scope:         PUBLIC                  { the_scope = PUBLIC_SCOPE; }
        |       PRIVATE                 { the_scope = PRIVATE_SCOPE; }
        |       PROTECTED               { the_scope = PROTECTED_SCOPE; }
+       |       CLASSWIDE               { the_scope = CLASS_SCOPE; }
+       ;
+
+destructor:    TOKEN TOKEN     {
+                       if(strcmp($<id>1, "destroywith")==0) {
+                               g_free($<id>1);
+                               destructor = $<id>2;
+                               destructor_line = line_no;
+                               destructor_simple = TRUE;
+                       } else {
+                               g_free($<id>1);
+                               g_free($<id>2);
+                               yyerror(_("parse error"));
+                               YYERROR;
+                       }
+                               }
+       |       TOKEN '{' CCODE         {
+                       if(strcmp($<id>1, "destroy")==0) {
+                               g_free($<id>1);
+                               destructor = ($<cbuf>3)->str;
+                               g_string_free($<cbuf>3, FALSE);
+                               destructor_line = ccode_line;
+                               destructor_simple = FALSE;
+                       } else {
+                               g_free($<id>1);
+                               g_string_free($<cbuf>3, TRUE);
+                               yyerror(_("parse error"));
+                               YYERROR;
+                       }
+                                       }
        ;
 
-variable:      scope type TOKEN ';'            {
-                       push_variable($<id>3,the_scope,$<line>1,NULL);
+initializer:   '=' numtok      {
+                       initializer = $<id>2;
+                       initializer_line = ccode_line;
+                               }
+       |       '=' '{' CCODE   {
+                       initializer = ($<cbuf>3)->str;
+                       initializer_line = ccode_line;
+                       g_string_free($<cbuf>3, FALSE);
+                               }
+       ;
+
+
+varoptions:    destructor initializer  { ; }
+       |       initializer destructor  { ; }
+       |       initializer             { destructor = NULL; }
+       |       destructor              { initializer = NULL; }
+       |                               {
+                       destructor = NULL;
+                       initializer = NULL;
+                                       }
+       ;
+
+variable:      scope type TOKEN varoptions ';'         {
+                       push_variable($<id>3, the_scope,$<line>1, NULL);
                                                }
-       |       scope type TOKEN ARRAY_DIM ';'  {
-                       push_variable($<id>3,the_scope,$<line>1,$<id>4);
+       |       scope type TOKEN ARRAY_DIM varoptions ';'       {
+                       push_variable($<id>3, the_scope, $<line>1, $<id>4);
                                                }
        ;
-argument:      ARGUMENT argflags TOKEN TOKEN TOKEN '{' CCODE TOKEN '{' CCODE ';' {
+argument:      ARGUMENT flags argtype TOKEN TOKEN '{' CCODE TOKEN '{' CCODE ';' {
                        if(strcmp($<id>5,"get")==0 &&
                           strcmp($<id>8,"set")==0) {
                                Node *node;
+                               Type *type = pop_type();
                                g_free($<id>5); g_free($<id>8);
-                               node = new_argument($<id>3,$<list>2,$<id>4,
+                               node = new_argument($<id>3,type,$<list>2,$<id>4,
                                                    ($<cbuf>7)->str,$<line>6,
                                                    ($<cbuf>10)->str,$<line>9,
                                                    $<line>1);
@@ -295,8 +484,9 @@ argument:   ARGUMENT argflags TOKEN TOKEN TOKEN '{' CCODE TOKEN '{' CCODE ';' {
                        } else if(strcmp($<id>5,"set")==0 &&
                                strcmp($<id>8,"get")==0) {
                                Node *node;
+                               Type *type = pop_type();
                                g_free($<id>5); g_free($<id>8);
-                               node = new_argument($<id>3,$<list>2,$<id>4,
+                               node = new_argument($<id>3,type,$<list>2,$<id>4,
                                                    ($<cbuf>10)->str,$<line>9,
                                                    ($<cbuf>7)->str,$<line>6,
                                                    $<line>1);
@@ -313,19 +503,21 @@ argument: ARGUMENT argflags TOKEN TOKEN TOKEN '{' CCODE TOKEN '{' CCODE ';' {
                                YYERROR;
                        }
                                                }
-       |       ARGUMENT argflags TOKEN TOKEN TOKEN '{' CCODE ';' {
+       |       ARGUMENT flags argtype TOKEN TOKEN '{' CCODE ';' {
                        if(strcmp($<id>5,"get")==0) {
                                Node *node;
+                               Type *type = pop_type();
                                g_free($<id>5);
-                               node = new_argument($<id>3,$<list>2,$<id>4,
+                               node = new_argument($<id>3,type,$<list>2,$<id>4,
                                                    ($<cbuf>7)->str,$<line>6,
                                                    NULL,0, $<line>1);
                                g_string_free($<cbuf>7,FALSE);
                                class_nodes = g_list_append(class_nodes,node);
                        } else if(strcmp($<id>5,"set")==0) {
                                Node *node;
+                               Type *type = pop_type();
                                g_free($<id>5);
-                               node = new_argument($<id>3,$<list>2,$<id>4,
+                               node = new_argument($<id>3,type,$<list>2,$<id>4,
                                                    NULL,0,($<cbuf>7)->str,
                                                    $<line>6, $<line>1);
                                g_string_free($<cbuf>7,FALSE);
@@ -339,9 +531,92 @@ argument:  ARGUMENT argflags TOKEN TOKEN TOKEN '{' CCODE TOKEN '{' CCODE ';' {
                                YYERROR;
                        }
                                                }
+       |       ARGUMENT flags argtype TOKEN TOKEN {
+                       Node *node;
+                       char *get, *set = NULL;
+                       Variable *var;
+                       Type *type;
+                       char *root;
+                       
+                       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);
+                               yyerror(_("parse error"));
+                               YYERROR;
+                       }
+
+                       type = pop_type();
+
+                       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) {
+                               set = g_strdup_printf("%s->%s = ARG;",
+                                                     root, $<id>4);
+                       } 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) {
+                               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));",
+                                 root, $<id>4,
+                                 root, $<id>4,
+                                 root, $<id>4,
+                                 root, $<id>4,
+                                 root, $<id>4);
+                       } else {
+                               g_assert_not_reached();
+                       }
+
+                       if(strcmp($<id>5, "stringlink")==0) {
+                               get = g_strdup_printf("ARG = g_strdup(%s->%s);", root, $<id>4);
+                       } else
+                               /* For everything else, get is just straight assignment */
+                               get = g_strdup_printf("ARG = %s->%s;", root, $<id>4);
+
+                       g_free($<id>5);
+
+
+                       if(!type)
+                               type = copy_type(var->vtype);
+
+                       node = new_argument($<id>3, type, $<list>2,
+                                           $<id>4, get, $<line>1,
+                                           set, $<line>1, $<line>1);
+                       class_nodes = g_list_append(class_nodes,node);
+                                               }
+       ;
+
+argtype:       TOKEN '(' TOKEN type ')'        {
+                       if(strcmp($<id>3,"type")!=0) {
+                               g_free($<id>1);
+                               g_free($<id>3);
+                               yyerror(_("parse error"));
+                               YYERROR;
+                       }
+                       $<id>$ = $<id>1;
+                                               }
+       |       TOKEN                           {
+                       $<id>$ = $<id>1;
+                       typestack = g_list_prepend(typestack,NULL);
+                                               }
        ;
        
-argflags:      '(' flaglist ')'                { $<list>$ = $<list>2; }
+flags:         '(' flaglist ')'                { $<list>$ = $<list>2; }
        |                                       { $<list>$ = NULL; }
        ;
 
@@ -354,102 +629,109 @@ flaglist:       TOKEN '|' flaglist              {
        ;
 
 
-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,NULL);
+type:          specifier_list pointer                          {
+                       Node *node = new_type($<id>1, $<id>2, NULL);
                        typestack = g_list_prepend(typestack,node);
-                                               }
-       |       type2 stars                     {
-                       Node *node = new_type(stars,$<id>1,NULL);
-                       stars = 0;
+                                                       }
+       |       specifier_list                          {
+                       Node *node = new_type($<id>1, NULL, NULL);
                        typestack = g_list_prepend(typestack,node);
-                                               }
+                                                       }
        ;
 
-type2:         UNSIGNED integer                {
-                       $<id>$ = g_strconcat("unsigned ",$<id>2,NULL);
-                                               }
-       |       SIGNED integer                  {
-                       $<id>$ = g_strconcat("signed ",$<id>2,NULL);
-                                               }
-       |       integer                         {
-                       $<id>$ = g_strdup($<id>1);
-                                               }
-       |       UNSIGNED CHAR                   {
-                       $<id>$ = g_strdup("unsigned char");
-                                               }
-       |       SIGNED CHAR                     {
-                       $<id>$ = g_strdup("signed char");
-                                               }
-       |       CHAR                            {
-                       $<id>$ = g_strdup("char");
-                                               }
-       |       DOUBLE                          {
-                       $<id>$ = g_strdup("double");
-                                               }
-       |       FLOAT                           {
-                       $<id>$ = g_strdup("float");
-                                               }
-       |       TOKEN                           {
+/* The special cases are neccessary to avoid conflicts */
+specifier_list:        spec_list                               {
                        $<id>$ = $<id>1;
-                                               }
-       |       tspecifier TOKEN                {
-                       $<id>$ = g_strconcat($<id>1,$<id>2,NULL);
-                       g_free($<id>2);
-                                               }
-       |       TYPETOKEN                       {
+                                                       }
+       |       TOKEN                                   {
                        $<id>$ = $<id>1;
-                                               }
-       |       VOID                            {
-                       $<id>$ = g_strdup("void");
-                                               }
+                                                       }
+       |       CONST TOKEN                             {
+                       $<id>$ = g_strconcat("const ", $<id>2, NULL);
+                       g_free($<id>2);
+                                                       }
+       |       TOKEN CONST                             {
+                       $<id>$ = g_strconcat($<id>1, " const", NULL);
+                       g_free($<id>1);
+                                                       }
+       |       strunionenum TOKEN                      {
+                       $<id>$ = g_strconcat($<id>1, " ", $<id>2, NULL);
+                       g_free($<id>2);
+                                                       }
+       |       CONST strunionenum TOKEN                {
+                       $<id>$ = g_strconcat("const ", $<id>2, " ",
+                                            $<id>3, NULL);
+                       g_free($<id>3);
+                                                       }
+       |       strunionenum TOKEN CONST                {
+                       $<id>$ = g_strconcat($<id>1, " ",
+                                            $<id>2, " const", NULL);
+                       g_free($<id>2);
+                                                       }
        ;
 
-integer:       LONG INT                        {
-                       $<id>$ = "long int";
-                                               }
-       |       LONG                            {
-                       $<id>$ = "long";
-                                               }
-       |       SHORT INT                       {
-                       $<id>$ = "short int";
-                                               }
-       |       SHORT                           {
-                       $<id>$ = "short";
-                                               }
-       |       INT                             {
-                       $<id>$ = "int";
-                                               }
+/* The special const cases take care of conflicts ! */
+spec_list:     specifier spec_list                     {
+                       $<id>$ = g_strconcat($<id>1, " ", $<id>2, NULL);
+                       g_free($<id>2);
+                                                       }
+       |       TYPETOKEN spec_list                     {
+                       $<id>$ = g_strconcat($<id>1, " ", $<id>2, NULL);
+                       g_free($<id>1);
+                       g_free($<id>2);
+                                                       }
+       |       CONST spec_list                         {
+                       $<id>$ = g_strconcat("const ", $<id>2, NULL);
+                       g_free($<id>2);
+                                                       }
+       |       TYPETOKEN                               {
+                       $<id>$ = $<id>1;
+                                                       }
+       |       TYPETOKEN CONST                         {
+                       $<id>$ = g_strconcat($<id>1, " const", NULL);
+                       g_free($<id>1);
+                                                       }
+       |       specifier                               {
+                       $<id>$ = g_strdup($<id>1);
+                                                       }
+       |       specifier CONST                         {
+                       $<id>$ = g_strconcat($<id>1, " const", NULL);
+                                                       }
        ;
-       
-tspecifier:    ENUM                            {
-                       $<id>$ = "enum ";
-                                               }
-       |       UNION                           {
-                       $<id>$ = "union ";
-                                               }
-       |       STRUCT                          {
-                       $<id>$ = "struct ";
-                                               }
+
+specifier:     VOID                    { $<id>$ = "void"; }
+        |      CHAR                    { $<id>$ = "char"; }
+        |      SHORT                   { $<id>$ = "short"; }
+        |      INT                     { $<id>$ = "int"; }
+        |      LONG                    { $<id>$ = "long"; }
+        |      FLOAT                   { $<id>$ = "float"; }
+        |      DOUBLE                  { $<id>$ = "double"; }
+        |      SIGNED                  { $<id>$ = "signed"; }
+        |      UNSIGNED                { $<id>$ = "unsigned"; }
+        ;
+
+strunionenum:  STRUCT                  { $<id>$ = "struct"; }
+       |       UNION                   { $<id>$ = "union"; }
+       |       ENUM                    { $<id>$ = "enum"; }
        ;
-       
-stars:         '*' stars                       { stars++; }
-       |       '*'                             { stars++; }
+
+pointer:       '*'                     { $<id>$ = g_strdup("*"); }
+       |       '*' CONST               { $<id>$ = g_strdup("* const"); }
+       |       '*' pointer             {
+                               $<id>$ = g_strconcat("*", $<id>2, NULL);
+                               g_free($<id>2);
+                                       }
+       |       '*' CONST pointer       {
+                               $<id>$ = g_strconcat("* const", $<id>3, NULL);
+                               g_free($<id>3);
+                                       }
        ;
 
 /* 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'"));
@@ -498,15 +780,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);
                                                        }
        ;
 
@@ -515,94 +797,161 @@ codenocode:      '{' CCODE                       { $<cbuf>$ = $<cbuf>2; }
        ;
 
 /*here CCODE will include the ending '}' */
-method:                SIGNAL 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>2,NULL,
-                                     $<id>4, $<id>8, $<cbuf>9,$<line>1,
-                                     ccode_line,vararg);
+                       push_function(the_scope, $<sigtype>3,NULL,
+                                     $<id>5, $<cbuf>10,$<line>1,
+                                     ccode_line, vararg, $<list>2);
                                                                        }
-       |       scope SIGNAL 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;
                        }
-                       push_function(the_scope, $<sigtype>3,NULL,
-                                     $<id>5, $<id>9, $<cbuf>10,$<line>2,
-                                     ccode_line,vararg);
+                       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, $<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,
-                                     ccode_line,vararg);
+                                     $<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,
-                                     ccode_line,vararg);
+                                     $<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,
-                                     ccode_line,vararg);
+                                     $<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,
-                                     $<line>1,ccode_line,
-                                     vararg);
+                                     $<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,
-                                     vararg);
+                                     $<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,
-                                             ccode_line,FALSE);
-                       } else if(strcmp($<id>1,"class_init")==0) {
+                                             $<id>1, $<cbuf>5, $<line>2,
+                                             ccode_line, FALSE, NULL);
+                       } 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,
-                                             ccode_line,FALSE);
+                                             $<id>1, $<cbuf>5, $<line>2,
+                                             ccode_line, FALSE, NULL);
                        } else {
                                g_free($<id>1);
                                g_free($<id>3);
-                               g_string_free($<cbuf>3,TRUE);
+                               g_string_free($<cbuf>5,TRUE);
+                               yyerror(_("parse error "
+                                         "(untyped blocks must be init or "
+                                         "class_init)"));
+                               YYERROR;
+                       }
+                                               }
+       ;
+
+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;
+                                       }
        ;
-       
-onerror:       ONERROR numtok          { $<id>$ = $<id>2; }
-       |       ONERROR '{' CCODE       {
+
+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; }