#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"
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 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
}
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();
+ 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
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;
c_cbuf = NULL;
node = new_method(scope, method, type, oid, gtktypes, flags,
- id, funcargs, onerror, c_cbuf, line_no,
- ccode_line, vararg);
+ id, funcargs, onerror, defreturn, c_cbuf, line_no,
+ ccode_line, vararg, method_unique_id++);
if(cbuf)
g_string_free(cbuf,
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)
{
type->postfix = postfix;
- node = new_funcarg(type,name,checks);
+ node = new_funcarg(type, name, checks);
checks = NULL;
funcargs = g_list_append(funcargs, node);
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);
}
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);
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 {
%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
%%
}
;
-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);
}
;
-
+
+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 { ; }
;
scope: PUBLIC { the_scope = PUBLIC_SCOPE; }
| PRIVATE { the_scope = PRIVATE_SCOPE; }
| PROTECTED { the_scope = PROTECTED_SCOPE; }
+ | CLASSWIDE { the_scope = CLASS_SCOPE; }
;
destructor: TOKEN TOKEN {
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);
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,
g_assert_not_reached();
}
- /* get is the same for everything */
- get = g_strdup_printf("ARG = %s->%s;", root, $<id>4);
+ 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);
;
-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'"));
;
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);
}
;
;
/*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);
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; }
projects / gob-dx.git / blobdiff