VersionVector

class VersionVector

This class represents a version vector.

Constructors

VersionVector

common

fun VersionVector()

Default constructor.

VersionVector

common

fun VersionVector(vv: VersionVector)

Copy constructor.

Types

Companion

common

object Companion

Functions

contains

common

fun contains(ts: Timestamp): Boolean

Returns if a given timestamp is contained in the version vector.

copy

common

fun copy(): VersionVector

Copies this version vector.

equals

common

open operator override fun equals(other: Any?): Boolean

Overrides the equals function of object

hashCode

common

open override fun hashCode(): Int

Overrides the hashCode function of object

isGreater

common

fun isGreater(vv: VersionVector): Boolean

Checks that this version vector is strictly greater than a given version vector.

isGreaterOrEquals

common

fun isGreaterOrEquals(vv: VersionVector): Boolean

Checks that this version vector is greater than or equal a given version vector.

isNotComparable

common

fun isNotComparable(vv: VersionVector): Boolean

Checks that this version vector is not comparable to a given version vector.

isSmaller

common

fun isSmaller(vv: VersionVector): Boolean

Checks that this version vector is strictly smaller than a given version vector.

isSmallerOrEquals

common

fun isSmallerOrEquals(vv: VersionVector): Boolean

Checks that this version vector is smaller than or equal a given version vector.

max

common

fun max(): Int

Gets the maximal value stored in this version vector.

toJson

common

fun toJson(): String

Serializes this version vector to a json string.

toString

common

open override fun toString(): String

Overrides the toString function of object

update

common

fun update(ts: Timestamp)

Adds a given timestamp to this version vector.

fun update(vv: VersionVector)

Updates this version vector with a given version vector by taking the maximum value for each entry.