Class MapWithScope<A,​B,​S>

  • Direct Known Subclasses:
    LabelToNode, NodeToLabel

    public class MapWithScope<A,​B,​S>
    extends java.lang.Object
    Maps A's to B's, based on a scope S
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void clear()
      Clear scope and allocation
      B create()
      Create a label that is guaranteed to be fresh
      B get​(S scope, A item)
      Get a B object for an A object in scope S object
      • Methods inherited from class java.lang.Object

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

      • get

        public B get​(S scope,
                     A item)
        Get a B object for an A object in scope S object
      • create

        public B create()
        Create a label that is guaranteed to be fresh
      • clear

        public void clear()
        Clear scope and allocation