インターフェイス EffectReading

効果の宣言を1度読み下した結果。

interface EffectReading {
    destroyed: readonly ObjectRefReading[];
    outcomes: readonly StepOutcome[];
    transformed: readonly ObjectRefReading[];
}

インデックス

プロパティ

destroyed outcomes transformed

プロパティ

`読み取り専用`destroyed

destroyed: readonly ObjectRefReading[]

消えるオブジェクトの指し先（destroy、9.3節）。分岐をまたいで集めたものなので、「どれか1つの分岐で消えるか」しか言えない——どの確率で消えるかは分岐の側にある。

`読み取り専用`outcomes

outcomes: readonly StepOutcome[]

起こりうる結果の一覧（StepOutcome参照）。

`読み取り専用`transformed

transformed: readonly ObjectRefReading[]

別の型へ変わるオブジェクトの指し先（become、9.9節）。集め方はdestroyedと同じ。

消えることとは別に持つ。 工程の入力として使い切られる点は同じだが、個体は続いているので、値が端へ届いて自分が消える＝寿命（rangeEvents）とは読みが違う。