additional actions and messages

kieler · Oct 10, 2024 · 402df1a · 402df1a
1 parent 48c49db
commit 402df1a
Show file tree

Hide file tree

Showing 27 changed files with 685 additions and 142 deletions.
diff --git a/schema/klighd/SKGraphSchema.json b/schema/klighd/SKGraphSchema.json
@@ -62,6 +62,18 @@
                         }
                     },
                     "default": { "width": 0.0, "height": 0.0 }
+                },
+                "position": {
+                    "type": "object",
+                    "properties": {
+                        "x": {
+                            "type": "number"
+                        },
+                        "y": {
+                            "type": "number"
+                        }
+                    },
+                    "default": { "x": 0.0, "y": 0.0 }
                 }
             }
 
@@ -76,6 +88,18 @@
                 },
                 "revision": {
                     "type": "number"
+                },
+                "children": {
+                    "type": "array",
+                    "required": ["items"],
+                    "items": [
+                        {
+                            "$ref": "#/definitions/SModelElement"
+                        }
+                    ],
+                    "default": [],
+                    "minItems": 1,
+                    "maxItems": 1
                 }
             }
         },

diff --git a/schema/klighd/ValuedSynthesisOption.json b/schema/klighd/ValuedSynthesisOption.json
@@ -0,0 +1,141 @@
+{
+    "$id": "https://github.com/kieler/klighd-vscode/tree/main/schema/klighd/ValuedSynthesisOption.json",
+    "$schema": "http://json-schema.org/draft-07/schema#",
+    "title": "ValuedSynthesisOption",
+    "type": "object",
+    "required": ["synthesisOption", "currentValue"],
+    "properties": {
+        "synthesisOption": {
+            "anyOf": [
+                {"$ref": "#/definitions/checkSynthesisOption"},
+                {"$ref": "#/definitions/choiceSynthesisOption"},
+                {"$ref": "#/definitions/rangeSynthesisOption"},
+                {"$ref": "#/definitions/textSynthesisOption"},
+                {"$ref": "#/definitions/separatorSynthesisOption"},
+                {"$ref": "#/definitions/categorySynthesisOption"}
+            ]
+        },
+        "currentValue": {
+            "type": ["string", "number", "boolean"]
+        }
+    },
+    "definitions": {
+        "SynthesisOption": {
+            "type": "object",
+            "required": ["id", "name", "type", "sourceHash", "initialValue"],
+            "properties": {
+                "id": {
+                    "type": "string"
+                },
+                "name": {
+                    "type": "string"
+                },
+                "type": {
+                    "type": "number",
+                    "enum": [0, 1, 2, 3, 4, 5]
+                },
+                "updateAction": {
+                    "type": "string"
+                },
+                "category": {
+                    "$ref": "#/definitions/categorySynthesisOption"
+                },
+                "sourceHash": {
+                    "type": "string"
+                },
+                "initialValue": {}
+            }
+        },
+        "checkSynthesisOption": {
+            "allOf": [{"$ref": "#/definitions/SynthesisOption"}],
+            "properties": {
+                "type": {
+                    "type": "number",
+                    "enum": [0]
+                },
+                "initialValue": {
+                    "type": "boolean"
+                }
+            }
+        },
+        "choiceSynthesisOption": {
+            "allOf": [{"$ref": "#/definitions/SynthesisOption"}],
+            "required": ["values"],
+            "properties": {
+                "type": {
+                    "type": "number",
+                    "enum": [1]
+                },
+                "initialValue": {
+                    "type": "string"
+                },
+                "values": {
+                    "type": "array",
+                    "items": {
+                        "type": "string"
+                    }
+                }
+            }
+        },
+        "rangeSynthesisOption": {
+            "allOf": [{"$ref": "#/definitions/SynthesisOption"}],
+            "required": ["range", "stepSize"],
+            "properties": {
+                "type": {
+                    "type": "number",
+                    "enum": [2]
+                },
+                "initialValue": {
+                    "type": "number"
+                },
+                "range": {
+                    "type": "object",
+                    "properties": {
+                        "first": {
+                            "type": "number"
+                        },
+                        "second": {
+                            "type": "number"
+                        }
+                    }
+                },
+                "stepSize": {
+                    "type": "number"
+                }
+            }
+        },
+        "textSynthesisOption": {
+            "allOf": [{"$ref": "#/definitions/SynthesisOption"}],
+            "properties": {
+                "type": {
+                    "type": "number",
+                    "enum": [3]
+                },
+                "initialValue": {
+                    "type": "string"
+                }
+            }
+        },
+        "separatorSynthesisOption": {
+            "allOf": [{"$ref": "#/definitions/SynthesisOption"}],
+            "properties": {
+                "type": {
+                    "type": "number",
+                    "enum": [4]
+                }
+            }
+        },
+        "categorySynthesisOption": {
+            "allOf": [{"$ref": "#/definitions/SynthesisOption"}],
+            "properties": {
+                "type": {
+                    "type": "number",
+                    "enum": [5]
+                },
+                "initialValue": {
+                    "type": "boolean"
+                }
+            }
+        }
+    }
+}
diff --git a/schema/klighd/actions/checkImages.json b/schema/klighd/actions/checkImages.json
@@ -0,0 +1,34 @@
+{
+    "$id": "https://github.com/kieler/klighd-vscode/tree/main/schema/klighd/actions/checkImages.json",
+    "$schema": "http://json-schema.org/draft-07/schema#",
+    "title": "checkImages",
+    "type": "object",
+    "allOf": [{"$ref": "/kieler/klighd-vscode/tree/main/schema/sprotty/action.json"}],
+    "required": ["kind", "images"],
+    "properties": {
+        "kind": {
+            "type": "string",
+            "enum": ["checkImages"]
+        },
+        "images": {
+            "type": "array",
+            "items": {
+                "$ref": "#/definitions/image"
+            }
+        }
+    },
+    "definitions": {
+        "image": {
+            "type": "object",
+            "required": ["bundleName", "imagePath"],
+            "properties": {
+                "bundleName": {
+                    "type": "string"
+                },
+                "imagePath": {
+                    "type": "string"
+                }
+            }
+        }
+    }
+}
diff --git a/schema/klighd/actions/checkedImages.json b/schema/klighd/actions/checkedImages.json
@@ -0,0 +1,37 @@
+{
+    "$id": "https://github.com/kieler/klighd-vscode/tree/main/schema/klighd/actions/checkedImages.json",
+    "$schema": "http://json-schema.org/draft-07/schema#",
+    "title": "checkedImages",
+    "type": "object",
+    "allOf": [{"$ref": "/kieler/klighd-vscode/tree/main/schema/sprotty/action.json"}],
+    "required": ["kind", "notCached", "responseId"],
+    "properties": {
+        "kind": {
+            "type": "string",
+            "enum": ["checkedImages"]
+        },
+        "notCached": {
+            "type": "array",
+            "items": {
+                "$ref": "#/definitions/notCachedImage"
+            }
+        },
+        "responseId": {
+            "type": "string"
+        }
+    },
+    "definitions": {
+        "notCachedImage": {
+            "type": "object",
+            "required": ["k", "v"],
+            "properties": {
+                "k": {
+                    "type": "string"
+                },
+                "v": {
+                    "type": "string"
+                }
+            }
+        }
+    }
+}
diff --git a/schema/klighd/actions/performAction.json b/schema/klighd/actions/performAction.json
@@ -0,0 +1,26 @@
+{
+    "$id": "https://github.com/kieler/klighd-vscode/tree/main/schema/klighd/actions/performAction.json",
+    "$schema": "http://json-schema.org/draft-07/schema#",
+    "title": "performAction",
+    "type": "object",
+    "allOf": [{"$ref": "/kieler/klighd-vscode/tree/main/schema/sprotty/actions/action.json"}],
+    "required": ["kind", "actionId", "kGraphElementId", "kRenderingId", "revision"],
+    "properties": {
+        "kind": {
+            "type": "string",
+            "enum": ["performAction"]
+        },
+        "actionId": {
+            "type": "string"
+        },
+        "kGraphElementId": {
+            "type": "string"
+        },
+        "kRenderingId": {
+            "type": "string"
+        },
+        "revision": {
+            "type": "number"
+        }
+    }
+}
diff --git a/schema/klighd/actions/refreshDiagram.json b/schema/klighd/actions/refreshDiagram.json
@@ -0,0 +1,14 @@
+{
+    "$id": "https://github.com/kieler/klighd-vscode/tree/main/schema/klighd/actions/refreshDiagram.json",
+    "$schema": "http://json-schema.org/draft-07/schema#",
+    "title": "refreshDiagram",
+    "type": "object",
+    "allOf": [{"$ref": "/kieler/klighd-vscode/tree/main/schema/sprotty/action.json"}],
+    "required": ["kind"],
+    "properties": {
+        "kind": {
+            "type": "string",
+            "enum": ["refreshDiagram"]
+        }
+    }
+}
diff --git a/schema/klighd/actions/refreshLayout.json b/schema/klighd/actions/refreshLayout.json
@@ -0,0 +1,14 @@
+{
+    "$id": "https://github.com/kieler/klighd-vscode/tree/main/schema/klighd/actions/refreshLayout.json",
+    "$schema": "http://json-schema.org/draft-07/schema#",
+    "title": "refreshLayout",
+    "type": "object",
+    "allOf": [{"$ref": "/kieler/klighd-vscode/tree/main/schema/sprotty/action.json"}],
+    "required": ["kind"],
+    "properties": {
+        "kind": {
+            "type": "string",
+            "enum": ["refreshLayout"]
+        }
+    }
+}
diff --git a/schema/klighd/actions/requestDiagramPiece.json b/schema/klighd/actions/requestDiagramPiece.json
@@ -0,0 +1,17 @@
+{
+    "$id": "https://github.com/kieler/klighd-vscode/tree/main/schema/klighd/actions/requestDiagramPiece.json",
+    "$schema": "http://json-schema.org/draft-07/schema#",
+    "title": "requestDiagramPiece",
+    "type": "object",
+    "allOf": [{"$ref": "/kieler/klighd-vscode/tree/main/schema/sprotty/action.json"}],
+    "required": ["kind", "modelElementId"],
+    "properties": {
+        "kind": {
+            "type": "string",
+            "enum": ["requestDiagramPiece"]
+        },
+        "modelElementId": {
+            "type": "string"
+        }
+    }
+}
diff --git a/schema/klighd/actions/setDiagramPiece.json b/schema/klighd/actions/setDiagramPiece.json
@@ -0,0 +1,17 @@
+{
+    "$id": "https://github.com/kieler/klighd-vscode/tree/main/schema/klighd/actions/setDiagramPiece.json",
+    "$schema": "http://json-schema.org/draft-07/schema#",
+    "title": "setDiagramPiece",
+    "type": "object",
+    "allOf": [{"$ref": "/kieler/klighd-vscode/tree/main/schema/sprotty/action.json"}],
+    "required": ["kind", "diagramPiece"],
+    "properties": {
+        "kind": {
+            "type": "string",
+            "enum": ["setDiagramPiece"]
+        },
+        "diagramPiece": {
+            "$ref": "/kieler/klighd-vscode/tree/main/schema/klighd/SKGraphSchema.json#/definitions/SKNode"
+        }
+    }
+}
diff --git a/schema/klighd/actions/setSynthesis.json b/schema/klighd/actions/setSynthesis.json
@@ -0,0 +1,17 @@
+{
+    "$id": "https://github.com/kieler/klighd-vscode/tree/main/schema/klighd/actions/setSynthesis.json",
+    "$schema": "http://json-schema.org/draft-07/schema#",
+    "title": "setSynthesis",
+    "type": "object",
+    "allOf": [{"$ref": "/kieler/klighd-vscode/tree/main/schema/sprotty/action.json"}],
+    "required": ["kind", "id"],
+    "properties": {
+        "kind": {
+            "type": "string",
+            "enum": ["setSynthesis"]
+        },
+        "id": {
+            "type": "string"
+        }
+    }
+}