env = new ModuleEnvironment(name, heap);
heap.addModule(env);
}
try {
Module module = buildModule(name, env, eval);
if (isDeprecated(module)) {
eval.getStdErr().println("WARNING: deprecated module " + name + ":" + getDeprecatedMessage(module));
}
if (module != null) {
String internalName = org.rascalmpl.semantics.dynamic.Module.getModuleName(module);
if (!internalName.equals(name)) {
throw new ModuleNameMismatch(internalName, name, x);
}
heap.setModuleURI(name, module.getLocation().getURI());
module.interpret(eval);
return env;
}
} catch (StaticError e) {
heap.removeModule(env);