123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237 |
- /*
- * (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 */
- /* stripped down version of the one in the Modula-2 compiler */
- /* $Id$ */
- /*
- 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.
- */
- {
- #include "main.h"
- #include "idf.h"
- #include "f_info.h"
- #include "LLlex.h"
- #include <alloc.h>
- struct lnk *
- new_lnk()
- {
- static struct lnk *p;
- static int cnt;
- if (cnt-- <= 0) {
- p = (struct lnk *)Malloc(50*sizeof(struct lnk));
- cnt = 49;
- }
- p->lnk_next = 0;
- p->lnk_imp = 0;
- return p++;
- }
- }
- %lexical LLlex;
- %start CompUnit, CompilationUnit;
- %start DefModule, DefinitionModule;
- ModuleDeclaration :
- MODULE IDENT priority ';' import((struct lnk **) 0)* export?
- block IDENT
- ;
- priority:
- [
- '[' ConstExpression ']'
- |
- /* empty */
- ]
- ;
- export :
- EXPORT
- [
- QUALIFIED
- |
- /* empty */
- ]
- IdentList ';'
- ;
- import(register struct lnk **p;)
- {
- register struct idf *fromid = 0;
- struct idf *id;
- }
- :
- { if (p) while (*p) p = &((*p)->lnk_next); }
- [ FROM
- identifier(&id) { fromid = id;
- if (p) {
- if (AddToList(fromid->id_text, ".def")) {
- *p = new_lnk();
- (*p)->lnk_imp = fromid;
- }
- }
- }
- ]?
- IMPORT
- identifier(&id) { if (! fromid && p) {
- if (AddToList(id->id_text, ".def")) {
- *p = new_lnk();
- (*p)->lnk_imp = id;
- p = &((*p)->lnk_next);
- }
- }
- }
- [
- ',' identifier(&id)
- { if (! fromid && p) {
- if (AddToList(id->id_text, ".def")) {
- *p = new_lnk();
- (*p)->lnk_imp = id;
- p = &((*p)->lnk_next);
- }
- }
- }
- ]*
- ';'
- /*
- 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.
- */
- ;
- DefinitionModule
- {
- struct idf *id;
- extern char *strrchr();
- }
- :
- DEFINITION
- MODULE identifier(&id)
- { if (! ForeignFlag) {
- AddToList(id->id_text, ".mod");
- }
- if (! id->id_type) {
- id->id_type = DEFINITION;
- }
- else if (id->id_type != IMPLEMENTATION) {
- error("multiple declaration for module %s",
- id->id_text);
- }
- if (! id->id_dir) {
- id->id_dir = WorkingDir;
- }
- else if (strcmp(id->id_dir, WorkingDir)) {
- Gerror("definition and implementation of module %s reside in different directories", id->id_text);
- }
- id->id_def = strrchr(FileName, '/');
- if (! id->id_def) id->id_def = FileName;
- else (id->id_def)++;
- CurrentArg->a_idf = id;
- }
- ';'
- import(&(id->id_defimports))*
- [
- export
- |
- /* empty */
- ]
- definition* END IDENT
- '.'
- ;
- definition :
- CONST [ %persistent ConstantDeclaration ';' ]*
- |
- TYPE
- [ %persistent
- IDENT
- [ '=' type
- | /* empty */
- /*
- Here, the exported type has a hidden implementation.
- The export is said to be opaque.
- It is restricted to pointer types.
- */
- ]
- ';'
- ]*
- |
- VAR [ %persistent VariableDeclaration ';' ]*
- |
- ProcedureHeading
- ';'
- ;
- ProgramModule
- {
- struct idf *id;
- }
- :
- MODULE
- identifier(&id) { if (! id->id_type) {
- id->id_type = state;
- }
- else if (id->id_type != DEFINITION ||
- state != IMPLEMENTATION) {
- error("multiple declaration for module %s",
- id->id_text);
- }
- if (! id->id_dir) {
- id->id_dir = WorkingDir;
- }
- else if (strcmp(id->id_dir, WorkingDir)) {
- Gerror("definition and implementation of module %s reside in different directories", id->id_text);
- }
- CurrentArg->a_idf = id;
- }
- priority
- ';' import(&(id->id_modimports))*
- block IDENT
- '.'
- ;
- Module:
- DEFINITION
- { fatal("Definition module in .mod file"); }
- | %default
- [
- IMPLEMENTATION { state = IMPLEMENTATION; }
- |
- /* empty */ { state = PROGRAM; }
- ]
- ProgramModule
- ;
- CompilationUnit:
- Module
- ;
- identifier(struct idf **id;):
- IDENT
- { extern char idfbuf[];
- *id = str2idf(idfbuf, 1);
- }
- ;
|