Class Source


  • public class Source
    extends java.lang.Object
    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected char[] content  
      protected java.util.List<java.lang.Integer> lineStarts  
    • Constructor Summary

      Constructors 
      Constructor Description
      Source​(char[] content)  
    • Field Detail

      • content

        protected final char[] content
      • lineStarts

        protected final java.util.List<java.lang.Integer> lineStarts
    • Constructor Detail

      • Source

        public Source​(char[] content)
    • Method Detail

      • getContent

        public char[] getContent()
      • getPositionFromOffset

        public Position getPositionFromOffset​(int offset)
      • translateOffset

        public int translateOffset​(int offset)