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

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei:   Sprache: Unknown

Columbo aufrufen.json zum Wurzelverzeichnis wechselnCS {CS[102] Ada[119] Abap[209]}Datei anzeigen

// A launch configuration that compiles the extension and then opens it inside a new window
{
    "version""0.1.0",
    "configurations": [
        {
            "name""Launch Extension",
            "type""extensionHost",
            "request""launch",
            "runtimeExecutable""${execPath}",
            "args": ["--extensionDevelopmentPath=${workspaceRoot}" ],
            "stopOnEntry"false,
            "sourceMaps"true,
            "outDir""${workspaceRoot}/out/src",
            "preLaunchTask""npm"
        },
        {
            "name""Launch Tests",
            "type""extensionHost",
            "request""launch",
            "runtimeExecutable""${execPath}",
            "args": ["--extensionDevelopmentPath=${workspaceRoot}""--extensionTestsPath=${workspaceRoot}/out/test" ],
            "stopOnEntry"false,
            "sourceMaps"true,
            "outDir""${workspaceRoot}/out/test",
            "preLaunchTask""npm"
        }
    ]
}

[ Original von:0.72Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen. Man kann per Verzeichnistruktur darin navigieren. Der Code wird farblich markiert angezeigt.  ]