@zzzen/pyright-internal 1.2.0-dev.20260913 → 1.2.0-dev.20260920

package/dist/trace/viewerModel.d.ts

@@ -0,0 +1,308 @@
+import { TraceReader } from './reader';
+import { Json } from './recorder';
+export declare const viewerLimits: {
+    records: number;
+    page: number;
+    nodes: number;
+    edges: number;
+    fields: number;
+    text: number;
+    references: number;
+    referenceDepth: number;
+    referenceNodes: number;
+    referencePath: number;
+};
+export declare class ViewerInputError extends Error {
+    readonly status: number;
+    constructor(message: string, status?: number);
+}
+export declare function reference(value: Json | undefined): string | undefined;
+export declare function display(value: Json, depth?: number): Json;
+export declare function page<T>(items: readonly T[], offset?: number, limit?: number): {
+    total: number;
+    offset: number;
+    limit: number;
+    items: T[];
+};
+export declare class ViewerModel {
+    readonly reader: TraceReader;
+    readonly label: string;
+    private _entities;
+    private _entries;
+    private _states;
+    private _observations;
+    private _edges;
+    private _sites;
+    private _pairs;
+    private _comparisons;
+    constructor(reader: TraceReader, label: string);
+    get end(): number;
+    summary(): {
+        label: string;
+        end: number;
+        pairs: number;
+        status: Json;
+        coverage: Json;
+        provenance: Json;
+        limits: {
+            records: number;
+            page: number;
+            nodes: number;
+            edges: number;
+            fields: number;
+            text: number;
+            references: number;
+            referenceDepth: number;
+            referenceNodes: number;
+            referencePath: number;
+        };
+        kinds: string[];
+        warning: string;
+    };
+    timeline(options: {
+        offset?: number;
+        limit?: number;
+        kind?: string;
+        query?: string;
+        span?: string;
+        role?: string;
+    }): {
+        items: {
+            seq: number;
+            kind: string;
+            span: string;
+            depth: number;
+            parent: string | number | boolean | Json[] | {
+                [key: string]: Json;
+            } | null;
+            label: Json;
+            role: Json;
+            source: Json;
+            refs: string[];
+        }[];
+        meaning: string;
+        total: number;
+        offset: number;
+        limit: number;
+    };
+    event(seq: number): {
+        data: Json;
+        occurrence: {
+            seq: number;
+            kind: string;
+            span: string;
+            depth: number;
+            parent: string | number | boolean | Json[] | {
+                [key: string]: Json;
+            } | null;
+            label: Json;
+            role: Json;
+            source: Json;
+            refs: string[];
+        } | null;
+        site: Json;
+        references: string[];
+        referenceLinks: {
+            id: string;
+            path: string;
+        }[];
+        referenceClipping: string[];
+        seq: number;
+        kind: string;
+        span: string;
+        depth: number;
+        parent: string | number | boolean | Json[] | {
+            [key: string]: Json;
+        } | null;
+        label: Json;
+        role: Json;
+        source: Json;
+        refs: string[];
+    };
+    entity(id: string, at: number, historyOffset?: number, fieldOffset?: number): {
+        at: number;
+        state: {
+            seq: number;
+            version: Json;
+            complete: Json;
+            writer: Json;
+            cause: Json;
+            observedSeq: number;
+        } | null;
+        fields: {
+            items: {
+                key: string;
+                value: Json;
+                ref: string | null;
+            }[];
+            total: number;
+            offset: number;
+            limit: number;
+        };
+        history: {
+            items: {
+                seq: number;
+                version: Json;
+                cause: Json;
+                complete: Json;
+                afterCursor: boolean;
+            }[];
+            total: number;
+            offset: number;
+            limit: number;
+        };
+        meaning: string;
+        id: string;
+        knownAtCursor: boolean;
+        category: string;
+        label: string;
+        seq: number | null;
+        version: string | number | boolean | Json[] | {
+            [key: string]: Json;
+        } | null;
+        stateSeq: number | null;
+        observedSeq: number | null;
+        complete: string | number | boolean | Json[] | {
+            [key: string]: Json;
+        } | null;
+    };
+    graph(id: string, at: number, relation?: string, hops?: number): {
+        at: number;
+        root: string;
+        capped: boolean;
+        hops: number;
+        nodes: {
+            id: string;
+            knownAtCursor: boolean;
+            category: string;
+            label: string;
+            seq: number | null;
+            version: string | number | boolean | Json[] | {
+                [key: string]: Json;
+            } | null;
+            stateSeq: number | null;
+            observedSeq: number | null;
+            complete: string | number | boolean | Json[] | {
+                [key: string]: Json;
+            } | null;
+        }[];
+        edges: {
+            seq: number;
+            from: string;
+            to: string;
+            relation: string;
+            field: Json;
+            version: string | number | boolean | Json[] | {
+                [key: string]: Json;
+            } | null;
+        }[];
+        meaning: string;
+    };
+    pairs(offset?: number): {
+        items: {
+            source: Json;
+            operation: Json;
+            baseline: string;
+            replay: string;
+            index: number;
+        }[];
+        total: number;
+        offset: number;
+        limit: number;
+    };
+    comparison(index: number, offset?: number): {
+        index: number;
+        sides: {
+            span: string;
+            entry: {
+                seq: number;
+                kind: string;
+                span: string;
+                depth: number;
+                parent: string | number | boolean | Json[] | {
+                    [key: string]: Json;
+                } | null;
+                label: Json;
+                role: Json;
+                source: Json;
+                refs: string[];
+            };
+            firstResult: {
+                seq: number;
+                id: string | null;
+                snapshotComplete: string | number | boolean | Json[] | {
+                    [key: string]: Json;
+                } | null;
+                fields: {
+                    key: string;
+                    value: Json;
+                    ref: string | null;
+                }[];
+            } | null;
+            outcome: {
+                seq: number;
+                id: string | null;
+                failed: string | number | boolean | Json[] | {
+                    [key: string]: Json;
+                } | null;
+                diagnostics: string | null;
+                diagnosticsSnapshotComplete: string | number | boolean | Json[] | {
+                    [key: string]: Json;
+                } | null;
+            } | null;
+            diagnostics: {
+                id: string | null;
+                seq: number;
+                fields: {
+                    key: string;
+                    value: Json;
+                }[];
+            }[];
+            diagnosticsCapped: boolean;
+            counts: {
+                name: string;
+                count: number;
+            }[];
+            countsCapped: boolean;
+            boundaries: {
+                phase: string;
+                seq: number | null;
+                span: string | number | boolean | Json[] | {
+                    [key: string]: Json;
+                } | null;
+                data: Json;
+            }[];
+            meaning: string;
+        }[];
+        order: string[];
+        changes: {
+            total: number;
+            offset: number;
+            limit: number;
+            items: {
+                entity: string;
+                versions: (string | number | boolean | Json[] | {
+                    [key: string]: Json;
+                } | null)[];
+                observationSequences: (number | null)[];
+                stateSequences: (number | null)[];
+                complete: (string | number | boolean | Json[] | {
+                    [key: string]: Json;
+                })[];
+                baselineChange: string;
+                unwindChange: string;
+                betweenTrials: string;
+                replayChange: string;
+                observedMutationSurvived: boolean;
+            }[];
+        };
+        meaning: string;
+    };
+    private _sequence;
+    private _latest;
+    private _at;
+    private _fields;
+    private _identity;
+    private _row;
+    private _references;
+}