Class Locator


  • public class Locator
    extends java.lang.Object
    • Constructor Summary

      Constructors 
      Constructor Description
      Locator()  
    • Constructor Detail

      • Locator

        public Locator()
    • Method Detail

      • registerLocation

        public void registerLocation​(int expandedLineNo,
                                     Location realLocation)
      • getLocation

        public Location getLocation​(int expandedLineNo)