Package org.eclipse.xtext.ide.util

Class PositionReader

  • All Implemented Interfaces:
    java.io.Closeable, java.lang.AutoCloseable, java.lang.Readable
    @Beta
public class PositionReader
extends java.io.LineNumberReader
    A reader that can return a Position on the current input string.

    • Field Summary

      • Fields inherited from class java.io.Reader

        lock

    • Constructor Summary

      Constructors 
      Constructor Description
      PositionReader​(java.lang.String in)
      Create a new position reader, using the input string.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      org.eclipse.lsp4j.Position getPosition()  
      void mark​(int readAheadLimit)  
      int read()  
      int read​(char[] cbuf, int off, int len)  
      void reset()  
      long skip​(long n)  

      • Methods inherited from class java.io.LineNumberReader

        getLineNumber, readLine, setLineNumber

      • Methods inherited from class java.io.BufferedReader

        close, lines, markSupported, ready

      • Methods inherited from class java.io.Reader

        nullReader, read, read, transferTo

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • PositionReader

        public PositionReader​(java.lang.String in)
        Create a new position reader, using the input string.
        Parameters:
        in - The input string

    • Method Detail

      • getPosition

        public org.eclipse.lsp4j.Position getPosition()

      • read

        public int read()
         throws java.io.IOException
        Overrides:
        read in class java.io.LineNumberReader
        Throws:
        java.io.IOException

      • read

        public int read​(char[] cbuf,
                int off,
                int len)
         throws java.io.IOException
        Overrides:
        read in class java.io.LineNumberReader
        Throws:
        java.io.IOException

      • skip

        public long skip​(long n)
          throws java.io.IOException
        Overrides:
        skip in class java.io.LineNumberReader
        Throws:
        java.io.IOException

      • mark

        public void mark​(int readAheadLimit)
          throws java.io.IOException
        Overrides:
        mark in class java.io.LineNumberReader
        Throws:
        java.io.IOException

      • reset

        public void reset()
           throws java.io.IOException
        Overrides:
        reset in class java.io.LineNumberReader
        Throws:
        java.io.IOException