js-slang/dist/editors/ace/docTooltip/index.d.ts

Javascript-based implementations of Source, written in Typescript

export declare const SourceDocumentation: {
    builtins: {
        '1': any;
        '1_typed': any;
        '2': any;
        '2_typed': any;
        '3': any;
        '3_typed': any;
        '4': any;
        '4_typed': any;
        '4_explicit-control': any;
    };
    ext_lib: {
        ev3_ambientLightIntensity: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_colorSensor: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_colorSensorBlue: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_colorSensorGetColor: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_colorSensorGreen: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_colorSensorRed: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_connected: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_gyroSensor: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_gyroSensorAngle: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_gyroSensorRate: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_hello: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_ledGetBrightness: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_ledLeftGreen: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_ledLeftRed: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_ledRightGreen: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_ledRightRed: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_ledSetBrightness: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_motorA: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_motorB: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_motorC: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_motorD: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_motorGetPosition: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_motorGetSpeed: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_motorSetSpeed: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_motorSetStopAction: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_motorStart: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_motorStop: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_pause: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_playSequence: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_reflectedLightIntensity: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_runForTime: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_runToAbsolutePosition: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_runToRelativePosition: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_speak: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_touchSensor1: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_touchSensor2: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_touchSensor3: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_touchSensor4: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_touchSensorPressed: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_ultrasonicSensor: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_ultrasonicSensorDistance: {
            title: string;
            description: string;
            meta: string;
        };
        ev3_waitForButtonPress: {
            title: string;
            description: string;
            meta: string;
        };
    };
};