FootprintConformanceFailure

org.sigilaris.core.application.scheduling.FootprintConformanceFailure
final case class FootprintConformanceFailure(unexpectedReads: Set[StateRef], unexpectedWrites: Set[StateRef])

Failure indicating the actual footprint exceeded the declared footprint.

Value parameters

unexpectedReads

state references read that were not declared

unexpectedWrites

state references written that were not declared

Attributes

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

Members list

Value members

Concrete methods

def isEmpty: Boolean

Returns true if there are no unexpected reads or writes.

Returns true if there are no unexpected reads or writes.

Attributes

Returns

true if this failure is empty (no violations)

Source
Verification.scala

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product