/** * Return a Reader cooresponding to the source of this location. Return null if not available. * Note: returned reader must be closed. */ static BufferedReader sourceReader(Location location) { return sourceMapper.sourceReader(location); }
static String getSourcePath() { return sourceMapper.getSourcePath(); }