===================================================================
RCS file: /home/cvs/OpenXM_contrib2/asir2000/parse/eval.c,v
retrieving revision 1.21
retrieving revision 1.24
diff -u -p -r1.21 -r1.24
--- OpenXM_contrib2/asir2000/parse/eval.c	2003/05/14 06:20:12	1.21
+++ OpenXM_contrib2/asir2000/parse/eval.c	2003/05/16 07:56:16	1.24
@@ -45,7 +45,7 @@
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  *
- * $OpenXM: OpenXM_contrib2/asir2000/parse/eval.c,v 1.20 2003/02/14 22:29:18 ohara Exp $ 
+ * $OpenXM: OpenXM_contrib2/asir2000/parse/eval.c,v 1.23 2003/05/14 09:18:38 noro Exp $ 
 */
 #include <ctype.h>
 #include "ca.h"
@@ -63,6 +63,7 @@ extern JMP_BUF timer_env;
 int f_break,f_return,f_continue;
 int evalstatline;
 int recv_intr;
+int show_crossref;
 
 pointer eval(FNODE f)
 {
@@ -803,36 +804,81 @@ MODULE searchmodule(char *name)
 	}
 	return 0;
 }
+/*
+ * xxx.yyy() is searched in the flist 
+ * of the module xxx.
+ * yyy() is searched in the global flist.
+ */
 
-void gen_searchf(char *name,FUNC *r)
+void searchuf(char *name,FUNC *r)
 {
-	FUNC val = 0;
 	MODULE mod;
 	char *name0,*dot;
 
-	if ( CUR_MODULE )
+	if ( dot = strchr(name,'.') ) {
+		name0 = (char *)ALLOCA(strlen(name)+1);
+		strcpy(name0,name);
+		dot = strchr(name0,'.');
+		*dot = 0;
+		mod = searchmodule(name0);
+		if ( mod )
+			searchf(mod->usrf_list,dot+1,r);
+	} else
+		searchf(usrf,name,r);
+}
+
+/*
+ * xxx.yyy() is searched in the flist 
+ * of the module xxx.
+ * yyy() is searched in the current flist
+ * and proto list.
+ */
+
+void searchuf_proto(char *name,FUNC *r)
+{
+	MODULE mod;
+	char *name0,*dot;
+
+	if ( dot = strchr(name,'.') ) {
+		name0 = (char *)ALLOCA(strlen(name)+1);
+		strcpy(name0,name);
+		dot = strchr(name0,'.');
+		*dot = 0;
+		mod = searchmodule(name0);
+		if ( mod )
+			searchf(mod->usrf_list,dot+1,r);
+	} else if ( CUR_MODULE )
+		searchf(CUR_MODULE->proto_list,name,r);
+}
+
+void gen_searchf(char *name,FUNC *r)
+{
+	FUNC val = 0;
+
+	if ( CUR_MODULE ) {
 		searchf(CUR_MODULE->usrf_list,name,&val);
-	if ( !val ) {
-		if ( dot = strchr(name,'.') ) {
-			name0 = (char *)ALLOCA(strlen(name)+1);
-			strcpy(name0,name);
-			dot = strchr(name0,'.');
-			*dot = 0;
-			mod = searchmodule(name0);
-			if ( mod )
-				searchf(mod->usrf_list,dot+1,&val);
-		}
+		if ( !val )
+			searchf(sysf,name,&val);
+		if ( !val )
+			searchf(ubinf,name,&val);
+		if ( !val )
+			searchpf(name,&val);
+		if ( !val )
+			searchuf_proto(name,&val);
+		if ( !val )
+			appenduf(name,&val);
+	} else {
+		if ( !val )
+			searchf(sysf,name,&val);
+		if ( !val )
+			searchf(ubinf,name,&val);
+		if ( !val )
+			searchpf(name,&val);
+		if ( !val )
+			searchuf(name,&val);
+		if ( !val )
+			appenduf(name,&val);
 	}
-	if ( !val )
-		searchf(sysf,name,&val);
-	if ( !val )
-		searchf(ubinf,name,&val);
-	if ( !val )
-		searchpf(name,&val);
-	if ( !val )
-		searchf(usrf,name,&val);
-	if ( !val )
-		appenduf(name,&val);
 	*r = val;
 }
 
@@ -849,21 +895,51 @@ void searchf(NODE fn,char *name,FUNC *r)
 	*r = 0;
 }
 
