combinatory-synthesizer 0.0.1.dev22__tar.gz → 0.0.1.dev24__tar.gz

{combinatory_synthesizer-0.0.1.dev22 → combinatory_synthesizer-0.0.1.dev24}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: combinatory-synthesizer
-Version: 0.0.1.dev22
+Version: 0.0.1.dev24
 Summary: Type based synthesis framework using inhabitation in FCLP
 Project-URL: Documentation, https://tudo-seal.github.io/cosy/
 Project-URL: Issues, https://github.com/tudo-seal/cosy/issues

combinatory_synthesizer-0.0.1.dev24/src/cosy/_version.py

@@ -0,0 +1,24 @@
+# file generated by vcs-versioning
+# don't change, don't track in version control
+from __future__ import annotations
+
+__all__ = [
+    "__version__",
+    "__version_tuple__",
+    "version",
+    "version_tuple",
+    "__commit_id__",
+    "commit_id",
+]
+
+version: str
+__version__: str
+__version_tuple__: tuple[int | str, ...]
+version_tuple: tuple[int | str, ...]
+commit_id: str | None
+__commit_id__: str | None
+
+__version__ = version = '0.0.1.dev24'
+__version_tuple__ = version_tuple = (0, 0, 1, 'dev24')
+
+__commit_id__ = commit_id = None

{combinatory_synthesizer-0.0.1.dev22 → combinatory_synthesizer-0.0.1.dev24}/src/cosy/extensions/visualization/script.js

@@ -156,6 +156,7 @@ function refreshColorMapDisplay() {
 function refreshSelectedResult(change) {
     selectedResult += change;
     const successful = loadResult(selectedResult);
+    console.log("Selected result: " + selectedResult + " (change: " + change + ", successful: " + successful + ")");
     if (successful) {
         selectedResultText.text(selectedResult);
         refreshColorMapDisplay();
@@ -213,7 +214,12 @@ function filterParameterNodes(node) {
 }
 
 function loadResult(resultNum) {
-    let resultData = JSON.parse(JSON.stringify(jsonData[resultNum]));
+    let resultData;
+    try {
+        resultData = JSON.parse(JSON.stringify(jsonData[resultNum]));
+    } catch (e) {
+        return false;
+    }
     if (resultData === undefined) {
         return false;
     }

combinatory_synthesizer-0.0.1.dev22/src/cosy/_version.py

@@ -1,34 +0,0 @@
-# file generated by setuptools-scm
-# don't change, don't track in version control
-
-__all__ = [
-    "__version__",
-    "__version_tuple__",
-    "version",
-    "version_tuple",
-    "__commit_id__",
-    "commit_id",
-]
-
-TYPE_CHECKING = False
-if TYPE_CHECKING:
-    from typing import Tuple
-    from typing import Union
-
-    VERSION_TUPLE = Tuple[Union[int, str], ...]
-    COMMIT_ID = Union[str, None]
-else:
-    VERSION_TUPLE = object
-    COMMIT_ID = object
-
-version: str
-__version__: str
-__version_tuple__: VERSION_TUPLE
-version_tuple: VERSION_TUPLE
-commit_id: COMMIT_ID
-__commit_id__: COMMIT_ID
-
-__version__ = version = '0.0.1.dev22'
-__version_tuple__ = version_tuple = (0, 0, 1, 'dev22')
-
-__commit_id__ = commit_id = None