Class IdentifierTracker


  • public class IdentifierTracker
    extends java.lang.Object
    Simple utility class for lazily tracking the current identifier during a tree traversal that recurses down a subtree.
    • Constructor Detail

      • IdentifierTracker

        public IdentifierTracker​(NodeState root)
    • Method Detail

      • getIdentifier

        public java.lang.String getIdentifier()