Class MultiSetRemoveDiff

java.lang.Object
com.rpl.rama.diffs.Diff
com.rpl.rama.diffs.MultiSetRemoveDiff

public class MultiSetRemoveDiff extends Diff
Represents a value being removed from a multi-set (a map from element to count). Top-level diff. Expands to SetRemoveDiff if element no longer exists in multi-set.
See Also:
  • Constructor Details

    • MultiSetRemoveDiff

      public MultiSetRemoveDiff(Object elem, int newCount, int oldCount)
  • Method Details

    • getElem

      public Object getElem()
      Value removed to multi-set
    • getNewCount

      public int getNewCount()
      Number of times element appears after removing it
    • getOldCount

      public int getOldCount()
      Number of times element appears before removing it
    • walkExpanded

      protected boolean walkExpanded(RamaFunction1 fn)
      Overrides:
      walkExpanded in class Diff
    • doProcess

      protected void doProcess(Diff.Processor processor)
      Specified by:
      doProcess in class Diff
    • canProcess

      protected boolean canProcess(Diff.Processor processor)
      Specified by:
      canProcess in class Diff
    • equals

      public boolean equals(Object other)
      Overrides:
      equals in class Object
    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object
    • toString

      public String toString()
      Overrides:
      toString in class Object