Package org.rascalmpl.interpreter.staticErrors

Examples of org.rascalmpl.interpreter.staticErrors.UndeclaredModule

342
343
344
345
346
347
348
349
350
351
352
  }

  private static void addImportToCurrentModule(ISourceLocation src, String name, IEvaluator<Result<IValue>> eval) {
    ModuleEnvironment module = eval.getHeap().getModule(name);
    if (module == null) {
      throw new UndeclaredModule(name, src);
    }
    ModuleEnvironment current = eval.getCurrentModuleEnvironment();
    current.addImport(name, module);
    current.setSyntaxDefined(current.definesSyntax() || module.definesSyntax());
  }
View Full Code Here
407
408
409
410
411
412
413
414
415
416
417
        return getVariable(cons);
      }
     
      ModuleEnvironment imported = getImport(modulename);
      if (imported == null) {
        throw new UndeclaredModule(modulename, name);
      }
     
      // TODO: will this not do a transitive closure? This should not happen...
      return imported.getVariable(name);
    }
View Full Code Here
706
707
708
709
710
711
712
713
714
715
716
        return;
      }
     
      ModuleEnvironment imported = getImport(modulename);
      if (imported == null) {
        throw new UndeclaredModule(modulename, name);
      }
     
      imported.storeVariable(name, result);
      return;
    }
View Full Code Here
845
846
847
848
849
850
851
852
853
854
855
        flagName(cons, flags);
      }
     
      ModuleEnvironment imported = getImport(modulename);
      if (imported == null) {
        throw new UndeclaredModule(modulename, name);
      }
     
      imported.flagName(cons, flags);
    }
   
View Full Code Here
141
142
143
144
145
146
147
148
149
  }

  public ModuleEnvironment getModule(QualifiedName name, AbstractAST ast) {
    ModuleEnvironment module = getModule(Names.fullName(name));
    if (module == null) {
      throw new UndeclaredModule(Names.fullName(name), ast);
    }
    return module;
  }
View Full Code Here
189
190
191
192
193
194
195
196
197
198
199
   */
  public Environment getEnvironmentForName(QualifiedName name, Environment current) {
    if (Names.isQualified(name)) {
      ModuleEnvironment mod = getModule(Names.moduleName(name));
      if (mod == null) {
        throw new UndeclaredModule(Names.moduleName(name), name);
      }
      return mod;
    }

    return current;
View Full Code Here
50
51
52
53
54
55
56
57
58
59
60
        ModuleEnvironment mod = heap
            .getModule(org.rascalmpl.interpreter.utils.Names
                .moduleName(sort));

        if (mod == null) {
          throw new UndeclaredModule(
              org.rascalmpl.interpreter.utils.Names
                  .moduleName(sort), sort);
        }

        adt = mod.lookupAbstractDataType(name);
View Full Code Here
TOP

Related Classes of org.rascalmpl.interpreter.staticErrors.UndeclaredModule

  • org.rascalmpl.interpreter.env.GlobalEnvironment
  • org.rascalmpl.interpreter.env.ModuleEnvironment
  • org.rascalmpl.semantics.dynamic.DataTypeSelector$Selector
  • org.rascalmpl.semantics.dynamic.Import
    • Copyright © 2018 www.massapicom. All rights reserved.
    All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.