diff --git a/extension/src-language-server/snippets/default-stpa-snippets.json b/extension/src-language-server/snippets/default-stpa-snippets.json index 30ceb1c..1620c4f 100644 --- a/extension/src-language-server/snippets/default-stpa-snippets.json +++ b/extension/src-language-server/snippets/default-stpa-snippets.json @@ -9,6 +9,8 @@ {"name": "parallelContsSnippet", "code": "\nControlStructure\nCS {\n ControllerA {\n hierarchyLevel 0\n controlActions {\n [ca \"control action\"] -> ControlledProcess\n }\n }\n ControllerB {\n hierarchyLevel 0\n controlActions {\n [ca \"control action\"] -> ControlledProcess\n }\n }\n ControlledProcess {\n hierarchyLevel 1\n feedback {\n [fbA \"feedback\"] -> ControllerA\n [fbB \"feedback\"] -> ControllerB\n }\n }\n}\n"}, {"name": "consContsWithLoopSnippet", - "code": "\nControlStructure\nCS {\n ControllerA {\n hierarchyLevel 0\n controlActions {\n [caC \"control action\"] -> ControlledProcess\n [caB \"control action\"] -> ControllerB\n }\n }\n ControllerB {\n hierarchyLevel 1\n controlActions {\n [ca \"control action\"] -> ControlledProcess\n }\n feedback {\n [fb \"feedback\"] -> ControllerA\n }\n }\n ControlledProcess {\n hierarchyLevel 2\n feedback {\n [fbA \"feedback\"] -> ControllerA\n [fbB \"feedback\"] -> ControllerB\n }\n }\n}\n"} + "code": "\nControlStructure\nCS {\n ControllerA {\n hierarchyLevel 0\n controlActions {\n [caC \"control action\"] -> ControlledProcess\n [caB \"control action\"] -> ControllerB\n }\n }\n ControllerB {\n hierarchyLevel 1\n controlActions {\n [ca \"control action\"] -> ControlledProcess\n }\n feedback {\n [fb \"feedback\"] -> ControllerA\n }\n }\n ControlledProcess {\n hierarchyLevel 2\n feedback {\n [fbA \"feedback\"] -> ControllerA\n [fbB \"feedback\"] -> ControllerB\n }\n }\n}\n"}, + {"name": "CSWithSubComponents", + "code": "ControlStructure\n Aircraft {\n ControllerA {\n hierarchyLevel 0\n controlActions {\n [ca \"control action\"] -> ControllerB1\n }\n }\n ControllerB {\n hierarchyLevel 1\n ControllerB1 {\n controlActions {\n [ca \"control action\"] -> ControllerB2\n }\n feedback {\n [fb \"feedback\"] -> ControllerA\n }\n }\n ControllerB2 {\n controlActions {\n [ca \"control action\"] -> ControlledProcess\n }\n feedback {\n [fb \"feedback\"] -> ControllerB1\n }\n }\n }\n ControlledProcess {\n hierarchyLevel 2\n feedback {\n [fb \"feedback\"] -> ControllerB2\n }\n }\n }"} ] } \ No newline at end of file