Constructors
makefunction
Creates a new
RefCausefrom a Cause,Effect, orFx.
Derived queries
State models
RefCauseinterface
A RefCause is a RefSubject specialized over a Cause value.
State predicates
hasDiesvariable
Check if the current state of a RefCause has a Die.
hasFailsvariable
Check if the current state of a RefCause has a Fail.
hasInterruptsvariable
Check if the current state of a RefCause has an Interrupt.
isEmptyvariable
Check if the current state of a RefCause is empty.
State updates
setDievariable
Set the current state of a RefCause to a Die cause.
setFailvariable
Set the current state of a RefCause to a Fail cause.
setInterruptvariable
Set the current state of a RefCause to an Interrupt cause.