Class Timestamp
- java.lang.Object
-
- org.eclipse.viatra.query.runtime.rete.network.communication.Timestamp
-
- All Implemented Interfaces:
java.lang.Comparable<Timestamp>
,MessageSelector
public class Timestamp extends java.lang.Object implements java.lang.Comparable<Timestamp>, MessageSelector
A timestamp associated with update messages in timely evaluation.- Since:
- 2.3
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
Timestamp.AllZeroMap<T>
AMap
implementation that associates the zero timestamp with every key.
-
Constructor Summary
Constructors Constructor Description Timestamp(int value)
-
-
-
Method Detail
-
getValue
public int getValue()
-
compareTo
public int compareTo(Timestamp that)
- Specified by:
compareTo
in interfacejava.lang.Comparable<Timestamp>
-
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-