Generated with

root/org.sigilaris/org.sigilaris.core/org.sigilaris.core.application/org.sigilaris.core.application.scheduling/ConflictFootprintConformance

ConflictFootprintConformance

org.sigilaris.core.application.scheduling.ConflictFootprintConformance

object ConflictFootprintConformance

Validates that an actual footprint conforms to (is a subset of) a declared footprint.

Attributes

Source: Verification.scala
Graph
Supertypes: class Object

trait Matchable

class Any
Self type: ConflictFootprintConformance.type

Members list

Value members

Concrete methods

Validates actual reads/writes are subsets of declared reads/writes.

Validates actual reads/writes are subsets of declared reads/writes.

Value parameters

actual: the actual footprint observed during execution
declared: the declared footprint from the scheduling phase

Attributes

Returns: either a conformance failure or unit on success
Source: Verification.scala

In this article

Generated with