X-Git-Url: http://git.draconx.ca/gitweb/gob-dx.git/blobdiff_plain/2255b3d84eeb947d4c065332f16e410ae4704c63..refs/tags/v0.93.4:/src/parse.y

diff --git a/src/parse.y b/src/parse.y
index f4c4a40..17ab264 100644
--- a/src/parse.y
+++ b/src/parse.y
@@ -25,13 +25,12 @@
 #include <stdio.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;
@@ -44,6 +43,16 @@ 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,46 +76,58 @@ 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);
+		type = pop_type();
 	} else {
 		type = (Type *)new_type(0,g_strdup("void"),NULL);
 	}
@@ -118,10 +139,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 +165,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);
 
 	if(cbuf)
 		g_string_free(cbuf,
@@ -144,19 +177,37 @@ 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)
 {
 	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);
@@ -192,6 +243,48 @@ push_self(char *id)
 	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 +298,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 +311,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;
@@ -260,32 +370,87 @@ classdec:	CLASS TYPETOKEN FROM TYPETOKEN	{
 						}
 	;
 	
-classcode:	classcode method		{ ; }
-	|	classcode variable		{ ; }
-	|	classcode argument		{ ; }
-	|	method				{ ; }
+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;
+			}
+					}
+	;
+
+initializer:	'=' numtok	{
+			initializer = $<id>2;
+			initializer_line = ccode_line;
+				}
+	|	'=' '{' CCODE	{
+			initializer = ($<cbuf>3)->str;
+			initializer_line = ccode_line;
+			g_string_free($<cbuf>3, FALSE);
+				}
 	;
 
-variable:	scope type TOKEN ';'		{
-			push_variable($<id>3,the_scope,$<line>1,NULL);
+
+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 +460,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 +479,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 +507,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,
+				  root, $<id>4,
+				  root, $<id>4,
+				  root, $<id>4);
+			} else {
+				g_assert_not_reached();
+			}
+
+			/* get is the same for everything */
+			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; }
 	;
 
@@ -447,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'"));
@@ -498,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);
        						}
 	;
 
@@ -515,78 +766,108 @@ 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);
@@ -596,13 +877,48 @@ method:		SIGNAL 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; }