123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286 |
- /*
- * (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
- */
- /* O V E R A L L S T R U C T U R E */
- /* $Id$ */
- {
- #include <stdlib.h>
- #include <string.h>
- #include "debug.h"
- #include <alloc.h>
- #include <em_arith.h>
- #include <em_label.h>
- #include <em_code.h>
- #include <stb.h>
- #include "dbsymtab.h"
- #include "strict3rd.h"
- #include "main.h"
- #include "idf.h"
- #include "LLlex.h"
- #include "scope.h"
- #include "def.h"
- #include "type.h"
- #include "node.h"
- #include "f_info.h"
- #include "warning.h"
- #include "misc.h"
- extern t_def *GetDefinitionModule();
- }
- /*
- The grammar as given by Wirth is already almost LL(1); the
- main problem is that the full form of a qualified designator
- may be:
- [ module_ident '.' ]* IDENT [ '.' field_ident ]*
- which is quite confusing to an LL(1) parser. Rather than
- resorting to context-sensitive techniques, I have decided
- to render this as:
- IDENT [ '.' IDENT ]*
- on the grounds that it is quite natural to consider the first
- IDENT to be the name of the object and regard the others as
- field identifiers.
- */
- %lexical LLlex;
- %start CompUnit, CompilationUnit;
- %start DefModule, DefinitionModule;
- ModuleDeclaration
- {
- register t_def *df;
- t_node *exportlist;
- int qualified;
- } :
- MODULE IDENT { df = DefineLocalModule(dot.TOK_IDF); }
- priority(&(df->mod_priority))
- ';'
- import(1)*
- export(&qualified, &exportlist)
- block(&(df->mod_body))
- IDENT { EnterExportList(exportlist, qualified);
- close_scope(SC_CHKFORW|SC_CHKPROC|SC_REVERSE);
- match_id(df->df_idf, dot.TOK_IDF);
- }
- ;
- priority(register t_node **prio;):
- [
- '[' ConstExpression(prio) ']'
- { if (! ((*prio)->nd_type->tp_fund & T_CARDINAL)) {
- node_error(*prio, "illegal priority");
- }
- }
- |
- ]
- ;
- export(int *QUALflag; t_node **ExportList;):
- { *ExportList = 0; *QUALflag = D_EXPORTED; }
- [
- EXPORT
- [
- QUALIFIED
- { *QUALflag = D_QEXPORTED; }
- |
- ]
- IdentList(ExportList) ';'
- |
- ]
- ;
- import(int local;)
- {
- t_node *ImportList;
- register t_node *FromId = 0;
- register t_def *df;
- } :
- /*
- When parsing a global module, this is the place where we must
- read already compiled definition modules.
- If the FROM clause is present, the identifier in it is a module
- name, otherwise the names in the import list are module names.
- */
- [ FROM
- IDENT
- %substart DefinitionModule;
- { FromId = dot2leaf(Name);
- if (local) {
- df = lookfor(FromId,enclosing(CurrVis),0,D_USED);
- }
- else df = GetDefinitionModule(dot.TOK_IDF, 1);
- }
- ]?
- IMPORT IdentList(&ImportList) ';'
- %substart DefinitionModule;
- { if (FromId) {
- EnterFromImportList(ImportList, df, FromId);
- }
- else {
- EnterImportList(ImportList,
- local,
- enclosing(CurrVis)->sc_scope);
- }
- FreeNode(ImportList);
- }
- ;
- DefinitionModule
- {
- register t_def *df;
- t_node *exportlist;
- int dummy;
- extern t_idf *DefId;
- extern int ForeignFlag;
- extern char *sprint();
- register t_scope *currscope = CurrentScope;
- char buf[512];
- } :
- DEFINITION
- MODULE IDENT { df = define(dot.TOK_IDF, GlobalScope, D_MODULE);
- df->df_flags |= D_BUSY | ForeignFlag;
- currscope->sc_definedby = df;
- if (DefId &&
- df->df_idf != DefId &&
- !is_anon_idf(df->df_idf)) {
- error("DEFINITION MODULE name is \"%s\", not \"%s\"",
- df->df_idf->id_text, DefId->id_text);
- }
- sprint(buf, "_%s_", df->df_idf->id_text);
- currscope->sc_name = Salloc(buf, (unsigned) strlen(buf) + 1);
- df->mod_vis = CurrVis;
- df->df_type = standard_type(T_RECORD, 1, (arith) 1);
- df->df_type->rec_scope = currscope;
- DefinitionModule++;
- if (!Defined) {
- Defined = df;
- }
- }
- ';'
- import(0)*
- export(&dummy, &exportlist)
- /* New Modula-2 does not have export lists in definition
- modules. Issue a warning.
- */
- {
- if (exportlist) {
- #ifndef STRICT_3RD_ED
- if (! options['3'])
- node_warning(exportlist, W_OLDFASHIONED, "export list in definition module ignored");
- else
- #endif
- error("export list not allowed in definition module");
- FreeNode(exportlist);
- }
- }
- definition* END IDENT
- { end_definition_list(&(currscope->sc_def));
- DefinitionModule--;
- match_id(dot.TOK_IDF, df->df_idf);
- df->df_flags &= ~D_BUSY;
- }
- '.'
- ;
- definition
- {
- register t_def *df;
- t_def *dummy;
- } :
- CONST [ %persistent ConstantDeclaration ';' ]*
- |
- TYPE
- [ %persistent
- IDENT { df = define(dot.TOK_IDF, CurrentScope, D_TYPE); }
- [ '=' type(&(df->df_type))
- { SolveForwardTypeRefs(df); }
- | /* empty */
- /*
- Here, the exported type has a hidden implementation.
- The export is said to be opaque.
- It is restricted to pointer types.
- */
- { df->df_kind = D_HIDDEN;
- df->df_type = construct_type(T_HIDDEN, NULLTYPE);
- }
- ]
- {
- #ifdef DBSYMTAB
- if (options['g']) stb_string(df, D_TYPE);
- #endif
- }
- ';'
- ]*
- |
- VAR [ %persistent VariableDeclaration ';' ]*
- |
- ProcedureHeading(&dummy, D_PROCHEAD) ';'
- ;
- ProgramModule
- {
- register t_def *df;
- } :
- MODULE
- IDENT
- %substart DefinitionModule;
- {
- if (state == IMPLEMENTATION) {
- int len = strlen(dot.TOK_IDF->id_text);
- char* leafname = strrchr(FileName, '/');
- if (leafname)
- leafname++;
- else
- leafname = FileName;
- if (len > 10) len = 10;
- if (strncmp(leafname, dot.TOK_IDF->id_text, len)) {
- warning(W_ORDINARY, "modulename %s does not match filename %s", dot.TOK_IDF->id_text, leafname);
- }
- df = GetDefinitionModule(dot.TOK_IDF, 0);
- CurrVis = df->mod_vis;
- }
- else {
- Defined = df = define(dot.TOK_IDF, GlobalScope, D_MODULE);
- open_scope(CLOSEDSCOPE);
- df->mod_vis = CurrVis;
- CurrentScope->sc_name = "__M2M_";
- CurrentScope->sc_definedby = df;
- }
- }
- priority(&(df->mod_priority))
- ';' import(0)*
- block(&(df->mod_body)) IDENT
- {
- close_scope(SC_CHKFORW|SC_CHKPROC|SC_REVERSE);
- match_id(df->df_idf, dot.TOK_IDF);
- }
- '.'
- ;
- CompilationUnit:
- { error("Compiling a definition module");
- open_scope(CLOSEDSCOPE);
- state = DEFINITION;
- }
- DefinitionModule
- { close_scope(SC_CHKFORW); }
- | %default
- [
- IMPLEMENTATION
- { state = IMPLEMENTATION; }
- |
- /* empty */
- { state = PROGRAM; }
- ]
- ProgramModule
- ;
|