Theia API Documentation v1.75.0
    Preparing search index...

    Interface FileReadTracker

    Tracks the content an agent has seen per chat session, so that changes by anyone else can be reported back to it.

    interface FileReadTracker {
        getChangedFiles(sessionId: string): Promise<string[]>;
        isStale(sessionId: string, uri: URI): Promise<boolean>;
        recordRead(sessionId: string, uri: URI, content?: string): Promise<void>;
    }

    Implemented by

    Index

    Methods

    getChangedFiles isStale recordRead

    Methods

    • Files changed since the session's agent read them, reported again until it reads them anew so an ignored notice cannot get lost.

      Parameters

      • sessionId: string

      Returns Promise<string[]>

    • Whether uri differs from what the session's agent last saw. false if never read or gone: neither holds content a write could discard.

      Parameters

      • sessionId: string
      • uri: URI

      Returns Promise<boolean>

    • Snapshots uri as the session's agent just saw it, or forgets it if it is gone. Pass content when at hand to save a read.

      Parameters

      • sessionId: string
      • uri: URI
      • Optionalcontent: string

      Returns Promise<void>

    Settings

    Member Visibility

    On This Page

    Methods