Class Less.SavedSourcePositions

  • Enclosing class:
    Less

    private class Less.SavedSourcePositions
    extends java.lang.Object
    • Field Detail

      • saveSourceIdx

        int saveSourceIdx
      • saveFirstLineToDisplay

        int saveFirstLineToDisplay
      • saveFirstColumnToDisplay

        int saveFirstColumnToDisplay
      • saveOffsetInLine

        int saveOffsetInLine
      • savePrintLineNumbers

        boolean savePrintLineNumbers
    • Constructor Detail

      • SavedSourcePositions

        public SavedSourcePositions()
      • SavedSourcePositions

        public SavedSourcePositions​(int dec)
    • Method Detail

      • restore

        public void restore​(java.lang.String failingSource)
                     throws java.io.IOException
        Throws:
        java.io.IOException