public class FileResult extends ResourceResult {
public FileResult(Type type, IValue value, IEvaluatorContext ctx, ISourceLocation fullURI, String displayURI) {
super(type, value, ctx, fullURI, displayURI);
Prelude prelude = new Prelude(ctx.getValueFactory());
URI uri = FileURIResolver.constructFileURI(fullURI.getURI().getPath());
this.value = prelude.readFile(ValueFactoryFactory.getValueFactory().sourceLocation(uri), ctx);
}