ack/lang/m2/comp/defmodule.c

/*
 * (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
 * See the copyright notice in the ACK home directory, in the file "Copyright".
 *
 * Author: Ceriel J.H. Jacobs
 */

/* D E F I N I T I O N   M O D U L E S */

/* $Header$ */

#include	"debug.h"

#include	<assert.h>
#include	<em_arith.h>
#include	<em_label.h>
#include	<alloc.h>

#include	"idf.h"
#include	"input.h"
#include	"scope.h"
#include	"def.h"
#include	"LLlex.h"
#include	"Lpars.h"
#include	"f_info.h"
#include	"main.h"
#include	"node.h"
#include	"type.h"
#include	"misc.h"

#ifdef DEBUG
long	sys_filesize();
#endif

struct idf *DefId;

STATIC char *
getwdir(fn)
	register char *fn;
{
	register char *p;
	char *strrindex();

	p = strrindex(fn, '/');
	while (p && *(p + 1) == '\0') {	/* remove trailing /'s */
		*p = '\0';
		p = strrindex(fn, '/');
	}

	if (p) {
		*p = '\0';
		fn = Salloc(fn, (unsigned) (p - &fn[0] + 1));
		*p = '/';
		return fn;
	}
	else return ".";
}

STATIC
GetFile(name)
	char *name;
{
	/*	Try to find a file with basename "name" and extension ".def",
		in the directories mentioned in "DEFPATH".
	*/
	char buf[15];
	char *strncpy(), *strcat();
	static char *WorkingDir = ".";

	strncpy(buf, name, 10);
	buf[10] = '\0';			/* maximum length */
	strcat(buf, ".def");
	DEFPATH[0] = WorkingDir;
	if (! InsertFile(buf, DEFPATH, &(FileName))) {
		error("could not find a DEFINITION MODULE for \"%s\"", name);
		return 0;
	}
	WorkingDir = getwdir(FileName);
	LineNumber = 1;
	DO_DEBUG(options['F'], debug("File %s : %ld characters", FileName, sys_filesize(FileName)));
	return 1;
}

struct def *
GetDefinitionModule(id, incr)
	register struct idf *id;
{
	/*	Return a pointer to the "def" structure of the definition
		module indicated by "id".
		We may have to read the definition module itself.
		Also increment level by "incr".
	*/
	register struct def *df;
	static int level;
	struct scopelist *vis;

	level += incr;
	df = lookup(id, GlobalScope, 1);
	if (!df) {
		/* Read definition module. Make an exception for SYSTEM.
		*/
		DefId = id;
		if (!strcmp(id->id_text, "SYSTEM")) {
			do_SYSTEM();
			df = lookup(id, GlobalScope, 1);
		}
		else {
			extern int ForeignFlag;

			ForeignFlag = 0;
			open_scope(CLOSEDSCOPE);
			if (!is_anon_idf(id) && GetFile(id->id_text)) {
				DefModule();
				df = lookup(id, GlobalScope, 1);
				if (level == 1 &&
				    (!df || !(df->df_flags & D_FOREIGN))) {
					/* The module is directly imported by
					   the currently defined module, and
					   is not foreign, so we have to
					   remember its name because we have 
					   to call its initialization routine
					*/
					static struct node *nd_end;
					register struct node *n;
					extern struct node *Modules;

					n = MkLeaf(Name, &dot);
					n->nd_IDF = id;
					n->nd_symb = IDENT;
					if (nd_end) nd_end->next = n;
					else Modules = n;
					nd_end = n;
				}
			}
			else {
				df = lookup(id, GlobalScope, 1);
				CurrentScope->sc_name = id->id_text;
			}
			vis = CurrVis;
			close_scope(SC_CHKFORW);
		}
		if (! df) {
			df = MkDef(id, GlobalScope, D_ERROR);
			df->df_type = error_type;
			df->mod_vis = vis;
		}
	}
	else if (df->df_flags & D_BUSY) {
		error("definition module \"%s\" depends on itself",
			id->id_text);
	}
	else if (df == Defined && level == 1) {
		error("cannot import from currently defined module");
		df->df_kind = D_ERROR;
	}
	assert(df);
	level -= incr;
	return df;
}