@likec4/language-server 0.5.0 → 0.6.1

package/contrib/likec4.monarch.ts

@@ -0,0 +1,31 @@
+// Monarch syntax highlighting for the likec4 language.
+export default {
+    keywords: [
+        'BottomTop','LeftRight','RightLeft','TopBottom','autoLayout','browser','color','cylinder','description','element','exclude','extend','include','it','model','muted','of','person','primary','queue','rectangle','secondary','shape','specification','storage','style','tag','technology','this','title','view','views'
+    ],
+    operators: [
+        '*','->','.*'
+    ],
+    symbols:  /\*|->|\.\*/,
+
+    tokenizer: {
+        initial: [
+            { regex: /[^\W\d_]/, action: { cases: { '@keywords': {"token":"keyword"}, '@default': {"token":"LETTER"} }} },
+            { regex: /[0-9]/, action: {"token":"DIGIT"} },
+            { regex: /[\t\r\n\v\f]/, action: {"token":"NEWLINE"} },
+            { regex: /"[^"]*"|'[^']*'/, action: {"token":"string"} },
+            { include: '@whitespace' },
+            { regex: /@symbols/, action: { cases: { '@operators': {"token":"operator"}, '@default': {"token":""} }} },
+        ],
+        whitespace: [
+            { regex: /[^\S\r\n]/, action: {"token":"white"} },
+            { regex: /\/\*/, action: {"token":"comment","next":"@comment"} },
+            { regex: /\/\/[^\n\r]*/, action: {"token":"comment"} },
+        ],
+        comment: [
+            { regex: /[^\/\*]+/, action: {"token":"comment"} },
+            { regex: /\*\//, action: {"token":"comment","next":"@pop"} },
+            { regex: /[\/\*]/, action: {"token":"comment"} },
+        ],
+    }
+};

package/contrib/likec4.tmLanguage.json

@@ -0,0 +1,73 @@
+{
+  "name": "likec4",
+  "scopeName": "source.likec4",
+  "fileTypes": [
+    ".c4",
+    ".likec4",
+    ".like-c4"
+  ],
+  "patterns": [
+    {
+      "include": "#comments"
+    },
+    {
+      "name": "keyword.control.likec4",
+      "match": "\\b(BottomTop|LeftRight|RightLeft|TopBottom|autoLayout|browser|color|cylinder|description|element|exclude|extend|include|it|model|muted|of|person|primary|queue|rectangle|secondary|shape|specification|storage|style|tag|technology|this|title|view|views)\\b"
+    },
+    {
+      "name": "string.quoted.double.likec4",
+      "begin": "\"",
+      "end": "\"",
+      "patterns": [
+        {
+          "include": "#string-character-escape"
+        }
+      ]
+    },
+    {
+      "name": "string.quoted.single.likec4",
+      "begin": "'",
+      "end": "'",
+      "patterns": [
+        {
+          "include": "#string-character-escape"
+        }
+      ]
+    }
+  ],
+  "repository": {
+    "comments": {
+      "patterns": [
+        {
+          "name": "comment.block.likec4",
+          "begin": "/\\*",
+          "beginCaptures": {
+            "0": {
+              "name": "punctuation.definition.comment.likec4"
+            }
+          },
+          "end": "\\*/",
+          "endCaptures": {
+            "0": {
+              "name": "punctuation.definition.comment.likec4"
+            }
+          }
+        },
+        {
+          "begin": "//",
+          "beginCaptures": {
+            "1": {
+              "name": "punctuation.whitespace.comment.leading.likec4"
+            }
+          },
+          "end": "(?=$)",
+          "name": "comment.line.likec4"
+        }
+      ]
+    },
+    "string-character-escape": {
+      "name": "constant.character.escape.likec4",
+      "match": "\\\\(x[0-9A-Fa-f]{2}|u[0-9A-Fa-f]{4}|u\\{[0-9A-Fa-f]+\\}|[0-2][0-7]{0,2}|3[0-6][0-7]?|37[0-7]?|[4-7][0-7]?|.|$)"
+    }
+  }
+}

package/dist/__test__/parser-smoke/01-Specification.d.ts

@@ -0,0 +1,3 @@
+export declare const valid_01_Specification = "\nspecification {\n  element container\n  element component {\n    style {\n      shape: rectangle\n    }\n  }\n  element person {\n    style {\n      shape: person\n    }\n  }\n\n  tag gray\n  tag lightgray\n}\n";
+export declare const valid_01_Specification_ElementKindStyle = "\nspecification {\n  element frontend {\n    style {\n      shape browser\n      color secondary\n    }\n  }\n  element person {\n    style {\n      shape: person\n    }\n  }\n}\n";
+export declare const invalid_01_Specification_ElementKind = "\nspecification {\n  element element {\n    style {\n      shape browser\n    }\n  }\n}\n";

package/dist/__test__/parser-smoke/01-Specification.js

@@ -0,0 +1,42 @@
+export const valid_01_Specification = `
+specification {
+  element container
+  element component {
+    style {
+      shape: rectangle
+    }
+  }
+  element person {
+    style {
+      shape: person
+    }
+  }
+
+  tag gray
+  tag lightgray
+}
+`;
+export const valid_01_Specification_ElementKindStyle = `
+specification {
+  element frontend {
+    style {
+      shape browser
+      color secondary
+    }
+  }
+  element person {
+    style {
+      shape: person
+    }
+  }
+}
+`;
+export const invalid_01_Specification_ElementKind = `
+specification {
+  element element {
+    style {
+      shape browser
+    }
+  }
+}
+`;

package/dist/__test__/parser-smoke/02-Model.d.ts

@@ -0,0 +1,9 @@
+export declare const valid_02_Model_Element = "\nspecification {\n  element person\n}\nmodel {\n  person user1\n  person user2\n}\n";
+export declare const valid_02_Model_Element_2 = "\nspecification {\n  element person\n}\nmodel {\n  user1 = person\n  user2 = person\n}\n";
+export declare const valid_02_Model_Builtin = "\nmodel {\n  el1 = element\n  el2 = element\n}\n";
+export declare const valid_02_Model_ElementWithTitle = "\nspecification {\n  element person\n}\nmodel {\n  person user1\n  user2 = person 'Person2'\n  user3 = person\n}\n";
+export declare const valid_02_Model_Element_Style = "\nspecification {\n  element person\n}\nmodel {\n  user1 = person {\n    style {\n      shape person\n      color secondary\n    }\n  }\n  user2 = person\n}\n";
+export declare const invalid_02_Model = "\nspecification {\n  element person\n}\nmodel {\n  user = person\n  person 'Person2'\n}\n";
+export declare const valid_02_Model_NestedElemenets = "\nspecification {\n  element person\n  element system\n  element component\n}\nmodel {\n  person user1\n  user2 = person {\n  }\n  user3 = person 'Person3'\n  component system {\n    subsystem = component\n    backend = component {\n      api = component 'API'\n    }\n  }\n}\n";
+export declare const invalid_02_Model_NestedElemenets = "\nspecification {\n  element person\n  element component\n}\nmodel {\n  person user1\n  component system {\n    component 'Subsystem'\n    component backend\n  }\n}\n";
+export declare const valid_02_ModelElementProps = "\nspecification {\n  element component\n  tag one\n}\nmodel {\n  component system {\n    #one\n\n    component subsystem {\n      title: 'SubSystem'\n    }\n    component storage {\n      title 'Storage'\n      style {\n        shape: storage\n      }\n    }\n  }\n}\n";

package/dist/__test__/parser-smoke/02-Model.js

@@ -0,0 +1,110 @@
+export const valid_02_Model_Element = `
+specification {
+  element person
+}
+model {
+  person user1
+  person user2
+}
+`;
+export const valid_02_Model_Element_2 = `
+specification {
+  element person
+}
+model {
+  user1 = person
+  user2 = person
+}
+`;
+export const valid_02_Model_Builtin = `
+model {
+  el1 = element
+  el2 = element
+}
+`;
+export const valid_02_Model_ElementWithTitle = `
+specification {
+  element person
+}
+model {
+  person user1
+  user2 = person 'Person2'
+  user3 = person
+}
+`;
+export const valid_02_Model_Element_Style = `
+specification {
+  element person
+}
+model {
+  user1 = person {
+    style {
+      shape person
+      color secondary
+    }
+  }
+  user2 = person
+}
+`;
+export const invalid_02_Model = `
+specification {
+  element person
+}
+model {
+  user = person
+  person 'Person2'
+}
+`;
+export const valid_02_Model_NestedElemenets = `
+specification {
+  element person
+  element system
+  element component
+}
+model {
+  person user1
+  user2 = person {
+  }
+  user3 = person 'Person3'
+  component system {
+    subsystem = component
+    backend = component {
+      api = component 'API'
+    }
+  }
+}
+`;
+export const invalid_02_Model_NestedElemenets = `
+specification {
+  element person
+  element component
+}
+model {
+  person user1
+  component system {
+    component 'Subsystem'
+    component backend
+  }
+}
+`;
+export const valid_02_ModelElementProps = `
+specification {
+  element component
+  tag one
+}
+model {
+  component system {
+    #one
+
+    component subsystem {
+      title: 'SubSystem'
+    }
+    component storage {
+      title 'Storage'
+      style {
+        shape: storage
+      }
+    }
+  }
+}
+`;

package/dist/__test__/parser-smoke/03-ModelRelation.d.ts

@@ -0,0 +1,6 @@
+export declare const valid_03_Relation = "\nspecification {\n  element person\n}\nmodel {\n  person user1\n  person user2\n  user1 -> user2\n}\n";
+export declare const valid_03_Relation2 = "\nspecification {\n  element person\n}\nmodel {\n  person user1\n  person user2 {\n    -> user1\n  }\n}\n";
+export declare const valid_03_Relation3 = "\nspecification {\n  element person\n}\nmodel {\n  person user1 {\n    -> user2\n  }\n  person user2\n}\n";
+export declare const valid_03_Relation4 = "\nspecification {\n  element person\n  element component\n}\nmodel {\n  person user\n  component system {\n    component subsystem {\n      it -> api\n    }\n    backend = component {\n      api = component 'API' {\n        -> user\n      }\n      this -> subsystem\n    }\n  }\n  user -> api\n}\n";
+export declare const valid_03_Relation_with_title = "\nspecification {\n  element person\n}\nmodel {\n  person user1\n  person user2 {\n    -> user1 'calls'\n  }\n  user1 -> user2 'responds to'\n}\n";
+export declare const valid_03_Relation_with_props = "\nspecification {\n  element person\n}\nmodel {\n  person user1\n  person user2 {\n    -> user1 {\n      title 'calls'\n    }\n  }\n  user1 -> user2 'responds to' {\n    title 'some description'\n  }\n}\n";

package/dist/__test__/parser-smoke/03-ModelRelation.js

@@ -0,0 +1,81 @@
+export const valid_03_Relation = `
+specification {
+  element person
+}
+model {
+  person user1
+  person user2
+  user1 -> user2
+}
+`;
+export const valid_03_Relation2 = `
+specification {
+  element person
+}
+model {
+  person user1
+  person user2 {
+    -> user1
+  }
+}
+`;
+export const valid_03_Relation3 = `
+specification {
+  element person
+}
+model {
+  person user1 {
+    -> user2
+  }
+  person user2
+}
+`;
+export const valid_03_Relation4 = `
+specification {
+  element person
+  element component
+}
+model {
+  person user
+  component system {
+    component subsystem {
+      it -> api
+    }
+    backend = component {
+      api = component 'API' {
+        -> user
+      }
+      this -> subsystem
+    }
+  }
+  user -> api
+}
+`;
+export const valid_03_Relation_with_title = `
+specification {
+  element person
+}
+model {
+  person user1
+  person user2 {
+    -> user1 'calls'
+  }
+  user1 -> user2 'responds to'
+}
+`;
+export const valid_03_Relation_with_props = `
+specification {
+  element person
+}
+model {
+  person user1
+  person user2 {
+    -> user1 {
+      title 'calls'
+    }
+  }
+  user1 -> user2 'responds to' {
+    title 'some description'
+  }
+}
+`;

package/dist/__test__/parser-smoke/04-Scope.d.ts

@@ -0,0 +1,2 @@
+export declare const valid_04_Scope = "\nspecification {\n  element person\n  element component\n}\nmodel {\n  person user\n  component system {\n    component subsystem {\n      -> backend\n    }\n    backend = component {\n      api = component 'API'\n    }\n    user -> api\n  }\n}\n";
+export declare const invalid_04_DuplicateNameInScope = "\nspecification {\n  element person\n  element component\n}\nmodel {\n  person user\n  component system {\n    component subsystem {\n    }\n    backend1 = component {\n      api = component 'API 1'\n    }\n    backend2 = component {\n      api = component 'API 2'\n    }\n    user -> api\n  }\n}\n";

package/dist/__test__/parser-smoke/04-Scope.js

@@ -0,0 +1,38 @@
+export const valid_04_Scope = `
+specification {
+  element person
+  element component
+}
+model {
+  person user
+  component system {
+    component subsystem {
+      -> backend
+    }
+    backend = component {
+      api = component 'API'
+    }
+    user -> api
+  }
+}
+`;
+export const invalid_04_DuplicateNameInScope = `
+specification {
+  element person
+  element component
+}
+model {
+  person user
+  component system {
+    component subsystem {
+    }
+    backend1 = component {
+      api = component 'API 1'
+    }
+    backend2 = component {
+      api = component 'API 2'
+    }
+    user -> api
+  }
+}
+`;

package/dist/__test__/parser-smoke/05-StrictElementRef.d.ts

@@ -0,0 +1,3 @@
+export declare const valid_05_StrictElementRef = "\nspecification {\n  element component\n}\nmodel {\n  component system {\n    component sub1 {\n      component sub2\n    }\n  }\n  extend system {\n  }\n  extend system.sub1 {\n  }\n  extend system.sub1.sub2 {\n  }\n}\n";
+export declare const invalid_05_StrictElementRefScope = "\nspecification {\n  element component\n}\nmodel {\n  component system {\n    component sub1 {\n      component sub2\n    }\n  }\n  extend sub1 {\n  }\n}\n";
+export declare const invalid_05_StrictElementChildRefScope = "\nspecification {\n  element component\n}\nmodel {\n  component system {\n    component sub1 {\n      component sub2\n    }\n  }\n  extend system.sub2 {\n  }\n}\n";

package/dist/__test__/parser-smoke/05-StrictElementRef.js

@@ -0,0 +1,46 @@
+export const valid_05_StrictElementRef = `
+specification {
+  element component
+}
+model {
+  component system {
+    component sub1 {
+      component sub2
+    }
+  }
+  extend system {
+  }
+  extend system.sub1 {
+  }
+  extend system.sub1.sub2 {
+  }
+}
+`;
+export const invalid_05_StrictElementRefScope = `
+specification {
+  element component
+}
+model {
+  component system {
+    component sub1 {
+      component sub2
+    }
+  }
+  extend sub1 {
+  }
+}
+`;
+export const invalid_05_StrictElementChildRefScope = `
+specification {
+  element component
+}
+model {
+  component system {
+    component sub1 {
+      component sub2
+    }
+  }
+  extend system.sub2 {
+  }
+}
+`;

package/dist/__test__/parser-smoke/06-ElementRef.d.ts

@@ -0,0 +1,2 @@
+export declare const valid_06_ElementRef = "\nspecification {\n  element component\n}\nmodel {\n  component user\n  component system {\n    component sub1 {\n      component sub2\n    }\n  }\n  user -> sub1.sub2\n  component system2 {\n    it -> system.sub2\n  }\n}\n";
+export declare const invalid_06_ElementRef = "\nspecification {\n  element component\n}\nmodel {\n  component user\n  component system {\n    component sub1 {\n      component sub2\n    }\n  }\n  user -> sub2.sub1\n}\n";

package/dist/__test__/parser-smoke/06-ElementRef.js

@@ -0,0 +1,59 @@
+export const valid_06_ElementRef = `
+specification {
+  element component
+}
+model {
+  component user
+  component system {
+    component sub1 {
+      component sub2
+    }
+  }
+  user -> sub1.sub2
+  component system2 {
+    it -> system.sub2
+  }
+}
+`;
+export const invalid_06_ElementRef = `
+specification {
+  element component
+}
+model {
+  component user
+  component system {
+    component sub1 {
+      component sub2
+    }
+  }
+  user -> sub2.sub1
+}
+`;
+// export const invalid_06_ElementRefScope = `
+// specification {
+//   element component
+// }
+// model {
+//   component system {
+//     component sub1 {
+//       component sub2
+//     }
+//   }
+//   extends sub1 {
+//   }
+// }
+// `
+// export const invalid_06_ElementChildRefScope = `
+// specification {
+//   element component
+// }
+// model {
+//   component system {
+//     component sub1 {
+//       component sub2
+//     }
+//   }
+//   extends system.sub2 {
+//   }
+// }
+// `

package/dist/__test__/parser-smoke/07-Views.d.ts

@@ -0,0 +1,10 @@
+export declare const valid_07_View: string;
+export declare const valid_07_ViewOf: string;
+export declare const valid_07_ViewRules: string;
+export declare const invalid_07_ViewRules_Inambiqutes: string;
+export declare const valid_07_ViewRules_IncludeScopeOf: string;
+export declare const valid_07_ViewProperties: string;
+export declare const valid_07_ViewRules_Relations: string;
+export declare const valid_07_ViewStyleRules: string;
+export declare const invalid_07_ViewStyleRules: string;
+export declare const valid_07_ViewLayoutRules: string;

package/dist/__test__/parser-smoke/07-Views.js

@@ -0,0 +1,146 @@
+const model = `
+specification {
+  element component
+}
+model {
+  component user
+  component system {
+    component backend {
+      component model
+      component api
+    }
+    component auth {
+      component api
+    }
+    component frontend
+  }
+  component infra {
+    component database
+  }
+
+  backend.model -> infra.database
+  backend.api -> backend.model
+  auth.api -> backend.api
+  frontend -> auth.api
+  frontend -> backend.api
+  user -> frontend
+}
+`;
+export const valid_07_View = model +
+    `
+views {
+  view index {
+    include *
+  }
+}
+`;
+export const valid_07_ViewOf = model +
+    `
+views {
+  view index of system.backend {
+    include *
+  }
+}
+`;
+export const valid_07_ViewRules = model +
+    `
+views {
+  view {
+    include *,
+      infra.*,
+      backend.*
+    exclude frontend
+  }
+}
+`;
+// Two api: in backend and auth
+export const invalid_07_ViewRules_Inambiqutes = model +
+    `
+views {
+  view of system {
+    include api
+  }
+}
+`;
+export const valid_07_ViewRules_IncludeScopeOf = model +
+    `
+views {
+  view of system.backend {
+    include api, auth.api
+  }
+}
+`;
+export const valid_07_ViewProperties = model +
+    `
+views {
+  view {
+    title 'User view'
+    description "
+      View description
+    "
+    include *
+    exclude -> user
+  }
+}
+`;
+export const valid_07_ViewRules_Relations = model +
+    `
+views {
+  view {
+    include
+      -> backend,
+      -> backend.*,
+      -> backend ->,
+      -> backend.* ->,
+      backend ->,
+      backend.* ->
+    exclude
+      * -> infra,
+      * -> infra.*,
+      * -> *
+  }
+}
+`;
+export const valid_07_ViewStyleRules = model +
+    `
+views {
+  view {
+    include *
+    style * {
+      color: secondary
+    }
+    style backend, infra {
+      color: muted
+    }
+    exclude -> frontend
+  }
+}
+`;
+export const invalid_07_ViewStyleRules = model +
+    `
+views {
+  view {
+    include *
+    style backend, {
+      color muted
+    }
+  }
+}
+`;
+export const valid_07_ViewLayoutRules = model +
+    `
+views {
+  view {
+    include *
+    style * {
+      color: secondary
+    }
+    autoLayout BottomTop
+    exclude -> frontend
+  }
+  view {
+    autoLayout LeftRight
+    include *
+  }
+}
+`;

package/dist/__test__/parser-smoke/08-Structurizr.d.ts

@@ -0,0 +1 @@
+export declare const valid_08_Structurizr: string;