sample-ui-component-library 0.0.61-dev → 0.0.62-dev

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "sample-ui-component-library",
-  "version": "0.0.61-dev",
+  "version": "0.0.62-dev",
   "description": "A library which contains sample UI elements that can be used for populating layouts.",
   "main": "dist/cjs/index.js",
   "module": "dist/esm/index.js",

package/src/components/Editor/MonacoInstance/MonacoInstance.jsx

@@ -14,6 +14,8 @@ import { useEditor } from "../Editor";
 
 import EDITOR_MODES from "../EDITOR_MODES";
 
+import { OverlayRow } from "./OverlayRow/OverlayRow";
+
 import Editor from "@monaco-editor/react";
 
 import "./MonacoInstance.scss";
@@ -44,30 +46,36 @@ export const MonacoInstance = forwardRef(({ onSelectAbstraction }, ref) => {
 
         // Update overlays for mapping mode.
         const updateOverlays = useCallback(() => {
-            if (state.mode !== EDITOR_MODES.MAPPING || !editorRef.current || !activeTabRef?.current?.mapping) {
+            if (!editorRef.current) return;
+            if (state.mode !== EDITOR_MODES.MAPPING  || !activeTabRef?.current?.mapping) {
+                editorRef.current.updateOptions({stickyScroll: { enabled: true }});
                 setOverlayDivs(null);
                 return;
             };
-            const mapping = activeTabRef.current.mapping;
-            const lineCount = editorRef.current.getModel().getLineCount();
-            const lineHeight = editorRef.current.getOption(monaco.editor.EditorOption.lineHeight);        
+            const _editor = editorRef.current;
+            _editor.updateOptions({stickyScroll: { enabled: false }});
+            const lineCount = _editor.getModel().getLineCount();
+            const lineHeight = _editor.getOption(monaco.editor.EditorOption.lineHeight);        
             const divs = [];
 
-            mapping.forEach((entry) => {
-                const top = editorRef.current.getTopForLineNumber(entry.start_line) - editorRef.current.getScrollTop();
-                let bottom = editorRef.current.getTopForLineNumber(entry.end_line + 1) - editorRef.current.getScrollTop();
+            activeTabRef.current.mapping.forEach((entry) => {
+                const top = _editor.getTopForLineNumber(entry.start_line) - _editor.getScrollTop();
+                let bottom = _editor.getTopForLineNumber(entry.end_line + 1) - _editor.getScrollTop();
                 if (entry.end_line >= lineCount) {
                     bottom = bottom + lineHeight;
                 }
-
-                const style= {};
-                style["top"] = top + "px";
-                style["height"] = (bottom - top) + "px";
-
-                divs.push(<div className="line-block-overlay" onClick={(e) => onSelectAbstraction(entry)} style={style}></div>);
+                divs.push(
+                    <OverlayRow
+                        key={entry.uid}
+                        entry={entry}
+                        top={top}
+                        bottom={bottom}
+                        onSelectAbstraction={onSelectAbstraction}
+                    />
+                );
             });
             setOverlayDivs(divs);
-        }, [editorRef, state.activeTab, state.mode]);
+        }, [editorRef, state.activeTab, state.mode, onSelectAbstraction]);
 
         // Scroll the editor and update overlays on wheel event in mapping mode.
         const handleWheel = useCallback((e) => {

package/src/components/Editor/MonacoInstance/MonacoInstance.scss

@@ -17,21 +17,9 @@
 }
 
 .overlay-layer {
-    position: absolute; 
-    left: 0;
-    right: 20px;
-    inset: 0;
-    overflow:hidden;
-}
-
-.line-block-overlay {
-    z-index: 999;
     position: absolute;
-    left: 0;
-    right: 0;
-}
-
-.line-block-overlay:hover {
-    background-color: rgba(255, 166, 0, 0.3);
-    cursor: pointer;
+    inset:0;
+    left: 65px;
+    right: 14px;
+    overflow:hidden;
 }

package/src/components/Editor/MonacoInstance/OverlayRow/OverlayRow.jsx

@@ -0,0 +1,36 @@
+import React from "react";
+import PropTypes from "prop-types";
+
+import "./OverlayRow.scss";
+
+export const OverlayRow =({ entry, top, bottom, onSelectAbstraction }) => {   
+    // Set background color if it exists, otherwise transperant
+    const style= {
+        "top": top + "px",
+        "height": (bottom - top) + "px",
+        "backgroundColor": entry?.backgroundColor || "none"
+    };
+
+    // If entry doesn't have background color, add hover effect.
+    let className = "line-block-overlay";
+    if (!entry.backgroundColor) {
+        className += " line-block-overlay-hover";
+    }   
+
+    const selectRow = (e) => {
+        e.preventDefault();
+        e.stopPropagation();
+        onSelectAbstraction(entry);
+    }
+
+    return (
+        <div className={className} style={style} onClick={selectRow}></div>
+    );
+};
+
+OverlayRow.propTypes = {
+    entry: PropTypes.object.isRequired,
+    top: PropTypes.number.isRequired,
+    bottom: PropTypes.number.isRequired,
+    onSelectAbstraction: PropTypes.func.isRequired,
+};

package/src/components/Editor/MonacoInstance/OverlayRow/OverlayRow.scss

@@ -0,0 +1,11 @@
+.line-block-overlay {
+    z-index: 999;
+    position: absolute;
+    left: 0px;
+    right: 0px;
+}
+
+.line-block-overlay-hover:hover {
+    background-color: rgba(123, 255, 0, 0.2);
+    cursor: pointer;
+}

package/src/stories/data/FileBrowser/workspace_sample.json

@@ -1 +1,332 @@
-[{"name":"library_manager.py","path":"library_manager.py","content":"import sys\r\nimport uuid\r\nimport json\r\n\r\ndef place_books_on_shelf_from_basket(book_shelf, basket):\r\n    '''\r\n    This function checks to see if there are books in the\r\n    basket and places it on the shelf. It continues until\r\n    there are no more books left.\r\n    \r\n    :param book_shelf: Object representing the bookshelf.\r\n    :param basket: Array representing the basket.\r\n    '''\r\n    while len(basket[\"value\"]) > 0:\r\n        book = basket[\"value\"].pop()\r\n        print(f\"Accepted book: {book['value']['name']} (Genre: {book['value']['genre']})\")\r\n        \r\n        firstLetter = book[\"value\"]['name'][0]\r\n\r\n        if (firstLetter not in book_shelf[\"value\"]):\r\n            book_shelf[\"value\"][firstLetter] = []\r\n\r\n        book_shelf[\"value\"][firstLetter].append(book)\r\n\r\n    return book_shelf\r\n\r\ndef accept_book():\r\n    '''\r\n    This function accepts the book from the user.\r\n    '''\r\n    print(\"\\nEnter book details:\")        \r\n    name = input(\"Book name: \")\r\n    genre = input(\"Genre: \")\r\n    book_details = {\"uid\": str(uuid.uuid4()), \"value\": {\"name\": name, \"genre\":genre}}\r\n    return book_details\r\n\r\ndef library_manager():\r\n    '''\r\n    This function serves the library manager. \r\n\r\n    It provides a menu that lets users add books to a basket and \r\n    place the books from the basket onto the shelf. It also allows\r\n    the user to display the contents of the library and finally, it\r\n    allows the user to exit the library.\r\n    '''\r\n\r\n    book_shelf = {\"uid\": str(uuid.uuid4()), \"value\":{}}\r\n\r\n    basket = {\"uid\": str(uuid.uuid4()), \"value\":[]}\r\n\r\n    while True:\r\n        \r\n        response = input(\r\n            \"\\n==========================\\n\"\\\r\n            \"         Menu:\\n\" \\\r\n            \"==========================\\n\"\\\r\n            \"Enter a: Add book.\\n\" \\\r\n            \"Enter p: Place books on shelf and continue.\\n\" \\\r\n            \"Enter d: Display contents of basket and book shelf.\\n\" \\\r\n            \"Enter any other key: Exit\\n\" \\\r\n            \"\\nResponse:\"\r\n        ).lower()\r\n\r\n        if response == \"a\":\r\n            book_details = accept_book()\r\n            basket[\"value\"].append(book_details)\r\n\r\n        elif response == \"p\":\r\n            if (len(basket) > 5):\r\n                raise Exception(\"Basket is too heavy, I can't bring it to the shelf.\")\r\n            book_shelf = place_books_on_shelf_from_basket(book_shelf, basket)\r\n\r\n        elif response == \"d\":\r\n            audit = {\"uid\": str(uuid.uuid4()), \"value\":{\"Book Shelf\": book_shelf, \"Basket\": basket}}\r\n            print(\"\\nLibrary Audit:\", json.dumps(audit[\"value\"], indent=2))\r\n\r\n        else:        \r\n            break\r\n\r\nif __name__ == \"__main__\":\r\n    sys.exit(library_manager())\r\n     ","updatedContent":"import sys\r\nimport uuid\r\nimport json\r\n\r\ndef place_books_on_shelf_from_basket(book_shelf, basket):\r\n    '''\r\n    This function checks to see if there are books in the\r\n    basket and places it on the shelf. It continues until\r\n    there are no more books left.\r\n    \r\n    :param book_shelf: Object representing the bookshelf.\r\n    :param basket: Array representing the basket.\r\n    '''\r\n    while len(basket[\"value\"]) > 0:\r\n        book = basket[\"value\"].pop()\r\n        print(f\"Accepted book: {book['value']['name']} (Genre: {book['value']['genre']})\")\r\n        \r\n        firstLetter = book[\"value\"]['name'][0]\r\n\r\n        if (firstLetter not in book_shelf[\"value\"]):\r\n            book_shelf[\"value\"][firstLetter] = []\r\n\r\n        book_shelf[\"value\"][firstLetter].append(book)\r\n\r\n    return book_shelf\r\n\r\ndef accept_book():\r\n    '''\r\n    This function accepts the book from the user.\r\n    '''\r\n    print(\"\\nEnter book details:\")        \r\n    name = input(\"Book name: \")\r\n    genre = input(\"Genre: \")\r\n    book_details = {\"uid\": str(uuid.uuid4()), \"value\": {\"name\": name, \"genre\":genre}}\r\n    return book_details\r\n\r\ndef library_manager():\r\n    '''\r\n    This function serves the library manager. \r\n\r\n    It provides a menu that lets users add books to a basket and \r\n    place the books from the basket onto the shelf. It also allows\r\n    the user to display the contents of the library and finally, it\r\n    allows the user to exit the library.\r\n    '''\r\n\r\n    book_shelf = {\"uid\": str(uuid.uuid4()), \"value\":{}}\r\n\r\n    basket = {\"uid\": str(uuid.uuid4()), \"value\":[]}\r\n\r\n    while True:\r\n        \r\n        response = input(\r\n            \"\\n==========================\\n\"\\\r\n            \"         Menu:\\n\" \\\r\n            \"==========================\\n\"\\\r\n            \"Enter a: Add book.\\n\" \\\r\n            \"Enter p: Place books on shelf and continue.\\n\" \\\r\n            \"Enter d: Display contents of basket and book shelf.\\n\" \\\r\n            \"Enter any other key: Exit\\n\" \\\r\n            \"\\nResponse:\"\r\n        ).lower()\r\n\r\n        if response == \"a\":\r\n            book_details = accept_book()\r\n            basket[\"value\"].append(book_details)\r\n\r\n        elif response == \"p\":\r\n            if (len(basket) > 5):\r\n                raise Exception(\"Basket is too heavy, I can't bring it to the shelf.\")\r\n            book_shelf = place_books_on_shelf_from_basket(book_shelf, basket)\r\n\r\n        elif response == \"d\":\r\n            audit = {\"uid\": str(uuid.uuid4()), \"value\":{\"Book Shelf\": book_shelf, \"Basket\": basket}}\r\n            print(\"\\nLibrary Audit:\", json.dumps(audit[\"value\"], indent=2))\r\n\r\n        else:        \r\n            break\r\n\r\nif __name__ == \"__main__\":\r\n    sys.exit(library_manager())\r\n     ","type":"file","uid":"9f7368cb-7972-4516-8f60-3f7b75f575c3","level":0,"collapsed":false,"isDirty":false,"mapping":[{"type":"Import","source_path":null,"uid":"b308ce7a-8b78-4f84-a7df-97fc150167e8","start_line":1,"end_line":1,"source":"import sys"},{"type":"Import","source_path":null,"uid":"ec8a3226-785d-44ac-ae07-b688f158aa58","start_line":2,"end_line":2,"source":"import uuid"},{"type":"Import","source_path":null,"uid":"0c1e1aef-b698-4396-bfc6-fdd57f186797","start_line":3,"end_line":3,"source":"import json"},{"type":"Expr","source_path":null,"uid":"35d89687-bf11-4b0c-8597-b92b3af5c316","start_line":6,"end_line":13,"source":"'''\r\n    This function checks to see if there are books in the\r\n    basket and places it on the shelf. It continues until\r\n    there are no more books left.\r\n    \r\n    :param book_shelf: Object representing the bookshelf.\r\n    :param basket: Array representing the basket.\r\n    '''"},{"type":"While","source_path":null,"uid":"b7222c08-4d4b-40d2-b7da-3333086bc1a5","start_line":14,"end_line":14,"source":["    while len(basket[\"value\"]) > 0:"]},{"type":"Assign","source_path":null,"uid":"3059ee92-68a6-4696-ade6-a7491d363654","start_line":15,"end_line":15,"source":"book = basket[\"value\"].pop()"},{"type":"Expr","source_path":null,"uid":"08059761-6bd4-4e05-b737-be5469892978","start_line":16,"end_line":16,"source":"print(f\"Accepted book: {book['value']['name']} (Genre: {book['value']['genre']})\")"},{"type":"Assign","source_path":null,"uid":"f303481d-2a2b-45b1-aebc-bbd23168c3aa","start_line":18,"end_line":18,"source":"firstLetter = book[\"value\"]['name'][0]"},{"type":"If","source_path":null,"uid":"7b15a438-1601-4cd7-a4a6-b364a587aa7e","start_line":20,"end_line":20,"source":["        if (firstLetter not in book_shelf[\"value\"]):"]},{"type":"Assign","source_path":null,"uid":"8f60ac1a-c220-4140-bea1-0426aca1cfab","start_line":21,"end_line":21,"source":"book_shelf[\"value\"][firstLetter] = []"},{"type":"Expr","source_path":null,"uid":"9edb7b1b-efda-41f4-bb63-dc8aa1d1fa1d","start_line":23,"end_line":23,"source":"book_shelf[\"value\"][firstLetter].append(book)"},{"type":"Return","source_path":null,"uid":"3f9a5d2a-3aa4-4984-8dcc-190121bb73a8","start_line":25,"end_line":25,"source":"return book_shelf"},{"type":"Expr","source_path":null,"uid":"ca556739-e968-49f5-a36c-e10a06ebc617","start_line":28,"end_line":30,"source":"'''\r\n    This function accepts the book from the user.\r\n    '''"},{"type":"Expr","source_path":null,"uid":"f91e1c8b-e34f-46c3-925e-1e5b4a8fa95b","start_line":31,"end_line":31,"source":"print(\"\\nEnter book details:\")"},{"type":"Assign","source_path":null,"uid":"5e5f568d-bc06-47b5-b3e8-d1cfde0afe93","start_line":32,"end_line":32,"source":"name = input(\"Book name: \")"},{"type":"Assign","source_path":null,"uid":"649e0c60-a132-4c6b-9d72-ac290a5041c9","start_line":33,"end_line":33,"source":"genre = input(\"Genre: \")"},{"type":"Assign","source_path":null,"uid":"af6c7457-516c-4d39-8813-d744b1223515","start_line":34,"end_line":34,"source":"book_details = {\"uid\": str(uuid.uuid4()), \"value\": {\"name\": name, \"genre\":genre}}"},{"type":"Return","source_path":null,"uid":"0623dcb5-296e-45c0-b1fa-0818ecc94c62","start_line":35,"end_line":35,"source":"return book_details"},{"type":"Expr","source_path":null,"uid":"968e3d32-232d-450c-88ce-eb1d4b97ae64","start_line":38,"end_line":45,"source":"'''\r\n    This function serves the library manager. \r\n\r\n    It provides a menu that lets users add books to a basket and \r\n    place the books from the basket onto the shelf. It also allows\r\n    the user to display the contents of the library and finally, it\r\n    allows the user to exit the library.\r\n    '''"},{"type":"Assign","source_path":null,"uid":"e72691b6-e418-44af-8924-26b856f4996d","start_line":47,"end_line":47,"source":"book_shelf = {\"uid\": str(uuid.uuid4()), \"value\":{}}"},{"type":"Assign","source_path":null,"uid":"8a95a24c-62d7-47ee-b3ec-7886f6e7db37","start_line":49,"end_line":49,"source":"basket = {\"uid\": str(uuid.uuid4()), \"value\":[]}"},{"type":"While","source_path":null,"uid":"71544ac9-3c6c-45f5-9a53-d1abd3e47d84","start_line":51,"end_line":51,"source":["    while True:"]},{"type":"Assign","source_path":null,"uid":"90d619ec-708d-4ada-8d62-c70e03fa755b","start_line":53,"end_line":62,"source":"response = input(\r\n            \"\\n==========================\\n\"\\\r\n            \"         Menu:\\n\" \\\r\n            \"==========================\\n\"\\\r\n            \"Enter a: Add book.\\n\" \\\r\n            \"Enter p: Place books on shelf and continue.\\n\" \\\r\n            \"Enter d: Display contents of basket and book shelf.\\n\" \\\r\n            \"Enter any other key: Exit\\n\" \\\r\n            \"\\nResponse:\"\r\n        ).lower()"},{"type":"If","source_path":null,"uid":"2aa8eb4c-fdf8-4674-acac-281759d42509","start_line":64,"end_line":64,"source":["        if response == \"a\":"]},{"type":"Assign","source_path":null,"uid":"6fd18da6-4edd-4956-92aa-5ee50a970377","start_line":65,"end_line":65,"source":"book_details = accept_book()"},{"type":"Expr","source_path":null,"uid":"d0b0a744-5ac1-4f64-ae75-b2af0f468d1f","start_line":66,"end_line":66,"source":"basket[\"value\"].append(book_details)"},{"type":"If","source_path":null,"uid":"4a1d0ef6-3b30-4177-b556-e72c28dacbb8","start_line":68,"end_line":68,"source":["        elif response == \"p\":"]},{"type":"If","source_path":null,"uid":"a7c808f7-e44d-465f-b2df-415e19862a18","start_line":69,"end_line":69,"source":["            if (len(basket) > 5):"]},{"type":"Raise","source_path":null,"uid":"3579c14b-016c-4f9d-9ed7-f474f450e2f3","start_line":70,"end_line":70,"source":"raise Exception(\"Basket is too heavy, I can't bring it to the shelf.\")"},{"type":"Assign","source_path":null,"uid":"915ae10a-aab9-4003-9dbc-45772015b366","start_line":71,"end_line":71,"source":"book_shelf = place_books_on_shelf_from_basket(book_shelf, basket)"},{"type":"If","source_path":null,"uid":"f8690f15-63a4-4839-ae67-369f01ff7f83","start_line":73,"end_line":73,"source":["        elif response == \"d\":"]},{"type":"Assign","source_path":null,"uid":"15bc2199-2234-47e1-a8a0-84e16728aa1e","start_line":74,"end_line":74,"source":"audit = {\"uid\": str(uuid.uuid4()), \"value\":{\"Book Shelf\": book_shelf, \"Basket\": basket}}"},{"type":"Expr","source_path":null,"uid":"f9fff770-f748-407e-99ac-e94246a9d4d3","start_line":75,"end_line":75,"source":"print(\"\\nLibrary Audit:\", json.dumps(audit[\"value\"], indent=2))"},{"type":"Break","source_path":null,"uid":"c8123785-c38f-4085-858f-18ec19a09f75","start_line":78,"end_line":78,"source":"break"},{"type":"If","source_path":null,"uid":"75bef5bd-c735-4d91-9fbb-3021089ac938","start_line":80,"end_line":80,"source":["if __name__ == \"__main__\":"]},{"type":"Expr","source_path":null,"uid":"b12c3697-642d-46aa-902e-8c0a563eefa3","start_line":81,"end_line":81,"source":"sys.exit(library_manager())"}]},{"name":"README.md","path":"README.md","content":"- The files in the workspace are loaded from the implementation contained in the engine. \r\n\r\n- The implementation realizes the design contained in the engines graphs. \r\n\r\n- Anytime that the implementation is saved, the program will be parsed to extract the mappable statements, allowing the design to be mapped onto the implementation in the workbench.\r\n\r\n- The mapping will be instrumented onto the implementation, executed and the resulting trace will be transformed back into the behavior of the design, allowing it to be automatically debugged.","updatedContent":"- The files in the workspace are loaded from the implementation contained in the engine. \r\n\r\n- The implementation realizes the design contained in the engines graphs. \r\n\r\n- Anytime that the implementation is saved, the program will be parsed to extract the mappable statements, allowing the design to be mapped onto the implementation in the workbench.\r\n\r\n- The mapping will be instrumented onto the implementation, executed and the resulting trace will be transformed back into the behavior of the design, allowing it to be automatically debugged.","type":"file","uid":"2c5385dd-7c17-4216-b564-47c941e9a623","level":0,"collapsed":false,"isDirty":true}]
+[
+    {
+        "name": "library_manager.py",
+        "path": "library_manager.py",
+        "content": "import sys\r\nimport uuid\r\nimport json\r\n\r\ndef place_books_on_shelf_from_basket(book_shelf, basket):\r\n    '''\r\n    This function checks to see if there are books in the\r\n    basket and places it on the shelf. It continues until\r\n    there are no more books left.\r\n    \r\n    :param book_shelf: Object representing the bookshelf.\r\n    :param basket: Array representing the basket.\r\n    '''\r\n    while len(basket[\"value\"]) > 0:\r\n        book = basket[\"value\"].pop()\r\n        print(f\"Accepted book: {book['value']['name']} (Genre: {book['value']['genre']})\")\r\n        \r\n        firstLetter = book[\"value\"]['name'][0]\r\n\r\n        if (firstLetter not in book_shelf[\"value\"]):\r\n            book_shelf[\"value\"][firstLetter] = []\r\n\r\n        book_shelf[\"value\"][firstLetter].append(book)\r\n\r\n    return book_shelf\r\n\r\ndef accept_book():\r\n    '''\r\n    This function accepts the book from the user.\r\n    '''\r\n    print(\"\\nEnter book details:\")        \r\n    name = input(\"Book name: \")\r\n    genre = input(\"Genre: \")\r\n    book_details = {\"uid\": str(uuid.uuid4()), \"value\": {\"name\": name, \"genre\":genre}}\r\n    return book_details\r\n\r\ndef library_manager():\r\n    '''\r\n    This function serves the library manager. \r\n\r\n    It provides a menu that lets users add books to a basket and \r\n    place the books from the basket onto the shelf. It also allows\r\n    the user to display the contents of the library and finally, it\r\n    allows the user to exit the library.\r\n    '''\r\n\r\n    book_shelf = {\"uid\": str(uuid.uuid4()), \"value\":{}}\r\n\r\n    basket = {\"uid\": str(uuid.uuid4()), \"value\":[]}\r\n\r\n    while True:\r\n        \r\n        response = input(\r\n            \"\\n==========================\\n\"\\\r\n            \"         Menu:\\n\" \\\r\n            \"==========================\\n\"\\\r\n            \"Enter a: Add book.\\n\" \\\r\n            \"Enter p: Place books on shelf and continue.\\n\" \\\r\n            \"Enter d: Display contents of basket and book shelf.\\n\" \\\r\n            \"Enter any other key: Exit\\n\" \\\r\n            \"\\nResponse:\"\r\n        ).lower()\r\n\r\n        if response == \"a\":\r\n            book_details = accept_book()\r\n            basket[\"value\"].append(book_details)\r\n\r\n        elif response == \"p\":\r\n            if (len(basket) > 5):\r\n                raise Exception(\"Basket is too heavy, I can't bring it to the shelf.\")\r\n            book_shelf = place_books_on_shelf_from_basket(book_shelf, basket)\r\n\r\n        elif response == \"d\":\r\n            audit = {\"uid\": str(uuid.uuid4()), \"value\":{\"Book Shelf\": book_shelf, \"Basket\": basket}}\r\n            print(\"\\nLibrary Audit:\", json.dumps(audit[\"value\"], indent=2))\r\n\r\n        else:        \r\n            break\r\n\r\nif __name__ == \"__main__\":\r\n    sys.exit(library_manager())\r\n     ",
+        "updatedContent": "import sys\r\nimport uuid\r\nimport json\r\n\r\ndef place_books_on_shelf_from_basket(book_shelf, basket):\r\n    '''\r\n    This function checks to see if there are books in the\r\n    basket and places it on the shelf. It continues until\r\n    there are no more books left.\r\n    \r\n    :param book_shelf: Object representing the bookshelf.\r\n    :param basket: Array representing the basket.\r\n    '''\r\n    while len(basket[\"value\"]) > 0:\r\n        book = basket[\"value\"].pop()\r\n        print(f\"Accepted book: {book['value']['name']} (Genre: {book['value']['genre']})\")\r\n        \r\n        firstLetter = book[\"value\"]['name'][0]\r\n\r\n        if (firstLetter not in book_shelf[\"value\"]):\r\n            book_shelf[\"value\"][firstLetter] = []\r\n\r\n        book_shelf[\"value\"][firstLetter].append(book)\r\n\r\n    return book_shelf\r\n\r\ndef accept_book():\r\n    '''\r\n    This function accepts the book from the user.\r\n    '''\r\n    print(\"\\nEnter book details:\")        \r\n    name = input(\"Book name: \")\r\n    genre = input(\"Genre: \")\r\n    book_details = {\"uid\": str(uuid.uuid4()), \"value\": {\"name\": name, \"genre\":genre}}\r\n    return book_details\r\n\r\ndef library_manager():\r\n    '''\r\n    This function serves the library manager. \r\n\r\n    It provides a menu that lets users add books to a basket and \r\n    place the books from the basket onto the shelf. It also allows\r\n    the user to display the contents of the library and finally, it\r\n    allows the user to exit the library.\r\n    '''\r\n\r\n    book_shelf = {\"uid\": str(uuid.uuid4()), \"value\":{}}\r\n\r\n    basket = {\"uid\": str(uuid.uuid4()), \"value\":[]}\r\n\r\n    while True:\r\n        \r\n        response = input(\r\n            \"\\n==========================\\n\"\\\r\n            \"         Menu:\\n\" \\\r\n            \"==========================\\n\"\\\r\n            \"Enter a: Add book.\\n\" \\\r\n            \"Enter p: Place books on shelf and continue.\\n\" \\\r\n            \"Enter d: Display contents of basket and book shelf.\\n\" \\\r\n            \"Enter any other key: Exit\\n\" \\\r\n            \"\\nResponse:\"\r\n        ).lower()\r\n\r\n        if response == \"a\":\r\n            book_details = accept_book()\r\n            basket[\"value\"].append(book_details)\r\n\r\n        elif response == \"p\":\r\n            if (len(basket) > 5):\r\n                raise Exception(\"Basket is too heavy, I can't bring it to the shelf.\")\r\n            book_shelf = place_books_on_shelf_from_basket(book_shelf, basket)\r\n\r\n        elif response == \"d\":\r\n            audit = {\"uid\": str(uuid.uuid4()), \"value\":{\"Book Shelf\": book_shelf, \"Basket\": basket}}\r\n            print(\"\\nLibrary Audit:\", json.dumps(audit[\"value\"], indent=2))\r\n\r\n        else:        \r\n            break\r\n\r\nif __name__ == \"__main__\":\r\n    sys.exit(library_manager())\r\n     ",
+        "type": "file",
+        "uid": "9f7368cb-7972-4516-8f60-3f7b75f575c3",
+        "level": 0,
+        "collapsed": false,
+        "isDirty": false,
+        "mapping": [
+            {
+                "type": "Import",
+                "source_path": null,
+                "uid": "b308ce7a-8b78-4f84-a7df-97fc150167e8",
+                "start_line": 1,
+                "end_line": 1,
+                "source": "import sys"
+            },
+            {
+                "type": "Import",
+                "source_path": null,
+                "uid": "ec8a3226-785d-44ac-ae07-b688f158aa58",
+                "start_line": 2,
+                "end_line": 2,
+                "source": "import uuid"
+            },
+            {
+                "type": "Import",
+                "source_path": null,
+                "uid": "0c1e1aef-b698-4396-bfc6-fdd57f186797",
+                "start_line": 3,
+                "end_line": 3,
+                "source": "import json"
+            },
+            {
+                "type": "Expr",
+                "source_path": null,
+                "uid": "35d89687-bf11-4b0c-8597-b92b3af5c316",
+                "start_line": 6,
+                "end_line": 13,
+                "source": "'''\r\n    This function checks to see if there are books in the\r\n    basket and places it on the shelf. It continues until\r\n    there are no more books left.\r\n    \r\n    :param book_shelf: Object representing the bookshelf.\r\n    :param basket: Array representing the basket.\r\n    '''"
+            },
+            {
+                "type": "While",
+                "source_path": null,
+                "uid": "b7222c08-4d4b-40d2-b7da-3333086bc1a5",
+                "start_line": 14,
+                "end_line": 14,
+                "source": [
+                    "    while len(basket[\"value\"]) > 0:"
+                ]
+            },
+            {
+                "type": "Assign",
+                "source_path": null,
+                "uid": "3059ee92-68a6-4696-ade6-a7491d363654",
+                "start_line": 15,
+                "end_line": 15,
+                "source": "book = basket[\"value\"].pop()"
+            },
+            {
+                "type": "Expr",
+                "source_path": null,
+                "uid": "08059761-6bd4-4e05-b737-be5469892978",
+                "start_line": 16,
+                "end_line": 16,
+                "source": "print(f\"Accepted book: {book['value']['name']} (Genre: {book['value']['genre']})\")"
+            },
+            {
+                "type": "Assign",
+                "source_path": null,
+                "uid": "f303481d-2a2b-45b1-aebc-bbd23168c3aa",
+                "start_line": 18,
+                "end_line": 18,
+                "source": "firstLetter = book[\"value\"]['name'][0]"
+            },
+            {
+                "type": "If",
+                "source_path": null,
+                "uid": "7b15a438-1601-4cd7-a4a6-b364a587aa7e",
+                "start_line": 20,
+                "end_line": 20,
+                "source": [
+                    "        if (firstLetter not in book_shelf[\"value\"]):"
+                ]
+            },
+            {
+                "type": "Assign",
+                "source_path": null,
+                "uid": "8f60ac1a-c220-4140-bea1-0426aca1cfab",
+                "start_line": 21,
+                "end_line": 21,
+                "source": "book_shelf[\"value\"][firstLetter] = []"
+            },
+            {
+                "type": "Expr",
+                "source_path": null,
+                "uid": "9edb7b1b-efda-41f4-bb63-dc8aa1d1fa1d",
+                "start_line": 23,
+                "end_line": 23,
+                "source": "book_shelf[\"value\"][firstLetter].append(book)"
+            },
+            {
+                "type": "Return",
+                "source_path": null,
+                "uid": "3f9a5d2a-3aa4-4984-8dcc-190121bb73a8",
+                "start_line": 25,
+                "end_line": 25,
+                "source": "return book_shelf"
+            },
+            {
+                "type": "Expr",
+                "source_path": null,
+                "uid": "ca556739-e968-49f5-a36c-e10a06ebc617",
+                "start_line": 28,
+                "end_line": 30,
+                "source": "'''\r\n    This function accepts the book from the user.\r\n    '''"
+            },
+            {
+                "type": "Expr",
+                "source_path": null,
+                "uid": "f91e1c8b-e34f-46c3-925e-1e5b4a8fa95b",
+                "start_line": 31,
+                "end_line": 31,
+                "source": "print(\"\\nEnter book details:\")"
+            },
+            {
+                "type": "Assign",
+                "source_path": null,
+                "uid": "5e5f568d-bc06-47b5-b3e8-d1cfde0afe93",
+                "start_line": 32,
+                "end_line": 32,
+                "source": "name = input(\"Book name: \")"
+            },
+            {
+                "type": "Assign",
+                "source_path": null,
+                "uid": "649e0c60-a132-4c6b-9d72-ac290a5041c9",
+                "start_line": 33,
+                "end_line": 33,
+                "source": "genre = input(\"Genre: \")"
+            },
+            {
+                "type": "Assign",
+                "source_path": null,
+                "uid": "af6c7457-516c-4d39-8813-d744b1223515",
+                "start_line": 34,
+                "end_line": 34,
+                "source": "book_details = {\"uid\": str(uuid.uuid4()), \"value\": {\"name\": name, \"genre\":genre}}"
+            },
+            {
+                "type": "Return",
+                "source_path": null,
+                "uid": "0623dcb5-296e-45c0-b1fa-0818ecc94c62",
+                "start_line": 35,
+                "end_line": 35,
+                "source": "return book_details"
+            },
+            {
+                "type": "Expr",
+                "source_path": null,
+                "uid": "968e3d32-232d-450c-88ce-eb1d4b97ae64",
+                "start_line": 38,
+                "end_line": 45,
+                "source": "'''\r\n    This function serves the library manager. \r\n\r\n    It provides a menu that lets users add books to a basket and \r\n    place the books from the basket onto the shelf. It also allows\r\n    the user to display the contents of the library and finally, it\r\n    allows the user to exit the library.\r\n    '''"
+            },
+            {
+                "type": "Assign",
+                "source_path": null,
+                "uid": "e72691b6-e418-44af-8924-26b856f4996d",
+                "start_line": 47,
+                "end_line": 47,
+                "source": "book_shelf = {\"uid\": str(uuid.uuid4()), \"value\":{}}"
+            },
+            {
+                "type": "Assign",
+                "source_path": null,
+                "uid": "8a95a24c-62d7-47ee-b3ec-7886f6e7db37",
+                "start_line": 49,
+                "end_line": 49,
+                "source": "basket = {\"uid\": str(uuid.uuid4()), \"value\":[]}"
+            },
+            {
+                "type": "While",
+                "source_path": null,
+                "uid": "71544ac9-3c6c-45f5-9a53-d1abd3e47d84",
+                "start_line": 51,
+                "end_line": 51,
+                "source": [
+                    "    while True:"
+                ]
+            },
+            {
+                "type": "Assign",
+                "source_path": null,
+                "uid": "90d619ec-708d-4ada-8d62-c70e03fa755b",
+                "start_line": 53,
+                "end_line": 62,
+                "source": "response = input(\r\n            \"\\n==========================\\n\"\\\r\n            \"         Menu:\\n\" \\\r\n            \"==========================\\n\"\\\r\n            \"Enter a: Add book.\\n\" \\\r\n            \"Enter p: Place books on shelf and continue.\\n\" \\\r\n            \"Enter d: Display contents of basket and book shelf.\\n\" \\\r\n            \"Enter any other key: Exit\\n\" \\\r\n            \"\\nResponse:\"\r\n        ).lower()"
+            },
+            {
+                "type": "If",
+                "source_path": null,
+                "uid": "2aa8eb4c-fdf8-4674-acac-281759d42509",
+                "start_line": 64,
+                "end_line": 64,
+                "source": [
+                    "        if response == \"a\":"
+                ]
+            },
+            {
+                "type": "Assign",
+                "source_path": null,
+                "uid": "6fd18da6-4edd-4956-92aa-5ee50a970377",
+                "start_line": 65,
+                "end_line": 65,
+                "source": "book_details = accept_book()"
+            },
+            {
+                "type": "Expr",
+                "source_path": null,
+                "uid": "d0b0a744-5ac1-4f64-ae75-b2af0f468d1f",
+                "start_line": 66,
+                "end_line": 66,
+                "source": "basket[\"value\"].append(book_details)"
+            },
+            {
+                "type": "If",
+                "source_path": null,
+                "uid": "4a1d0ef6-3b30-4177-b556-e72c28dacbb8",
+                "start_line": 68,
+                "end_line": 68,
+                "source": [
+                    "        elif response == \"p\":"
+                ]
+            },
+            {
+                "type": "If",
+                "source_path": null,
+                "uid": "a7c808f7-e44d-465f-b2df-415e19862a18",
+                "start_line": 69,
+                "end_line": 69,
+                "source": [
+                    "            if (len(basket) > 5):"
+                ]
+            },
+            {
+                "type": "Raise",
+                "source_path": null,
+                "uid": "3579c14b-016c-4f9d-9ed7-f474f450e2f3",
+                "start_line": 70,
+                "end_line": 70,
+                "source": "raise Exception(\"Basket is too heavy, I can't bring it to the shelf.\")"
+            },
+            {
+                "type": "Assign",
+                "source_path": null,
+                "uid": "915ae10a-aab9-4003-9dbc-45772015b366",
+                "start_line": 71,
+                "end_line": 71,
+                "source": "book_shelf = place_books_on_shelf_from_basket(book_shelf, basket)"
+            },
+            {
+                "type": "If",
+                "source_path": null,
+                "uid": "f8690f15-63a4-4839-ae67-369f01ff7f83",
+                "start_line": 73,
+                "end_line": 73,
+                "source": [
+                    "        elif response == \"d\":"
+                ]
+            },
+            {
+                "type": "Assign",
+                "source_path": null,
+                "uid": "15bc2199-2234-47e1-a8a0-84e16728aa1e",
+                "start_line": 74,
+                "end_line": 74,
+                "hover": true,
+                "source": "audit = {\"uid\": str(uuid.uuid4()), \"value\":{\"Book Shelf\": book_shelf, \"Basket\": basket}}"
+            },
+            {
+                "type": "Expr",
+                "source_path": null,
+                "uid": "f9fff770-f748-407e-99ac-e94246a9d4d3",
+                "start_line": 75,
+                "end_line": 75,
+                "backgroundColor": "#33000033",
+                "source": "print(\"\\nLibrary Audit:\", json.dumps(audit[\"value\"], indent=2))"
+            },
+            {
+                "type": "Break",
+                "source_path": null,
+                "uid": "c8123785-c38f-4085-858f-18ec19a09f75",
+                "start_line": 78,
+                "end_line": 78,
+                "source": "break"
+            },
+            {
+                "type": "If",
+                "source_path": null,
+                "uid": "75bef5bd-c735-4d91-9fbb-3021089ac938",
+                "start_line": 80,
+                "end_line": 80,
+                "source": [
+                    "if __name__ == \"__main__\":"
+                ]
+            },
+            {
+                "type": "Expr",
+                "source_path": null,
+                "uid": "b12c3697-642d-46aa-902e-8c0a563eefa3",
+                "start_line": 81,
+                "end_line": 81,
+                "source": "sys.exit(library_manager())"
+            }
+        ]
+    },
+    {
+        "name": "README.md",
+        "path": "README.md",
+        "content": "- The files in the workspace are loaded from the implementation contained in the engine. \r\n\r\n- The implementation realizes the design contained in the engines graphs. \r\n\r\n- Anytime that the implementation is saved, the program will be parsed to extract the mappable statements, allowing the design to be mapped onto the implementation in the workbench.\r\n\r\n- The mapping will be instrumented onto the implementation, executed and the resulting trace will be transformed back into the behavior of the design, allowing it to be automatically debugged.",
+        "updatedContent": "- The files in the workspace are loaded from the implementation contained in the engine. \r\n\r\n- The implementation realizes the design contained in the engines graphs. \r\n\r\n- Anytime that the implementation is saved, the program will be parsed to extract the mappable statements, allowing the design to be mapped onto the implementation in the workbench.\r\n\r\n- The mapping will be instrumented onto the implementation, executed and the resulting trace will be transformed back into the behavior of the design, allowing it to be automatically debugged.",
+        "type": "file",
+        "uid": "2c5385dd-7c17-4216-b564-47c941e9a623",
+        "level": 0,
+        "collapsed": false,
+        "isDirty": true
+    }
+]