}
return val;
}
private void notifyListener(String label, Value val, XPathContext context) {
InstructionDetails info = new InstructionDetails();
info.setConstructType(Location.TRACE_CALL);
info.setLineNumber(getLineNumber());
info.setSystemId(getSystemId());
info.setProperty("label", label);
info.setProperty("value", val);
TraceListener listener = context.getController().getTraceListener();
listener.enter(info, context);
listener.leave(info);
}