Interface CIVLSource


  • public interface CIVLSource
    A CIVLSource object represents a range of text in a source file.
    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      java.lang.String getAbsoluteFilePath()  
      java.lang.String getContent()  
      java.lang.String getFileName()  
      java.lang.String getLocation()
      Returns location information only (not actual source text).
      java.lang.String getSummary​(boolean isException)
      Returns summary of location and text.
      boolean isSystemSource()
      Checks if this source is some system source not from input program.
      void print​(java.io.PrintStream out)
      Prints the source to print stream.
      java.lang.String toString()
      Returns a human-readable string representation of this range of source data.
    • Method Detail

      • toString

        java.lang.String toString()
        Returns a human-readable string representation of this range of source data.
        Overrides:
        toString in class java.lang.Object
        Returns:
        user-friendly readable representation
      • print

        void print​(java.io.PrintStream out)
        Prints the source to print stream.
        Parameters:
        out - a PrintStream
      • getLocation

        java.lang.String getLocation()
        Returns location information only (not actual source text). For example "foo.c:127.4-128.1".
      • getSummary

        java.lang.String getSummary​(boolean isException)
        Returns summary of location and text.
        Parameters:
        isException - true iff want to print the detailed information for a thrown exception.
        Returns:
      • isSystemSource

        boolean isSystemSource()
        Checks if this source is some system source not from input program.
        Returns:
        true iff this source is some system source not from input program.
      • getFileName

        java.lang.String getFileName()
      • getContent

        java.lang.String getContent()
      • getAbsoluteFilePath

        java.lang.String getAbsoluteFilePath()