型エイリアス ObjectRefReading

ObjectRefReading:
    | { kind: "root"; root: ReferenceRoot }
    | {
        kind: "property";
        propertyGlobalId: PropertyGlobalId;
        subject: ReferenceRoot;
    }
    | { kind: "object"; objectGlobalId: ObjectGlobalId }
    | { kind: "object_property"; propertyGlobalId: PropertyGlobalId }

オブジェクトを1つ指す参照の宣言（ObjectRef参照）。指し方をそのまま表す。

読み手へは実体ではなくこれを渡す。 「rootそのものか」を尋ねるメソッドを生やすと、述語の顔をして中身を1つずつ出すことになり、読み手が増えるたびに問いも増える。

型宣言

{ kind: "root"; root: ReferenceRoot }
{ kind: "property"; propertyGlobalId: PropertyGlobalId; subject: ReferenceRoot }
実効値をインスタンスIDとして解釈した相手。どの個体かは実行時にしか決まらない。
{ kind: "object"; objectGlobalId: ObjectGlobalId }
{ kind: "object_property"; propertyGlobalId: PropertyGlobalId }
実効値を型として解釈した相手（{object: ...}をプロパティに置いた形、6.9節）。

型エイリアス ObjectRefReading

型宣言

テーマ設定