Package org.rascalmpl.interpreter.env

Examples of org.rascalmpl.interpreter.env.ModuleEnvironment

37
38
39
40
41
42
43
44
45
46
47
    this.eval = eval;
    this.testResultListener = testResultListener;
  }

  public void test(String moduleName) {
    ModuleEnvironment topModule = eval.getHeap().getModule(moduleName);

    if (topModule != null) {
      runTests(topModule, topModule.getTests());
    }
  }
View Full Code Here
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
      runTests(topModule, topModule.getTests());
    }
  }

  public void test() {
    ModuleEnvironment topModule = (ModuleEnvironment) eval.getCurrentEnvt().getRoot();

    runTests(topModule, topModule.getTests());

    for (String i : topModule.getImports()) {
      ModuleEnvironment mod = topModule.getImport(i);
     
      if (mod != null) {
        runTests(mod, mod.getTests());
      }
    }
  }
View Full Code Here
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
    • 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.