Examples of org.rascalmpl.interpreter.env.ModuleEnvironment

org.rascalmpl.interpreter.env.ModuleEnvironment
A module environment represents a module object (i.e. a running module). It manages imported modules and visibility of the functions and variables it declares. TODO: add management of locally declared types and constructors

    GlobalEnvironment heap = eval.__getHeap();
    
    if (!heap.existsModule(name)) {
      //System.err.println("importModule: " + name);
      // deal with a fresh module that needs initialization
      heap.addModule(new ModuleEnvironment(name, heap));
      loadModule(src, name, eval);
    } 
    else if (eval.getCurrentEnvt() == eval.__getRootScope()) {
      // in the root scope we treat an import as a "reload"
      heap.resetModule(name);

View Full Code Here

    return;
  }
  
  public static void extendCurrentModule(ISourceLocation x, String name, IEvaluator<Result<IValue>> eval) {
    GlobalEnvironment heap = eval.__getHeap();
    ModuleEnvironment other = heap.getModule(name);;
    
    if (other == null) {
      // deal with a fresh module that needs initialization
      heap.addModule(new ModuleEnvironment(name, heap));
      other = loadModule(x, name, eval);
    } 
    else if (eval.getCurrentEnvt() == eval.__getRootScope()) {
      // in the root scope we treat an extend as a "reload"
      heap.resetModule(name);

View Full Code Here

  }
  
  public static ModuleEnvironment loadModule(ISourceLocation x, String name, IEvaluator<Result<IValue>> eval) {
    GlobalEnvironment heap = eval.getHeap();
    
    ModuleEnvironment env = heap.getModule(name);
    if (env == null) {
      env = new ModuleEnvironment(name, heap);
      heap.addModule(env);
    }
    
    try {
      Module module = buildModule(name, env, eval);

View Full Code Here

  private static ASTBuilder getBuilder() {
    return new ASTBuilder();
  }


  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


      String name = Modules.getName(top);


      // create the current module if it does not exist yet
      GlobalEnvironment heap = eval.getHeap();
      ModuleEnvironment env = heap.getModule(name);
      if(env == null){
        env = new ModuleEnvironment(name, heap);
        // do not add the module to the heap here. 
      }
      env.setBootstrap(needBootstrapParser(data));


      // make sure all the imported and extended modules are loaded
      // since they may provide additional syntax definitions\
      Environment old = eval.getCurrentEnvt();
      try {
        eval.setCurrentEnvt(env);
        env.setInitialized(true);


        eval.event("defining syntax");
        ISet rules = Modules.getSyntax(top);
        for (IValue rule : rules) {
          evalImport(eval, (IConstructor) rule);
        }


        eval.event("importing modules");
        ISet imports = Modules.getImports(top);
        for (IValue mod : imports) {
          evalImport(eval, (IConstructor) mod);
        }


        eval.event("extending modules");
        ISet extend = Modules.getExtends(top);
        for (IValue mod : extend) {
          evalImport(eval, (IConstructor) mod);
        }


        eval.event("generating modules");
        ISet externals = Modules.getExternals(top);
        for (IValue mod : externals) {
          evalImport(eval, (IConstructor) mod);
        }
      }
      finally {
        eval.setCurrentEnvt(old);
      }


      // parse the embedded concrete syntax fragments of the current module
      IConstructor result = tree;
      if (!eval.getHeap().isBootstrapper() && (needBootstrapParser(data) || (env.definesSyntax() && containsBackTick(data, 0)))) {
        eval.event("parsing concrete syntax");
        result = parseFragments(eval, tree, location, env);
      }


      if (!eval.getSuspendTriggerListeners().isEmpty()) {

View Full Code Here

    return evaluator;
  }


  public JavaToRascal(PrintWriter stdout, PrintWriter stderr) {
    this.evaluator = new Evaluator(vf, stderr, stdout,
        new ModuleEnvironment(ModuleEnvironment.SHELL_MODULE, heap), heap);
  }

View Full Code Here

  public boolean isVariableInModule(String moduleName, String variableName,
      String... variableType) {
    Environment old = evaluator.getCurrentEnvt();
    try {
      evaluator.doImport(null, moduleName);
      ModuleEnvironment env = evaluator.getCurrentEnvt().getImport(
          moduleName);
      Result<IValue> simpleVariable = env.getSimpleVariable(variableName);
      if (simpleVariable == null)
        return false;
      for (String vt : variableType) {
        Type tp = getType(env, vt);
        if (tp == null)

View Full Code Here

  public boolean isProcedureInModule(String moduleName, String procedureName,
      String procedureResultType, int arity) {
    Environment old = evaluator.getCurrentEnvt();
    try {
      evaluator.doImport(null, moduleName);
      ModuleEnvironment env = evaluator.getCurrentEnvt().getImport(
          moduleName);
      ArrayList<AbstractFunction> funcs = new ArrayList<AbstractFunction>();
      Type typ = getType(env, procedureResultType);
      if (typ == null)
        return false;
      env.getAllFunctions(typ, procedureName, funcs);
      for (AbstractFunction f : funcs) {
        if (f.getArity() == arity) {
          return true;
        }
      }

View Full Code Here


    @Override
    public Result<IValue> interpret(IEvaluator<Result<IValue>> eval) {
      String name = getModuleName(this);
      GlobalEnvironment heap = eval.__getHeap();
      ModuleEnvironment env = heap.getModule(name);


      if (env == null) { 
        env = new ModuleEnvironment(name, heap);
        heap.addModule(env);
      }


      Environment oldEnv = eval.getCurrentEnvt();
      eval.setCurrentEnvt(env); // such that declarations end up in
      // the module scope
      try {
        // the header is already evaluated at parse time, 
        // including imports and extends and syntax definitions
//        getHeader().interpret(eval);


        List<Toplevel> decls = this.getBody().getToplevels();
        eval.__getTypeDeclarator().evaluateDeclarations(decls, eval.getCurrentEnvt());


        for (Toplevel l : decls) {
          l.interpret(eval);
        }
      }
      catch (RuntimeException e) {
        env.setInitialized(false);
        throw e;
      }
      finally {
        eval.setCurrentEnvt(oldEnv);
      }

View Full Code Here

  
  // REFLECT -- copy in PreludeCompiled
  public IValue readTextValueString(IValue type, IString input, IEvaluatorContext ctx) {
//    TypeStore store = ctx.getCurrentEnvt().getStore();
    TypeStore store = new TypeStore();
    ModuleEnvironment pt = ctx.getHeap().getModule("ParseTree");
    if(pt != null){
      store.importStore(pt.getStore());
    }
    Type start = tr.valueToType((IConstructor) type, store);
    
    StringReader in = new StringReader(input.getValue());
    try {

View Full Code Here

0 1 2 3

TOP

Related Classes of org.rascalmpl.interpreter.env.ModuleEnvironment

org.eclipse.imp.pdb.facts.IMapWriter

org.eclipse.imp.pdb.facts.ISetWriter

org.eclipse.imp.pdb.facts.ITuple

org.eclipse.imp.pdb.facts.IValueFactory

org.eclipse.imp.pdb.facts.type.Type

org.eclipse.imp.pdb.facts.type.TypeStore

org.rascalmpl.checker.StaticChecker

org.rascalmpl.interpreter.Evaluator

org.rascalmpl.interpreter.JavaToRascal

org.rascalmpl.interpreter.result.ConstructorFunction

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.