public Function getCompanionDefaultsFunction(String name, Type ftype) {
String key = name + ftype;
Function result =
companionDefaultFunctionCache.get(key, k -> rvm.getCompanionDefaultsFunction(name, ftype));
// System.err.println("RascalExecutionContext.getCompanionDefaultsFunction: " + key + " => " +
// result.name);
return result;
}
public CacheStats stats() {
return cache.stats();
}
public IConstructor type2Symbol(final Type t) {
return type2symbolCache.get(t, k -> RascalPrimitive.$type2symbol(t));
}
public void cleanUp() {
cache.cleanUp();
}
