GuardMemory<M extends Msg> class
final
The live handle at a guard's row (ledger.at(const CachedGate())):
the judged input and the verdict, observable — a judge holds no state,
so its memory is pure story. Plural members are streams, all derived
from the atomic events:
Constructors
Properties
-
dropped
→ Stream<
M> -
The messages whose verdict was EMPTY — the veto's bool, as a feed.
no setter
-
events
→ Stream<
GuardEvent< M> > -
One event per judged message: (input, verdict) atomically — the
PRIMITIVE the branches below derive from.
no setter
-
forwarded
→ Stream<
Msg> -
What continued below this row (rewrites and fan-outs included).
no setter
- hashCode → int
-
The hash code for this object.
no setterinherited
-
minted
→ Stream<
Msg> -
The derivations this judge launched as new rounds.
no setter
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
Methods
-
add(
GuardEvent< M> event) → void -
dispose(
) → void -
msgs<
T extends M> () → Stream< T> -
The
T-typed messages that reached this judge. -
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited