Class Location

java.lang.Object
com.absint.astree.Location

public class Location extends Object
location information of an AbsInt issue
  • Constructor Details

    • Location

      public Location()
  • Method Details

    • getFileID

      public String getFileID()
      get file ID
      Returns:
      file ID
    • setFileID

      public Location setFileID(String id)
      set file ID
      Parameters:
      id - file ID
      Returns:
      this
    • getOrigFileID

      public String getOrigFileID()
      get original file ID
      Returns:
      original file ID
    • setOrigFileID

      public Location setOrigFileID(String id)
      set original file ID
      Parameters:
      id - set orignal file ID
      Returns:
      this
    • getLineStart

      public String getLineStart()
      get start line number in file
      Returns:
      start line number
    • getLineEnd

      public String getLineEnd()
      get end line number in file
      Returns:
      end line number
    • getOrigLineStart

      public String getOrigLineStart()
      get original start line number in file
      Returns:
      original start line number
    • getOrigLineEnd

      public String getOrigLineEnd()
      get original end line number in file
      Returns:
      original end line number
    • setLineStart

      public Location setLineStart(String line)
      set start line number in file
      Parameters:
      line - start line number
      Returns:
      this
    • setLineEnd

      public Location setLineEnd(String line)
      set end line number in file
      Parameters:
      line - end line number
      Returns:
      this
    • setOrigLineStart

      public Location setOrigLineStart(String line)
      set original start line number in file
      Parameters:
      line - original start line number
      Returns:
      this
    • setOrigLineEnd

      public Location setOrigLineEnd(String line)
      set original end line number in file
      Parameters:
      line - original end line number
      Returns:
      this
    • getColStart

      public String getColStart()
      get start column number in file
      Returns:
      start column number
    • getColEnd

      public String getColEnd()
      get end column number in file
      Returns:
      end column number
    • getOrigColStart

      public String getOrigColStart()
      get original start column number in file
      Returns:
      original start column number
    • getOrigColEnd

      public String getOrigColEnd()
      get original end column number in file
      Returns:
      original end column number
    • setColStart

      public Location setColStart(String column)
      set start column number in file
      Parameters:
      column - start column number
      Returns:
      this
    • setColEnd

      public Location setColEnd(String column)
      set end column number in file
      Parameters:
      column - end column number
      Returns:
      this
    • setOrigColStart

      public Location setOrigColStart(String column)
      set original start line number in file
      Parameters:
      column - original start column number
      Returns:
      this
    • setOrigColEnd

      public Location setOrigColEnd(String column)
      set original end line number in file
      Parameters:
      column - original end column number
      Returns:
      this