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

    Implements

    Index

    Constructors

    Properties

    openerService: OpenerService
    problemManager: ProblemManager
    workspaceScope: WorkspaceFunctionScope
    ID: string = GET_FILE_DIAGNOSTICS_ID

    Methods

    • Expands the range provided until it contains at least desiredLines lines or reaches the end of the document to attempt to provide the agent sufficient context to understand the diagnostic.

      Parameters

      • desiredLines: number
      • range: Range
      • documentLineCount: number

      Returns Range