Merge branch 'main' of gitlab.utwente.nl:dp-group-14/ide-plugin

package.json

@@ -71,6 +71,7 @@
 				}
 			}
 		],
+<<<<<<< HEAD
 		"viewsContainers": {
 			"activitybar": [
 				{
@@ -91,6 +92,14 @@
 				}
 			]
 		}
+=======
+		"snippets": [
+			{
+			  "language": "modest",
+			  "path": "./snippets.json"
+			}
+		  ]
+>>>>>>> 5212073769854decea419622cedfcbe0856f1140
 	},
 	"activationEvents": [
 		"onCommand:modest.simulate",

snippets.json

+{
+	"try catch": {
+		"prefix": "try",
+		"scope": "modest",
+		"description": "try catch",
+		"body": [
+			"try\n{\n\t${1:BEHAVIOR}\n}\ncatch ${2:EXCEPTION}\n{\n\t$0\n}"
+		]
+	},
+	"do": {
+		"prefix": "do",
+		"scope": "modest",
+		"description": "do",
+		"body": [
+			"do\n{\n\t${0:BEHAVIOR}\n}"
+		]
+	},
+	"process": {
+		"prefix": "process",
+		"scope": "modest",
+		"description": "process",
+		"body": [
+			"process ${1:NAME}(${2:PARAMETER})\n{\n\t${0:BEHAVIOR}\n}"
+		]
+	},
+	"if": {
+		"prefix": "if",
+		"scope": "modest",
+		"description": "if",
+		"body": [
+			"if(${1:CONDITION})\n{\n\t${2:BEHAVIOR}\n}\nelse\n{\n\t${0:BEHAVIOR}\n}"
+		]
+	},
+	"par": {
+		"prefix": "par",
+		"scope": "modest",
+		"description": "par",
+		"body": [
+			"par {\n::\t${1:PAR1}\n::\t${0:PAR2}\n}"
+		]
+	},
+	"alt": {
+		"prefix": "alt",
+		"scope": "modest",
+		"description": "alt",
+		"body": [
+			"alt {\n::\t${1:ALT1}\n::\t${0:ALT2}\n}"
+		]
+	},
+	"palt": {
+		"prefix": "palt",
+		"scope": "modest",
+		"description": "palt",
+		"body": [
+			"palt {\n:${1:P1}:\t${2:ALT1}\n:${3:P2}:\t${0:ALT2}\n}"
+		]
+	},
+	"relabel": {
+		"prefix": "relabel",
+		"scope": "modest",
+		"description": "relabel",
+		"body": [
+			"relabel {${1:I}} by {${2:G}} ${0:P}"
+		]
+	},
+	"property": {
+		"prefix": "property",
+		"scope": "modest",
+		"description": "property",
+		"body": [
+			"property ${1:NAME} = ${2|Pmax,Pmin,Xmax,Xmin,Smax,Smin|}($0)"
+		]
+	}
+}
\ No newline at end of file