/**
* 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();
}
