Interface SourceLocation.SourceLocationLinker

Enclosing class:
SourceLocation

public static interface SourceLocation.SourceLocationLinker
Finder of associated URLs (e.g., GitHub URLs) for a particular input file
  • Field Details

  • Method Details

    • sourceUrl

      Stream<String> sourceUrl(String localFilePath, int line, int column, String hash)
      Find an associated URL
      Parameters:
      localFilePath - the full path to the olive file on local disk
      line - the line number
      column - the column number
      hash - the compilation hash
      Returns:
      a stream of possible URLs for this location