Class FilePositionInfo


  • public class FilePositionInfo
    extends java.lang.Object
    The class implements a file data storage where an exception can store a snapshot of the current preprocessing file data
    • Field Summary

      Fields 
      Modifier and Type Field Description
      private java.io.File file
      The preprocessing file
      private int stringIndex
      The current string index in the file
    • Constructor Summary

      Constructors 
      Constructor Description
      FilePositionInfo​(java.io.File file, int stringIndex)  
    • Field Detail

      • file

        private final java.io.File file
        The preprocessing file
      • stringIndex

        private final int stringIndex
        The current string index in the file
    • Constructor Detail

      • FilePositionInfo

        public FilePositionInfo​(java.io.File file,
                                int stringIndex)
    • Method Detail

      • getFile

        public java.io.File getFile()
      • getStringIndex

        public int getStringIndex()
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object