root
API
Generated with
root/org.sigilaris/org.sigilaris.core/org.sigilaris.core.application/org.sigilaris.core.application.scheduling/ConflictKind

ConflictKind

org.sigilaris.core.application.scheduling.ConflictKind
enum ConflictKind

The kind of state conflict detected between two footprints.

Attributes

Source
Verification.scala
Graph
Supertypes
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Type members

Enum entries

case ReadWrite extends ConflictKind

One footprint reads and the other writes to the same state reference.

One footprint reads and the other writes to the same state reference.

Attributes

Source
Verification.scala
case WriteWrite extends ConflictKind

Both footprints write to the same state reference.

Both footprints write to the same state reference.

Attributes

Source
Verification.scala
Generated with