// Compiler implementation of the D programming language // Copyright (c) 1999-2010 by Digital Mars // All Rights Reserved // written by Walter Bright // http://www.digitalmars.com // License for redistribution is by either the Artistic License // in artistic.txt, or the GNU General Public License in gnu.txt. // See the included readme.txt for details. #include #include #include "root.h" #include "dsymbol.h" #include "import.h" #include "identifier.h" #include "module.h" #include "scope.h" #include "hdrgen.h" #include "mtype.h" #include "declaration.h" #include "id.h" #include "attrib.h" /********************************* Import ****************************/ Import::Import(Loc loc, Array *packages, Identifier *id, Identifier *aliasId, int isstatic) : Dsymbol(id) { assert(id); this->loc = loc; this->packages = packages; this->id = id; this->aliasId = aliasId; this->isstatic = isstatic; protection = PROTundefined; pkg = NULL; mod = NULL; if (aliasId) this->ident = aliasId; // Kludge to change Import identifier to first package else if (packages && packages->dim) this->ident = (Identifier *)packages->data[0]; } enum PROT Import::prot() { return protection; } void Import::addAlias(Identifier *name, Identifier *alias) { if (isstatic) error("cannot have an import bind list"); if (!aliasId) this->ident = NULL; // make it an anonymous import names.push(name); aliases.push(alias); } const char *Import::kind() { return isstatic ? (char *)"static import" : (char *)"import"; } Dsymbol *Import::syntaxCopy(Dsymbol *s) { assert(!s); Import *si; si = new Import(loc, packages, id, aliasId, isstatic); for (size_t i = 0; i < names.dim; i++) { si->addAlias((Identifier *)names.data[i], (Identifier *)aliases.data[i]); } return si; } void Import::load(Scope *sc) { //printf("Import::load('%s')\n", toChars()); // See if existing module DsymbolTable *dst = Package::resolve(packages, NULL, &pkg); Dsymbol *s = dst->lookup(id); if (s) { #if TARGET_NET mod = (Module *)s; #else if (s->isModule()) mod = (Module *)s; else error("package and module have the same name"); #endif } if (!mod) { // Load module mod = Module::load(loc, packages, id); dst->insert(id, mod); // id may be different from mod->ident, // if so then insert alias if (!mod->importedFrom) mod->importedFrom = sc ? sc->module->importedFrom : Module::rootModule; } if (!pkg) pkg = mod; //printf("-Import::load('%s'), pkg = %p\n", toChars(), pkg); } void escapePath(OutBuffer *buf, const char *fname) { while (1) { switch (*fname) { case 0: return; case '(': case ')': case '\\': buf->writebyte('\\'); default: buf->writebyte(*fname); break; } fname++; } } void Import::importAll(Scope *sc) { if (!mod) { load(sc); mod->importAll(0); /* Default to private importing, except for object */ protection = sc->protection; if (id != Id::object && !sc->explicitProtection) protection = PROTprivate; if (!isstatic && !aliasId && !names.dim) sc->scopesym->importScope(mod, protection); } } void Import::semantic(Scope *sc) { //printf("Import::semantic('%s')\n", toChars()); // Load if not already done so if (!mod) { load(sc); mod->importAll(0); } if (mod) { #if 0 if (mod->loc.linnum != 0) { /* If the line number is not 0, then this is not * a 'root' module, i.e. it was not specified on the command line. */ mod->importedFrom = sc->module->importedFrom; assert(mod->importedFrom); } #endif // Modules need a list of each imported module //printf("%s imports %s\n", sc->module->toChars(), mod->toChars()); sc->module->aimports.push(mod); if (!isstatic && !aliasId && !names.dim) { /* Default to private importing */ enum PROT prot = sc->protection; if (!sc->explicitProtection) prot = PROTprivate; sc->scopesym->importScope(mod, prot); } mod->semantic(); if (mod->needmoduleinfo) { //printf("module4 %s because of %s\n", sc->module->toChars(), mod->toChars()); sc->module->needmoduleinfo = 1; } sc = sc->push(mod); for (size_t i = 0; i < aliasdecls.dim; i++) { AliasDeclaration *ad = (AliasDeclaration *)aliasdecls.data[i]; //printf("\tImport alias semantic('%s')\n", s->toChars()); if (!mod->search(loc, (Identifier *)names.data[i], 0)) error("%s not found", ((Identifier *)names.data[i])->toChars()); ad->semantic(sc); ad->protection = protection; } sc = sc->pop(); } if (global.params.moduleDeps != NULL) { /* The grammar of the file is: * ImportDeclaration * ::= BasicImportDeclaration [ " : " ImportBindList ] [ " -> " * ModuleAliasIdentifier ] "\n" * * BasicImportDeclaration * ::= ModuleFullyQualifiedName " (" FilePath ") : " Protection * " [ " static" ] : " ModuleFullyQualifiedName " (" FilePath ")" * * FilePath * - any string with '(', ')' and '\' escaped with the '\' character */ OutBuffer *ob = global.params.moduleDeps; ob->writestring(sc->module->toPrettyChars()); ob->writestring(" ("); escapePath(ob, sc->module->srcfile->toChars()); ob->writestring(") : "); ProtDeclaration::protectionToCBuffer(ob, sc->protection); if (isstatic) StorageClassDeclaration::stcToCBuffer(ob, STCstatic); ob->writestring(": "); if (packages) { for (size_t i = 0; i < packages->dim; i++) { Identifier *pid = (Identifier *)packages->data[i]; ob->printf("%s.", pid->toChars()); } } ob->writestring(id->toChars()); ob->writestring(" ("); if (mod) escapePath(ob, mod->srcfile->toChars()); else ob->writestring("???"); ob->writebyte(')'); for (size_t i = 0; i < names.dim; i++) { if (i == 0) ob->writebyte(':'); else ob->writebyte(','); Identifier *name = (Identifier *)names.data[i]; Identifier *alias = (Identifier *)aliases.data[i]; if (!alias) { ob->printf("%s", name->toChars()); alias = name; } else ob->printf("%s=%s", alias->toChars(), name->toChars()); } if (aliasId) ob->printf(" -> %s", aliasId->toChars()); ob->writenl(); } //printf("-Import::semantic('%s'), pkg = %p\n", toChars(), pkg); } void Import::semantic2(Scope *sc) { //printf("Import::semantic2('%s')\n", toChars()); mod->semantic2(); if (mod->needmoduleinfo) { //printf("module5 %s because of %s\n", sc->module->toChars(), mod->toChars()); sc->module->needmoduleinfo = 1; } } Dsymbol *Import::toAlias() { if (aliasId) return mod; return this; } /***************************** * Add import to sd's symbol table. */ int Import::addMember(Scope *sc, ScopeDsymbol *sd, int memnum) { int result = 0; if (names.dim == 0) return Dsymbol::addMember(sc, sd, memnum); if (aliasId) result = Dsymbol::addMember(sc, sd, memnum); /* Instead of adding the import to sd's symbol table, * add each of the alias=name pairs */ for (size_t i = 0; i < names.dim; i++) { Identifier *name = (Identifier *)names.data[i]; Identifier *alias = (Identifier *)aliases.data[i]; if (!alias) alias = name; TypeIdentifier *tname = new TypeIdentifier(loc, name); AliasDeclaration *ad = new AliasDeclaration(loc, alias, tname); result |= ad->addMember(sc, sd, memnum); aliasdecls.push(ad); } return result; } Dsymbol *Import::search(Loc loc, Identifier *ident, int flags) { //printf("%s.Import::search(ident = '%s', flags = x%x)\n", toChars(), ident->toChars(), flags); if (!pkg) { load(NULL); mod->semantic(); } // Forward it to the package/module return pkg->search(loc, ident, flags); } int Import::overloadInsert(Dsymbol *s) { // Allow multiple imports of the same name return s->isImport() != NULL; } void Import::toCBuffer(OutBuffer *buf, HdrGenState *hgs) { if (hgs->hdrgen && id == Id::object) return; // object is imported by default if (isstatic) buf->writestring("static "); buf->writestring("import "); if (aliasId) { buf->printf("%s = ", aliasId->toChars()); } if (packages && packages->dim) { for (size_t i = 0; i < packages->dim; i++) { Identifier *pid = (Identifier *)packages->data[i]; buf->printf("%s.", pid->toChars()); } } buf->printf("%s;", id->toChars()); buf->writenl(); }