Class Diff<Timestamp extends java.lang.Comparable<Timestamp>>
- java.lang.Object
-
- java.util.AbstractCollection<E>
-
- java.util.AbstractList<E>
-
- java.util.ArrayList<Signed<Timestamp>>
-
- org.eclipse.viatra.query.runtime.matchers.util.timeline.Diff<Timestamp>
-
- Type Parameters:
Timestamp- the type representing the timestamps
- All Implemented Interfaces:
java.io.Serializable,java.lang.Cloneable,java.lang.Iterable<Signed<Timestamp>>,java.util.Collection<Signed<Timestamp>>,java.util.List<Signed<Timestamp>>,java.util.RandomAccess
public class Diff<Timestamp extends java.lang.Comparable<Timestamp>> extends java.util.ArrayList<Signed<Timestamp>>
The description of a delta that specifies how aTimelinechanges. It consists ofSignedtimestamps that depict the moments of insertions and deletions on the timeline.- Since:
- 2.4
- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description Diff()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voidappendWithCancellation(Signed<Timestamp> item)-
Methods inherited from class java.util.ArrayList
add, add, addAll, addAll, clear, clone, contains, ensureCapacity, equals, forEach, get, hashCode, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, removeIf, removeRange, replaceAll, retainAll, set, size, sort, spliterator, subList, toArray, toArray, trimToSize
-
-