micrOSDevToolKit 2.1.5__py3-none-any.whl → 2.26.1__py3-none-any.whl

toolkit/workspace/precompiled/udashboard.js

@@ -1,137 +0,0 @@
-// API HELPER FUNCTION - get module exposed widgets
-
-function moduleHelp(module) {
-    // Get and Parse module widget help message
-    let endpoint = `${module}/help/True`;
-    console.log(`[API] Endpoint: ${endpoint}`)
-    return restAPI(endpoint).then(commands => {
-        //console.log(`Raw ${module} help: ${commands.result}`)
-        // Replace all occurrences of \" with " in each string and parse each string into a JSON object
-        const parsedWidgets = commands.result.map(item => {
-            const cleanedItem = item.replace(/\\"/g, '"');      // Workaround...
-            return JSON.parse(cleanedItem);
-        });
-        console.log(`Parsed ${module} help:`);
-        console.log(parsedWidgets)
-        return parsedWidgets
-    }).catch(error => {
-        console.error(error)
-        return [];
-    });
-}
-
-// PAGE GENERATION
-
-function containerAppendChild(elements, container) {
-    // Append list of elements into the container aka draw elements :D
-    if (!elements || !container) {
-        console.error("Inputs array or container element is missing.");
-        return;}
-    elements.forEach(function(element) {
-        container.appendChild(element);});
-}
-
-function generateElement(type, data, options={}) {
-    // type: slider, button, box, h1, h2, p, li, etc.
-    // data: rest command
-    const container = document.getElementById('dynamicContent');
-    if (type.toLowerCase() === 'slider') {
-        // Create slider widget
-        sliderWidget(container, data, options)
-    } else if (type.toLowerCase() === 'button') {
-        // Create button widget
-        buttonWidget(container, data, options)
-    } else if (type.toLowerCase() === 'textbox') {
-        // Create textbox widget
-        textBoxWidget(container, data, options)
-    } else if (type.toLowerCase() === 'color') {
-        // Create color palette widget
-        colorPaletteWidget(container, data, options)
-    } else {
-        // Create other elements
-        const paragraph = document.createElement('p');
-        const element = document.createElement(type);
-        element.textContent = data;
-        containerAppendChild([paragraph, element], container);
-    }
-}
-
-function autoTitleLen(widgets, func) {
-    try {
-        // Create function list for comparation
-        const funcNames = widgets.map(command => command.lm_call.split(' ')[0]);
-        // Count the occurrences of the func name
-        const count = funcNames.filter(word => word === func).length;
-        // Return 2 if count is greater than 1, otherwise return 1
-        return count > 1 ? 2 : 1;
-    } catch (error) {
-        console.error(error);
-        return 1;
-    }
-}
-
-function craftModuleWidgets(module, widgets) {
-    // Create ALL exposed module function widgets
-    if (widgets.length === 0) {
-        console.log(`${module} no exposed widgets`);
-        return;
-    }
-    console.log(`Craft widgets bind to ${module}`);
-    generateElement(type='h2', data=`🧬 ${module}`);
-    // Check widget data struct for the given module
-    widgets.forEach(item => {
-        let type = item.type;
-        let type_options = {};
-        let lm_call = item.lm_call.replace(/\s/g, '/');
-
-        if (type === 'slider') {
-            type_options['title_len'] = autoTitleLen(widgets, lm_call.split('/')[0]);
-            type_options['range'] = item.range;
-
-        } else if (type === 'button' || type === 'toggle') {
-            type = 'button';
-            type_options['title_len'] = autoTitleLen(widgets, lm_call.split('/')[0]);
-            type_options['range'] = item.range;
-
-        } else if (type === 'textbox') {
-            type_options['title_len'] = autoTitleLen(widgets, lm_call.split('/')[0]);
-            type_options['refresh'] = item.refresh;
-
-        } else if (type === 'color') {
-            type_options['title_len'] = autoTitleLen(widgets, lm_call.split('/')[0]);
-            type_options['range'] = item.range;
-
-        } else {
-            console.log(`Unsupported micrOS widget html_type: ${type}`)
-            return;
-        }
-        try {
-            generateElement(type=type, data=`${module}/${lm_call}`, options=type_options);
-        } catch (error) {
-            console.error(error);
-        }
-    })
-}
-
-
-function DynamicWidgetLoad() {
-    // INIT DASHBOARD (load active modules -> build page)
-    restAPI('modules').then(data => {
-        //console.log(data);
-        const app_list = data['result'];
-        // Handle the app_list data here
-        for (const module of app_list) {
-            // NEW module widget query
-            moduleHelp(module).then(widgets => {
-                craftModuleWidgets(module, widgets)
-            }).catch(error => {
-                // You can work with parsedWidgets here
-                console.error(error);
-            });
-        }
-    }).catch(error => {
-        console.error(error);
-    });
-}
-
-// craftModuleWidgets

toolkit/workspace/precompiled/ustyle.css

@@ -1,28 +0,0 @@
-@keyframes backgroundAnimation {
-    0% {background-position: 0% 50%;}
-    50% {background-position: 100% 50%;}
-    100% {background-position: 0% 50%;}
-}
-body {
-    height: 100vh; /* Set the height to 100% of the viewport height */
-    width: 100vh; /* Set the width to 200% of the viewport height */
-    padding: env(safe-area-inset-top) env(safe-area-inset-right) env(safe-area-inset-bottom) env(safe-area-inset-left);
-    margin: 40px;
-    background: linear-gradient(110deg, #4b3c66, #21184f, #712336);
-    background-size: 200% 200%;
-    animation: backgroundAnimation 15s infinite;
-    color: #d9d9d9;
-    font-family: 'Verdana', Sans-serif;
-}
-button {
-    background-color: #e7e7e7; /* Gray */
-    border: none;
-    color: black;
-    font-size: 14px;
-    border-radius: 4px;
-    transition-duration: 0.4s;
-}
-button:hover {
-    background-color: #555555; /* Black */
-    color: white;
-}

toolkit/workspace/precompiled/uwidgets.js

@@ -1,179 +0,0 @@
-// WIDGETS ELEMENTS
-
-const widget_indent = '40px';
-const windowWidth = window.innerWidth;
-
-function sliderWidget(container, command, options={}) {
-        const title_len = options.title_len || 1;
-        const paragraph = document.createElement('p');
-
-        paragraph.style.textIndent = widget_indent;
-        paragraph.textContent = command.split('/').slice(1, title_len+1).join('-').replace(/=/g, '').replace(':range:', '');
-        // Create a slider
-        const element = document.createElement('input');
-        element.style.marginLeft = widget_indent;
-        element.type = 'range';
-        element.min = options.range[0] || 0;
-        element.max = options.range[1] || 100;
-        element.step = options.range[2] || 5;
-        element.value = Math.round((element.max-element.min)/2);
-        element.style.width = Math.min(windowWidth * 0.6, 300) + 'px';
-
-        // Create a span to display the slider value
-        var valueDisplay = document.createElement('span');
-        valueDisplay.textContent = element.value;
-        element.addEventListener('input', function () {
-            valueDisplay.textContent = this.value;
-        });
-        // Add an event listener for API CALL
-        element.addEventListener('change', function () {
-            var call_cmd;
-            if (options.hasOwnProperty('range')) {
-                // NEW
-                call_cmd = command.replace(':range:', this.value);
-            } else {
-                // LEGACY
-                if (command.endsWith("=")) {
-                    call_cmd = `${command}${this.value}`
-                } else {
-                    call_cmd = `${command}/${this.value}`;
-                }
-            }
-            console.log(`[API] Slider exec: ${call_cmd}`);
-            restAPI(call_cmd);
-        });
-        containerAppendChild([paragraph, element, valueDisplay], container);
-}
-
-function buttonWidget(container, command, options={}) {
-        const title_len = options.title_len || 1;
-        const paragraph = document.createElement('p');
-        paragraph.style.textIndent = widget_indent;
-        // Create a button
-        const element = document.createElement('button');
-        element.style.marginLeft = widget_indent;
-        element.textContent = command.split('/').slice(1, title_len+1).join('-');
-        element.style.height = '30px';
-        // Add an event listener for API CALL
-        element.addEventListener('click', function () {
-            var call_cmd;
-            if (options.hasOwnProperty('range')) {
-                // NEW
-                call_cmd = command.replace(':range:', 'None');
-            } else {
-                // LEGACY
-                call_cmd = command;
-            }
-            console.log(`[API] Button clicked: ${call_cmd}`);
-            restAPI(call_cmd);
-        });
-        containerAppendChild([paragraph, element], container);
-}
-
-function textBoxWidget(container, command, options={}) {
-        const title_len = options.title_len || 1;
-        const refresh = options.refresh || 5000;
-        const paragraph = document.createElement('p');
-
-        paragraph.style.textIndent = widget_indent;
-        paragraph.textContent = command.split('/').slice(1, title_len+1).join('-');
-        // Create a small box (div)
-        const uniqueId = `textbox-${command}`;
-        const element = document.createElement('div');
-        element.id = uniqueId;
-        element.style.marginLeft = widget_indent;
-        element.style.width = '30%';
-        element.style.height = '60px';
-        element.style.paddingTop = '10px';
-        element.style.paddingLeft = '10px';
-        element.style.border = '2px solid #e7e7e7';
-        element.style.borderRadius = '4px';
-
-        const updateTextbox = () => {
-            const call_cmd = command.replace(':range:', 'None');
-            restAPI(call_cmd).then(resp => {
-                    console.log(`[API] textBox[${uniqueId}] call: ${call_cmd}`);
-                    document.getElementById(uniqueId).textContent = JSON.stringify(resp.result, null, 4);
-                }).catch(error => {
-                    console.error('[API] Textbox error:', error);
-                    document.getElementById(uniqueId).textContent = 'Error loading data';
-                });
-    };
-
-    // Call updateTextbox initially
-    updateTextbox();
-    if (refresh > 0) {
-        // Call updateTextbox every 5 seconds (default: 5000)
-        const intervalId = setInterval(updateTextbox, refresh);
-        // Clear the interval when the container is removed from the DOM
-        container.addEventListener('DOMNodeRemovedFromDocument', () => {
-            clearInterval(intervalId);
-        });
-    }
-    containerAppendChild([paragraph, element], container);
-}
-
-function colorPaletteWidget(container, command, options) {
-    function hexToRgb(hex, max=255) {
-        // Remove the hash at the start if it's there
-        hex = hex.replace(/^#/, '');
-        // Parse the r, g, b values
-        let bigint = parseInt(hex, 16);
-        let r = (bigint >> 16) & 255;
-        let g = (bigint >> 8) & 255;
-        let b = bigint & 255;
-        if (max > 255) {
-            // upscale 0-255 range
-            const ratio = max / 255;
-            r = Math.round(r * ratio);
-            g = Math.round(g * ratio);
-            b = Math.round(b * ratio);
-        }
-        return { r, g, b };
-    }
-    function getRandomColorFromList() {
-        const colors = ['#542040', '#2b2155', '#4c1e44', '#56213f', '#853366', '#493984', '#6f3487'];
-        // Generate a random index within the range of the colors array
-        const randomIndex = Math.floor(Math.random() * colors.length);
-        // Return the color at the random index
-        return colors[randomIndex];
-    }
-
-    const title_len = options.title_len || 1;
-    const max_val = options.range[1] || 255
-    // Create elements
-    const paragraph = document.createElement('p');
-    const colorPicker = document.createElement('input');
-    const selectedColor = document.createElement('span');
-
-    // Set up the color picker
-    paragraph.style.textIndent = widget_indent;
-    paragraph.textContent = command.split('/').slice(1, title_len+1).join('-');
-    colorPicker.type = 'color';
-    colorPicker.value = getRandomColorFromList();   // initial color
-    colorPicker.classList.add('custom-color-picker');
-    colorPicker.style.width = '60px';
-    colorPicker.style.height = '40px';
-    colorPicker.style.marginLeft = '40px';
-
-    // Add an event listener to update the displayed color value
-    colorPicker.addEventListener('change', function () {
-        //selectedColor.textContent = colorPicker.value;          //TODO: debug
-        const rgbColor = hexToRgb(colorPicker.value, max_val);
-        var call_cmd;
-        if (options.hasOwnProperty('range')) {
-            call_cmd = command.replace('r=:range:', `r=${rgbColor.r}`);
-            call_cmd = call_cmd.replace('g=:range:', `g=${rgbColor.g}`);
-            call_cmd = call_cmd.replace('b=:range:', `b=${rgbColor.b}`);
-        } else {
-            console.error("colorPaletteWidget missing input range")
-            return
-        }
-        console.log(`[API] colorPalette exec: ${call_cmd}`);
-        restAPI(call_cmd);
-    });
-
-    containerAppendChild([paragraph, colorPicker, selectedColor], container);
-}
-
-// sliderWidget