Class Diff<Timestamp extends Comparable<Timestamp>>

java.lang.Object
java.util.AbstractCollection<Signed<Timestamp>>
java.util.AbstractList<Signed<Timestamp>>
java.util.ArrayList<Signed<Timestamp>>
tools.refinery.interpreter.matchers.util.timeline.Diff<Timestamp>
Type Parameters:
Timestamp - the type representing the timestamps
All Implemented Interfaces:
Serializable, Cloneable, Iterable<Signed<Timestamp>>, Collection<Signed<Timestamp>>, List<Signed<Timestamp>>, RandomAccess, SequencedCollection<Signed<Timestamp>>

public class Diff<Timestamp extends Comparable<Timestamp>> extends ArrayList<Signed<Timestamp>>
The description of a delta that specifies how a Timeline changes. It consists of Signed timestamps that depict the moments of insertions and deletions on the timeline.
Since:
2.4
See Also:
  • Constructor Details

    • Diff

      public Diff()
  • Method Details

    • appendWithCancellation

      public void appendWithCancellation(Signed<Timestamp> item)