jsteuer
2020-02-05 17ae81f04074ad5b2fdbb21f221e33e69b425e53
src/MathCoach.ts
File was renamed from mathcoach-api.d.ts
@@ -1,9 +1,13 @@
/**
 * Wenn die Bibliothek zur Erweiterung der IDE eingebunden (`ide-lib.js`) wurde,
 * steht diese globale Variable mit Zugang zur öffentlichen Schnittstelle
 * zur Verfügung.
 */
declare const MC: MathCoach.Api;
declare global {
    /**
     * Wenn die Bibliothek zur Erweiterung der IDE eingebunden (`ide-lib.js`) wurde,
     * steht diese globale Variable mit Zugang zur öffentlichen Schnittstelle
     * zur Verfügung.
     */
    const MC: MathCoach.Api;
}
/**
 * Der MathCoach-Namensraum ist die Sammelstelle für alle öffentlichen Schnittstellen.
@@ -12,15 +16,24 @@
 * Als Einstiegspunkt dient das interface `MathCoach.Api` - eine Implementierung dieser Schnittstelle
 * wird von der IDE (siehe `ide-lib.js`) bereitgestellt und kann über die globale Variable 
 * `MC` zugegriffen werden. 
 *
 * Beispiel:
 *
 *     const isReady = await MC.ide.isReady(); // true oder false
 */
declare namespace MathCoach {
export namespace MathCoach {
    /** 
     * Als Einstiegspunkt dient das interface `MathCoach.Api` - eine Implementierung dieser Schnittstelle
     * wird von der IDE (siehe `ide-lib.js`) bereitgestellt und kann über die globale Variable 
     * `MC` zugegriffen werden. 
     *
     *
     * Beispiel:
     *
     *     const isReady = await MC.ide.isReady(); // true oder false
     */
    interface Api {
    export interface Api {
        /**
         * Die Schnittstelle zur Entwicklungsumgebung (IDE) von MathCoach. 
         */
@@ -55,7 +68,7 @@
    /**
    * Schnittstelle zur IDE von MathCoach
    */
    interface IdeApi {
    export interface IdeApi {
        /**
         * Gibt den Namen des aktuellen Benutzers zurück, der mit dem Werkzeug arbeitet.
         * 
@@ -86,7 +99,7 @@
    /**
     * Schnittstelle zur Navigation der Vorschau
     */
    interface NavigatorApi {
    export interface NavigatorApi {
        /**
         * Navigiert die Vorschau zu einem Link.
         * 
@@ -117,7 +130,7 @@
    /**
     * Schnittstelle zum Dateisystem
     */
    interface FileSystemApi {
    export interface FileSystemApi {
        /**
         * Liest eine Datei und gibt den Textinhalt zurück. 
         * 
@@ -155,7 +168,7 @@
     * Siehe auch: `MC.ide.getContextFile()`
     * 
     */
    interface File {
    export interface File {
        /**
         * Name des Besitzers. Hinweis: Der Besitzter kann vom angemeldeten
         * Benutzer abweichen (z.B. wenn das Teilen von Inhalten zukünftig unterstützt wird)