products/sources/formale sprachen/Isabelle/Tools/VSCode/extension/src/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: completion.ts   Sprache: Unknown

Spracherkennung für: .ts vermutete Sprache: Scala {Scala[54] CS[112] Abap[162]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

'use strict';

import * as symbol from './symbol'
import { CompletionItemProvider, CompletionItem, TextDocument, Range, Position,
  CancellationToken, CompletionList } from 'vscode'

export class Completion_Provider implements CompletionItemProvider
{
  public provideCompletionItems(
    document: TextDocument, position: Position, token: CancellationToken): CompletionList
  {
    const line_text = document.lineAt(position).text

    return new CompletionList([])
  }
}

[ Dauer der Verarbeitung: 0.50 Sekunden  ]