Class PositionSpan


  • public class PositionSpan
    extends java.lang.Object
    Utility class to record Positions Spans
    • Constructor Summary

      Constructors 
      Constructor Description
      PositionSpan​(int start, int end)  
    • Method Summary

      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Constructor Detail

      • PositionSpan

        public PositionSpan​(int start,
                            int end)