Module dev.civl.mc
Package dev.civl.mc.model.IF

Interface CIVLSource

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

  • Method Details

    • toString

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

    • print

      void print(PrintStream out)
      Prints the source to print stream.
      Parameters:
      out - a PrintStream

    • getLocation

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

    • getSummary

      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

      String getFileName()

    • getContent

      String getContent()

    • getAbsoluteFilePath

      String getAbsoluteFilePath()