+MODULE mkmodule(char *);
+
 void appenduf(char *name,FUNC *r)
 {
 	NODE tn;
 	FUNC f;
+	int len;
+	MODULE mod;
+	char *modname,*fname,*dot;
 
 	f=(FUNC)MALLOC(sizeof(struct oFUNC)); 
-	f->name = name; f->id = A_UNDEF; f->argc = 0; f->f.binf = 0;
-	if ( CUR_MODULE ) {
-		MKNODE(tn,f,CUR_MODULE->usrf_list); CUR_MODULE->usrf_list = tn;
+	f->id = A_UNDEF; f->argc = 0; f->f.binf = 0;
+	if ( dot = strchr(name,'.') ) {
+		/* undefined function in undefined module */
+		len = dot-name;
+		modname = (char *)MALLOC_ATOMIC(len+1);
+		strncpy(modname,name,len); modname[len] = 0;
+		mod = mkmodule(modname);
+		fname = (char *)MALLOC_ATOMIC(strlen(name)-len+1);
+		strcpy(fname,dot+1);
+		f->name = fname;
+		MKNODE(mod->usrf_list,f,0);
 	} else {
-		MKNODE(tn,f,usrf); usrf = tn;
+		f->name = name; 
+		if ( CUR_MODULE ) {
+			MKNODE(tn,f,CUR_MODULE->usrf_list); CUR_MODULE->usrf_list = tn;
+		} else {
+			MKNODE(tn,f,usrf); usrf = tn;
+		}
 	}
 	*r = f;
 }
 
+void appenduf_global(char *name,FUNC *r)
+{
+	NODE tn;
+	FUNC f;
+
+	f=(FUNC)MALLOC(sizeof(struct oFUNC)); 
+	f->id = A_UNDEF; f->argc = 0; f->f.binf = 0;
+	f->name = name; 
+	MKNODE(tn,f,usrf); usrf = tn;
+	*r = f;
+}
+
 void mkparif(char *name,FUNC *r)
 {
 	FUNC f;
@@ -920,6 +996,7 @@ void mkuf(char *name,char *fname,NODE args,SNODE body,
 	t->desc = desc;
 	f->id = A_USR; f->argc = argc; f->f.usrf = t;
 	CPVS = GPVS;
+	CUR_FUNC = 0;
 	clearbp(f);
 }
 
@@ -951,8 +1028,6 @@ Obj getopt_from_cpvs(char *key)
 
 }
 
-extern NODE MODULE_LIST;
-
 MODULE mkmodule(char *name)
 {
 	MODULE mod;
@@ -980,4 +1055,47 @@ MODULE mkmodule(char *name)
 		MODULE_LIST = m;
 		return mod;
 	}
+}
+
+/* register function names to the proto list of a module */
+
+void register_proto(NODE n)
+{
+	NODE tn,flist;
+	char *name;
+	FUNC val;
+
+	if ( !CUR_MODULE )
+		error("globalf : must be declared in a module.");
+	for ( tn = n; tn; tn = NEXT(tn) ) {
+		name = (char *)BDY(tn);
+		searchf(sysf,name,&val);
+		if ( val ) {
+			fprintf(stderr,"globalf : `%s' is a builtin function.",name);
+			error("");
+		}
+		searchf(ubinf,name,&val);
+		if ( val ) {
+			fprintf(stderr,
+				"globalf : `%s' is a user-defined builtin function.",name);
+			error("");
+		}
+		searchpf(name,&val);
+		if ( val ) {
+			fprintf(stderr,"globalf : `%s' is a pure function.",name);
+			error("");
+		}
+		searchf(usrf,name,&val);
+		if ( !val )
+			appenduf_global(name,&val);
+		MKNODE(flist,val,CUR_MODULE->proto_list);
+		CUR_MODULE->proto_list = flist;
+	}
+}
+
+void print_crossref(FUNC f)
+{
+	if ( show_crossref && CUR_FUNC )
+		fprintf(asir_out,"%s() at line %d in %s()\n",
+			f->name, asir_infile->ln, CUR_FUNC);
 }