Beispiel #1
0
 /**
  * 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);
 }
Beispiel #2
0
 static String getSourcePath() {
   return sourceMapper.getSourcePath();
 }