/* (non-Javadoc)
* @see org.rascalmpl.tasks.ITaskRegistry#produce(org.rascalmpl.interpreter.IRascalMonitor, org.rascalmpl.tasks.ITransaction, Type, IValue)
*/
@Override
public boolean produce(
IRascalMonitor monitor, ITransaction<Type, IValue, IValue> tr, Type key, IValue name) {
ITask<Type, IValue, IValue> producer = null;
lock.lock();
try {
producer = getProducer(key, name);
} finally {
lock.unlock();
}
if (producer == null)
throw new ImplementationError("No registered fact producer for " + key.toString());
return producer.produce(monitor, tr, key, name);
}
public void generateTypedInterfaceInternal(
IString tag, ISourceLocation uriLoc, IEvaluatorContext ctx) {
IResource handler = Resource.getResourceHandler(uriLoc);
String tagStr = tag.getValue();
Type t = handler.getResourceType(ctx, uriLoc);
PrintWriter currentOutStream = ctx.getStdOut();
// Declare an alias to the type of the resource
TypeStore ts = ctx.getCurrentEnvt().getStore();
Type alias2t = TypeFactory.getInstance().aliasType(ts, tagStr + "Type", t);
currentOutStream.println(
"Generated type alias " + alias2t.toString() + ": " + alias2t.getAliased().toString());
currentOutStream.flush();
// Declare a function that just uses the given URI. This way, if we provide
// the complete URI up front, we don't need to keep providing it later.
StringBuilder sb = new StringBuilder();
sb.append("public ").append(tagStr).append("Type ").append(tagStr).append("() { ");
sb.append(" return getTypedResource(")
.append(uriLoc.toString())
.append(",#")
.append(tagStr)
.append("Type); }");
IConstructor declTree =
ctx.getEvaluator()
.parseCommand(
ctx.getEvaluator().getMonitor(),
sb.toString(),
ctx.getCurrentAST().getLocation().getURI());
Command cmd = ctx.getEvaluator().getBuilder().buildCommand(declTree);
Environment env = ctx.getCurrentEnvt();
ctx.setCurrentEnvt(env.getRoot());
Result<IValue> fun0 = ctx.getEvaluator().eval(ctx.getEvaluator().getMonitor(), cmd);
ctx.unwind(env);
currentOutStream.println("Generated function " + fun0.toString());
currentOutStream.flush();
}
