@purview-dev/astroc4 1.0.0-prerelease.1 → 1.0.0-prerelease.3

package/src/grammar/like-c4.langium

@@ -1,1357 +0,0 @@
-// SPDX-License-Identifier: MIT
-//
-// Copyright (c) 2023-2026 Denis Davydkov
-// Copyright (c) 2026 NVIDIA CORPORATION & AFFILIATES. All rights reserved.
-//
-// Portions of this file have been modified by NVIDIA CORPORATION & AFFILIATES.
-
-grammar LikeC4
-
-entry LikeC4Grammar:
-  (
-    imports+=ImportsFromPoject |
-    specifications+=SpecificationRule |
-    models+=Model  |
-    views+=ModelViews |
-    globals+=Globals |
-    deployments+=ModelDeployments  |
-    diffs+=ModelDiff |
-    likec4lib+=LikeC4Lib
-  )*
-;
-
-// Lib -------------------------------------
-LikeC4Lib:
-  'likec4lib' '{'
-    'icons' '{'
-      (icons+=LibIcon)+
-    '}'
-  '}';
-
-LibIcon:
-  name=IconId;
-
-// Specification -------------------------------------
-
-ElementKind:
-  name=Id;
-Tag:
-  name=Id;
-RelationshipKind:
-  name=Id;
-CustomColor:
-  name=CustomColorId;
-DeploymentNodeKind:
-  name=Id;
-
-SpecificationRule:
-  name='specification' '{'
-    (
-      elements+=SpecificationElementKind |
-      tags+=SpecificationTag |
-      relationships+=SpecificationRelationshipKind |
-      colors+=SpecificationColor |
-      deploymentNodes+=SpecificationDeploymentNodeKind
-    )*
-  '}';
-
-SpecificationElementKind:
-  'element' kind=ElementKind ('{'
-    tags=Tags?
-    props+=(
-      SpecificationElementStringProperty |
-      LinkProperty |
-      DescriptionFileProperty |
-      ElementStyleProperty
-    )*
-  '}')?;
-
-SpecificationElementStringProperty:
-  key=('title' | 'description' | 'technology' | 'notation' | 'summary') ':'? value=MarkdownOrString ';'?;
-
-SpecificationDeploymentNodeKind:
-  'deploymentNode' kind=DeploymentNodeKind ('{'
-    tags=Tags?
-    props+=(
-      SpecificationElementStringProperty |
-      LinkProperty |
-      DescriptionFileProperty |
-      ElementStyleProperty
-    )*
-  '}')?;
-
-SpecificationTag:
-  'tag' tag=Tag ('{'
-    ('color' (ColorRef | color=ColorLiteral))?
-  '}')?;
-
-SpecificationColor:
-  'color' name=CustomColor color=ColorLiteral;
-
-SpecificationRelationshipKind:
-  'relationship' kind=RelationshipKind ('{'
-    tags=Tags?
-    props+=(
-      LinkProperty |
-      DescriptionFileProperty |
-      RelationshipStyleProperty |
-      SpecificationRelationshipStringProperty |
-      MultipleProperty
-    )*
-  '}')?
-;
-
-SpecificationRelationshipStringProperty:
-  key=('title' | 'description' | 'technology' | 'notation') ':'? value=MarkdownOrString ';'?;
-
-// Imports -------------------------------------
-
-ImportsFromPoject:
-  'import' ( '{' imports=Imported '}' | imports=Imported) 'from' project=String ';'?
-;
-
-Imported:
-  imported=[Element:Id] ({infer Imported.prev=current} ',' imported=[Element:Id])* ';'?
-;
-
-// Model -------------------------------------
-
-// Allow use spaces and commas in tags
-Tags:
-  (values+=TagRef)+ ({infer Tags.prev=current} ',' (values+=TagRef)*)* ';'?
-;
-
-Model:
-  name='model' '{'
-    elements+=(ModelElement)*
-  '}'
-;
-
-ModelElement:
-  ExtendElementOrRelation |
-  Relation<true> |
-  Element
-;
-
-Element:
-  (
-    kind=[ElementKind] name=Id |
-    name=Id Eq kind=[ElementKind]
-  )
-  (props+=String  // title
-    (props+=String  // summary
-      (props+=String  // technology
-        (props+=String)?   // tags (ignored by likec4, but still parsed for Structurizr compatibility)
-      )?
-    )?
-  )?
-  body=ElementBody?
-;
-
-ElementBody:
-  '{'
-  tags=Tags?
-  props+=ElementProperty*
-  elements+=(
-    Relation<false> |
-    Element
-  )*
-'}'
-;
-
-ElementProperty:
-  ElementStringProperty |
-  ElementStyleProperty |
-  LinkProperty |
-  DescriptionFileProperty |
-  IconProperty |
-  MetadataProperty;
-
-ElementStringProperty:
-  key=('title' | 'description' | 'technology' | 'summary') ':'? value=MarkdownOrString ';'?;
-
-ExtendElementOrRelation:
-  'extend' (
-    {infer ExtendRelation}
-      source=FqnRef
-      RelationConnector
-      target=FqnRef
-      title=String?
-      body=ExtendRelationBody |
-    {infer ExtendElement}
-      element=StrictFqnElementRef
-      body=ExtendElementBody
-  )
-;
-
-ExtendElementBody:
-  '{'
-  tags=Tags?
-  props+=ExtendElementProperty*
-
-  elements+=(
-    Relation<false> |
-    Element
-  )*
-'}'
-;
-
-ExtendElementProperty:
-  LinkProperty |
-  MetadataProperty;
-
-ExtendRelationBody:
-  '{'
-  tags=Tags?
-  props+=ExtendRelationProperty*
-'}'
-;
-
-ExtendRelationProperty:
-  LinkProperty |
-  MetadataProperty;
-
-// Hack, to strictly enforce resolution of model elements ONLY (in active scope)
-interface ElementRef {
-  modelElement: FqnRef;
-}
-ElementRef returns ElementRef:
-  modelElement=FqnRef;
-
-interface StrictFqnElementRef {
-  parent?: StrictFqnElementRef;
-  el: @Element;
-}
-
-StrictFqnElementRef returns StrictFqnElementRef:
-  el=[Element:Id] ({StrictFqnElementRef.parent=current} StickyDot el=[Element:Id])*;
-
-
-type ModelReferenceable = Element | Imported;
-type Referenceable = DeploymentNode | DeployedInstance | Element | Imported;
-
-interface FqnRef {
-  parent?: FqnRef;
-  value: @Referenceable;
-}
-
-interface StrictFqnRef {
-  parent?: StrictFqnRef;
-  value: @Referenceable;
-}
-
-// Reference to Elements in logical or deployment model
-// Scope computation is based on the parent element:
-//  - If parent is DeploymentNode, then it can reference nested DeploymentNodes and DeployedInstances
-//  - If parent is DeployedInstance, then it can reference  nested  Element
-//  - If parent is Element, then it can reference  nested  Element
-//  Mix of DeploymentRef and ElementRef
-FqnRef returns FqnRef:
-  value=[Referenceable:Id] ({FqnRef.parent=current} StickyDot value=[Referenceable:Id])*
-;
-
-
-// Strict reference allows only direct children of parent
-StrictFqnRef returns StrictFqnRef:
-  value=[Referenceable:Id] ({StrictFqnRef.parent=current} StickyDot value=[Referenceable:Id])*
-;
-
-Relation<isExplicit>:
-  (<isExplicit> source=FqnRef | <!isExplicit> source=FqnRef?)
-  RelationConnector
-  target=FqnRef
-  (title=String  // title
-    (description=String  // description
-      (technology=String)?
-    )?
-  )?
-  tags=Tags?
-  body=RelationBody?
-;
-
-fragment RelationConnector:
-  dotKind=RelationKindDotRef |
-  '-[' kind=[RelationshipKind] (isBidirectional?=']<->' | ']->') |
-  isBidirectional?='<->' |
-  '->'
-;
-
-RelationBody:
-  '{'
-  tags=Tags?
-  props+=RelationProperty*
-'}'
-;
-
-RelationProperty:
-  RelationStringProperty |
-  RelationNavigateToProperty |
-  RelationStyleProperty |
-  LinkProperty |
-  DescriptionFileProperty |
-  MetadataProperty
-;
-
-RelationStringProperty:
-  key=('title' | 'technology' | 'description') ':'? value=MarkdownOrString ';'?;
-
-RelationStyleProperty:
-  key='style' '{'
-    props+=RelationshipStyleProperty*
-  '}'
-;
-
-MetadataProperty:
-  'metadata' MetadataBody
-;
-
-MetadataBody:
-  '{'
-  props+=(MetadataAttribute)*
-'}'
-;
-
-MetadataAttribute:
-  key=Id ':'? (value=MetadataValue | boolValue=BOOLEAN) ';'?
-;
-
-MetadataValue:
-  MarkdownOrString | MetadataArray
-;
-
-MetadataArray:
-  '[' values+=(MarkdownOrString) (',' values+=(MarkdownOrString))* ']'
-;
-
-// Views -------------------------------------
-
-ModelViews:
-  name='views' folder=String? '{' (
-      views+=LikeC4ViewRule |
-      styles+=ViewRuleStyleOrGlobalRef
-    )*
-  '}';
-
-type LikeC4View = ElementView | DynamicView | DeploymentView;
-LikeC4ViewRule returns LikeC4View:
-  DynamicView |
-  DeploymentView |
-  ElementView;
-
-ElementView:
-  'view' name=Id? (
-    'extends' extends=ElementViewRef |
-    'of' viewOf=ElementRef
-  )?
-  body=ElementViewBody?
-;
-
-DynamicView:
-  'dynamic' 'view' name=Id body=DynamicViewBody?
-;
-
-ViewRef:
-  view=[LikeC4View];
-
-ElementViewRef:
-  view=[ElementView];
-
-DynamicViewRef:
-  view=[DynamicView];
-
-ElementViewBody:
-  '{'
-  tags=Tags?
-  props+=ViewProperty*
-  rules+=ViewRule*
-'}'
-;
-
-DynamicViewBody:
-  '{'
-  tags=Tags?
-  props+=DynamicViewProperty*
-  (
-    steps+=StepStatement |
-    rules+=DynamicViewRule
-  )*
-'}'
-;
-
-DynamicViewProperty:
-  DynamicViewDisplayVariantProperty | ViewProperty
-;
-
-DynamicViewDisplayVariantProperty:
-  key='variant'  value=DynamicViewDisplayVariantValue
-;
-
-
-type StringProperty =
-  ElementStringProperty |
-  ViewStringProperty |
-  RelationStringProperty |
-  MetadataAttribute |
-  SpecificationElementStringProperty |
-  SpecificationRelationshipStringProperty |
-  NotationProperty |
-  NotesProperty;
-
-type AnyProperty =
-  StringProperty |
-  ViewProperty |
-  DynamicViewProperty |
-  ElementProperty |
-  RelationProperty |
-  RelationshipStyleProperty |
-  NavigateToProperty |
-  StyleProperty;
-
-ViewProperty:
-  ViewStringProperty | ViewOrderProperty | LinkProperty | DescriptionFileProperty | ViewRoutingProperty
-;
-
-ViewStringProperty:
-  key=('title' | 'description') ':'? value=MarkdownOrString ';'?;
-
-ViewOrderProperty:
-  key='order' value=Number ';'?;
-
-ViewRoutingProperty:
-  key='routing' ':'? value=EdgeRoutingValue ';'?;
-
-EdgeRoutingValue returns string:
-  'spline' | 'ortho';
-
-ViewLayoutDirection returns string:
-  'TopBottom' | 'LeftRight' | 'BottomTop' | 'RightLeft';
-
-ViewRule:
-  ViewRulePredicate |
-  ViewRuleGlobalPredicateRef |
-  ViewRuleGroup |
-  ViewRuleStyleOrGlobalRef |
-  ViewRuleAutoLayout |
-  ViewRuleRank
-;
-
-ViewRuleRank:
-  'rank' value=RankValue? '{'
-    targets=FqnExpressions
-  '}'
-;
-
-RankValue returns string:
-  'same' | 'min' | 'max' | 'source' | 'sink';
-
-ViewRuleGroup:
-  'group' title=String? '{'
-    props+=(
-      ColorProperty |
-      BorderProperty |
-      OpacityProperty
-    )*
-    groupRules+=(
-      ViewRulePredicate |
-      ViewRuleGlobalPredicateRef |
-      ViewRuleGroup
-    )*
-  '}';
-
-DynamicViewRule:
-  DynamicViewIncludePredicate |
-  DynamicViewGlobalPredicateRef |
-  ViewRuleStyleOrGlobalRef |
-  ViewRuleAutoLayout
-;
-
-ViewRulePredicate:
-  (isInclude?='include' | 'exclude')
-  exprs=Expressions
-;
-
-ViewRuleGlobalPredicateRef:
-  'global' 'predicate' predicate=[GlobalPredicateGroup:Id];
-
-DynamicViewIncludePredicate:
-  'include' exprs=Expressions
-;
-
-DynamicViewGlobalPredicateRef:
-  'global' 'predicate' predicate=[GlobalDynamicPredicateGroup:Id];
-
-
-ViewRuleStyle:
-  'style' targets=FqnExpressions '{'
-    props+=(
-      StyleProperty |
-      NotationProperty
-    )*
-  '}';
-
-ViewRuleGlobalStyle:
-  'global' 'style' style=[GlobalStyleId:Id];
-
-ViewRuleStyleOrGlobalRef:
-  ViewRuleStyle | ViewRuleGlobalStyle;
-
-ViewRuleAutoLayout:
-  'autoLayout' direction=ViewLayoutDirection (
-    rankSep=Number (
-      nodeSep=Number)?
-    )? (routing=EdgeRoutingValue)?;
-
-NotationProperty:
-  key='notation' ':'? value=MarkdownOrString ';'?
-;
-NotesProperty:
-  key='notes' ':'? value=MarkdownOrString ';'?
-;
-
-CustomElementProperties:
-  '{'
-  props+=(
-    NavigateToProperty |
-    ElementStringProperty |
-    NotationProperty |
-    NotesProperty |
-    StyleProperty
-  )*
-'}'
-;
-
-CustomRelationProperties:
-  '{'
-  props+=(
-    RelationNavigateToProperty |
-    RelationStringProperty |
-    NotationProperty |
-    NotesProperty |
-    RelationshipStyleProperty |
-    MultipleProperty
-  )*
-'}'
-;
-
-NavigateToProperty:
-  key='navigateTo' value=ViewRef;
-
-RelationNavigateToProperty:
-  key='navigateTo' value=DynamicViewRef;
-
-// Expressions -------------------------------------
-
-Expressions:
-  value=ExpressionV2 ({infer Expressions.prev=current} ',' (value=ExpressionV2)?)*
-;
-
-ExpressionV2:
-  RelationExprOrWith |
-  FqnExprOrWith
-;
-
-FqnExprOrWith:
-  FqnExprOrWhere ({infer FqnExprWith.subject=current} 'with' custom=CustomElementProperties?)?
-;
-
-FqnExprOrWhere:
-  FqnExpr ({infer FqnExprWhere.subject=current} 'where' where=WhereElementExpression?)?
-;
-
-RelationExprOrWith:
-  RelationExprOrWhere ({infer RelationExprWith.subject=current} 'with' custom=CustomRelationProperties?)?
-;
-
-RelationExprOrWhere:
-  RelationExpr ({infer RelationExprWhere.subject=current} 'where' where=WhereRelationExpression?)?
-;
-
-FqnExpr:
-  {infer WildcardExpression} isWildcard?='*' |
-  // These are not valid in FqnExpr, but we keep for backward compatibility
-  {infer ElementTagExpression} 'element.tag' IsEqual tag=TagRef |
-  {infer ElementKindExpression} 'element.kind' IsEqual kind=[ElementKind] |
-  FqnRefExpr
-;
-
-FqnRefExpr:
-  ref=FqnRef selector=(DotUnderscore | DotWildcard)?
-;
-
-RelationExpr:
-  InOutRelationExpr |
-  DirectedRelationExpr
-;
-
-InOutRelationExpr infers RelationExpr:
-  IncomingRelationExpr ({infer InOutRelationExpr.inout=current} '->')?
-;
-
-IncomingRelationExpr:
-  '->' to=FqnExpr;
-
-DirectedRelationExpr infers RelationExpr:
-  OutgoingRelationExpr ({infer DirectedRelationExpr.source=current} target=FqnExpr)?
-;
-
-OutgoingRelationExpr:
-  from=FqnExpr
-  (isBidirectional?='<->' | dotKind=RelationKindDotRef | '->' | '-[' kind=[RelationshipKind:Id] ']->')
-;
-
-FqnExpressions:
-  value=FqnExpr ({infer FqnExpressions.prev=current} ',' (value=FqnExpr)?)*
-;
-
-WhereElementExpression:
-  WhereElementOr
-;
-WhereElementOr infers WhereElementExpression:
-  WhereElementAnd ({infer WhereBinaryExpression.left=current} operator='or' right=WhereElementAnd)*
-;
-WhereElementAnd infers WhereElementExpression:
-  WhereElementPrimary ({infer WhereBinaryExpression.left=current} operator='and' right=WhereElementPrimary)*
-;
-
-WhereElementPrimary infers WhereElementExpression:
-  '(' WhereElementExpression ')' |
-  WhereElementNegation |
-  WhereElement
-;
-
-WhereElementNegation:
-  'not' value=WhereElementExpression;
-
-WhereElement:
-  {infer WhereElementMetadata} 'metadata' StickyDot key=Id (EqOperator value=MetadataFilterValue)? |
-  {infer WhereElementTag} 'tag' EqOperator value=TagRef |
-  {infer WhereElementKind} 'kind' EqOperator value=[DeploymentNodeOrElementKind]
-;
-
-MetadataFilterValue returns string:
-  String | BOOLEAN
-;
-
-WhereRelationExpression:
-  WhereRelationOr
-;
-
-WhereRelationOr infers WhereRelationExpression:
-  WhereRelationAnd ({infer WhereBinaryExpression.left=current} operator='or' right=WhereRelationAnd)*
-;
-WhereRelationAnd infers WhereRelationExpression:
-  WhereRelationPrimary ({infer WhereBinaryExpression.left=current} operator='and' right=WhereRelationPrimary)*
-;
-
-WhereRelationPrimary infers WhereRelationExpression:
-  '(' WhereRelationExpression ')' |
-  WhereRelationNegation |
-  WhereRelation
-;
-
-WhereRelationNegation:
-  'not' value=WhereRelationExpression;
-
-WhereRelation:
-  {infer WhereRelationParticipantMetadata} participant=Participant StickyDot 'metadata' StickyDot key=Id (EqOperator value=MetadataFilterValue)? |
-  {infer WhereRelationParticipantKind} participant=Participant StickyDot 'kind' EqOperator value=[DeploymentNodeOrElementKind:Id] |
-  {infer WhereRelationParticipantTag} participant=Participant StickyDot 'tag' EqOperator value=TagRef |
-  {infer WhereRelationMetadata} 'metadata' StickyDot key=Id (EqOperator value=MetadataFilterValue)? |
-  {infer WhereRelationKind} 'kind' EqOperator value=[RelationshipKind:Id] |
-  {infer WhereRelationTag} 'tag' EqOperator value=TagRef
-;
-type DeploymentNodeOrElementKind = ElementKind | DeploymentNodeKind
-type WhereTagEqual = WhereElementTag | WhereRelationTag | WhereRelationParticipantTag;
-type WhereKindEqual = WhereElementKind | WhereRelationKind | WhereRelationParticipantKind;
-type WhereMetadataEqual = WhereElementMetadata | WhereRelationMetadata | WhereRelationParticipantMetadata;
-
-type WhereExpression = WhereElementExpression | WhereRelationExpression;
-
-// -----------------------------------------------
-// Dynamic view flow steps
-// -----------------------------------------------
-type StepStatement =
-  StepOrSeries |
-  TryStep |
-  AltSteps |
-  SubflowStep;
-
-StepStatement returns StepStatement:
-  SubflowStep |
-  AltSteps |
-  TryStep |
-  StepSeries
-;
-
-interface StepsBlock {
-  steps: StepStatement[]
-}
-
-fragment StepsBlockFragment:
-  '{' steps+=StepStatement* '}'
-;
-
-// -----------------------------------------------
-// Semantic group of dynamic view steps (flow branch)
-
-type SubflowKind =
-  'opt' | 'par' | 'parallel' | 'loop' | 'when' | 'if' | 'else' | 'break';
-SubflowKind returns SubflowKind:
-  'opt' | 'par' | 'parallel' | 'loop' | 'when' | 'if' | 'else' | 'break'
-;
-
-interface SubflowStep extends StepsBlock {
-  kind: SubflowKind
-  /// Optional title for the branch
-  title?: string
-}
-
-// Must be defined before "StepsBlock"
-SubflowStep returns SubflowStep:
-  kind=SubflowKind
-  title=String? StepsBlockFragment
-;
-
-/**
- * Represents a block of step statements, i.e. { ... }
- */
-StepsBlock returns StepsBlock:
-  StepsBlockFragment
-;
-
-// -----------------------------------------------
-// Dynamic view TRY block
-
-interface TryBlock extends StepsBlock {
-  /// Optional title for the try block
-  title?: string
-}
-
-interface CatchBlock {
-  try: TryBlock
-  // Optional title for the catch block
-  title?: string
-  catch: StepsBlock
-}
-
-interface FinallyBlock {
-  tryCatch: TryBlock | CatchBlock
-  // Optional title for the finally block
-  title?: string
-  finally: StepsBlock
-}
-
-type TryStep =
-  TryBlock |
-  CatchBlock |
-  FinallyBlock;
-
-TryStep returns TryStep:
-  FinallyBlock;
-
-FinallyBlock returns FinallyBlock:
-  CatchBlock ({FinallyBlock.tryCatch=current}
-    'finally' title=String?
-    finally=StepsBlock
-  )?
-;
-
-CatchBlock returns CatchBlock:
-  TryBlock ({CatchBlock.try=current}
-    'catch' title=String?
-    catch=StepsBlock
-  )?
-;
-
-TryBlock returns TryBlock:
-  'try' title=String? StepsBlockFragment
-;
-
-// -----------------------------------------------
-// Dynamic view ALT block
-
-interface AltSteps {
-  title?: string
-  branches: SubflowStep[]
-}
-
-AltSteps returns AltSteps:
-  'alt' title=String? '{' branches+=SubflowStep* '}'
-;
-
-
-// -----------------------------------------------
-// Dynamic view step (from previous model)
-
-fragment StepTarget:
-  target=ElementRef
-  title=String?
-  custom=CustomRelationProperties?
-;
-
-interface AbstractStep {
-  kind?: @RelationshipKind;
-  dotKind?: RelationKindDotRef;
-  target: ElementRef;
-  title?: string;
-  custom?: CustomRelationProperties;
-}
-
-/**
- * A single step in a dynamic view flow
- * source -> target
- */
-interface Step extends AbstractStep {
-  source: ElementRef;
-  isBackward?: boolean;
-}
-
-/**
- * A series of steps in a dynamic view flow
- * source -> target1 -> target2 -> ...
- */
-interface StepSeries extends AbstractStep {
-  source: Step | StepSeries;
-}
-
-type StepOrSeries = Step | StepSeries;
-
-StepSeries returns StepSeries:
-  Step
-  ({StepSeries.source=current}
-    (dotKind=RelationKindDotRef | '->' | '-[' kind=[RelationshipKind] ']->')
-      StepTarget
-  )*
-;
-
-Step returns Step:
-  source=ElementRef
-  (isBackward?='<-' | dotKind=RelationKindDotRef | '->' | '-[' kind=[RelationshipKind] ']->')
-  StepTarget
-;
-
-// Deployment -------------------------------------
-
-ModelDeployments:
-  name='deployment' '{'
-    elements+=(
-      DeploymentNode |
-      DeploymentRelation<true> |
-      ExtendDeployment
-    )*
-  '}';
-
-type DeploymentElement = DeploymentNode | DeployedInstance;
-
-DeploymentNode:
-  (
-    kind=[DeploymentNodeKind:Id] name=Id |
-    name=Id Eq kind=[DeploymentNodeKind:Id]
-  )
-  (
-    title=String
-    summary=String?
-  )?
-  body=DeploymentNodeBody?
-;
-
-DeploymentNodeBody:
-  '{'
-  tags=Tags?
-  props+=ElementProperty*
-  elements+=(
-    DeployedInstance |
-    DeploymentRelation<false> |
-    DeploymentNode
-  )*
-'}';
-
-DeployedInstance:
-  (name=Id Eq)?
-  'instanceOf'
-  target=ElementRef
-  (
-    title=String
-    summary=String?
-  )?
-  body=DeployedInstanceBody?
-  ';'?
-;
-
-DeployedInstanceBody:
-  '{'
-  tags=Tags?
-  props+=ElementProperty*
-  elements+=(
-    DeploymentRelation<false>
-  )*
-'}';
-
-ExtendDeployment:
-  'extend' deploymentNode=StrictFqnRef body=ExtendDeploymentBody
-;
-
-ExtendDeploymentBody:
-  '{'
-  tags=Tags?
-  props+=ExtendElementProperty*
-
-  elements+=(
-    DeployedInstance |
-    DeploymentRelation<true> |
-    DeploymentNode
-  )*
-'}'
-;
-
-
-DeploymentRelation<isExplicit>:
-  (<isExplicit> source=FqnRef | <!isExplicit> source=FqnRef?)
-  RelationConnector
-  target=FqnRef
-  (title=String  // title
-    (description=String  // description
-      (technology=String)?
-    )?
-  )?
-  tags=Tags?
-  body=DeploymentRelationBody?
-;
-
-DeploymentRelationBody:
-  '{'
-  tags=Tags?
-  props+=RelationProperty*
-'}'
-;
-
-DeploymentView:
-  'deployment' 'view' name=Id body=DeploymentViewBody?
-;
-
-DeploymentViewBody:
-  '{'
-  tags=Tags?
-  props+=ViewProperty*
-  rules+=DeploymentViewRule*
-'}';
-
-DeploymentViewRule:
-  DeploymentViewRulePredicate |
-  DeploymentViewRuleGroup |
-  DeploymentViewRuleStyle |
-  ViewRuleAutoLayout |
-  ViewRuleAncestors
-;
-
-DeploymentViewRuleGroup:
-  'group' title=String? '{'
-    props+=(
-      ColorProperty |
-      BorderProperty |
-      OpacityProperty |
-      MultipleProperty |
-      ShapeSizeProperty |
-      PaddingSizeProperty |
-      TextSizeProperty
-    )*
-    groupRules+=(
-      DeploymentViewRulePredicate |
-      DeploymentViewRuleGroup
-    )*
-  '}';
-
-ViewRuleAncestors:
-  key='includeAncestors' ':'? value=BOOLEAN ';'?
-;
-
-DeploymentViewRuleStyle:
-  'style' targets=FqnExpressions '{'
-    props+=(
-      StyleProperty |
-      NotationProperty
-    )*
-  '}';
-
-
-DeploymentViewRulePredicate:
-  (isInclude?='include' | 'exclude')
-  expr=Expressions
-;
-// Model diff -------------------------------------
-// Named change set of the model: elements and relations to remove, and model elements to add
-
-ModelDiff:
-  'diff' name=Id title=String? '{'
-    (
-      props+=DiffStringProperty |
-      removes+=DiffRemove |
-      adds+=DiffAdd
-    )*
-  '}'
-;
-
-DiffStringProperty:
-  key=('title' | 'description') ':'? value=MarkdownOrString ';'?;
-
-DiffRemove:
-  'remove' '{'
-    entries+=DiffRemoveEntry*
-  '}'
-;
-
-// Element (source only) or relation (source, connector and target)
-DiffRemoveEntry:
-  source=FqnRef
-  (
-    RelationConnector
-    target=FqnRef
-    title=String?
-  )?
-  ';'?
-;
-
-DiffAdd:
-  'add' '{'
-    elements+=ModelElement*
-  '}'
-;
-
-// Global -------------------------------------
-
-Globals:
-  name='global' '{'
-    (
-      predicates+=(GlobalPredicateGroup | GlobalDynamicPredicateGroup) |
-      styles+=(GlobalStyle | GlobalStyleGroup)
-    )*
-  '}';
-
-GlobalPredicateGroup:
-  'predicateGroup' name=Id '{'
-    predicates+=ViewRulePredicate*
-  '}';
-
-GlobalDynamicPredicateGroup:
-  'dynamicPredicateGroup' name=Id '{'
-    predicates+=DynamicViewIncludePredicate*
-  '}';
-
-GlobalStyleId:
-  name=Id;
-
-GlobalStyle:
-  'style' id=GlobalStyleId targets=FqnExpressions '{'
-    props+=(
-      StyleProperty |
-      NotationProperty
-    )*
-  '}';
-
-GlobalStyleGroup:
-  'styleGroup' id=GlobalStyleId '{'
-    styles+=ViewRuleStyle*
-  '}';
-
-type FqnReferenceable = Referenceable | Element | ExtendElement | ExtendDeployment;
-
-// Common properties -------------------------------------
-
-LinkProperty:
-  key='link' ':'? value=Uri title=String? ';'?;
-
-// A path to a markdown file, resolved like a link and read when the model is built
-DescriptionFileProperty:
-  key='descriptionFile' ':'? value=Uri ';'?;
-
-fragment ColorRef:
-  themeColor=ThemeColor | customColor=[CustomColor:CustomColorId];
-
-ColorProperty:
-  key='color' ':'? ColorRef ';'?;
-
-OpacityProperty:
-  key='opacity' ':'? value=Percent ';'?;
-
-MultipleProperty:
-  key='multiple' ':'? value=BOOLEAN ';'?;
-
-// Element properties -------------------------------------
-IconProperty:
-  key='icon' ':'? (libicon=[LibIcon:IconId] | value=('none'|Uri)) ';'?;
-
-IconColorProperty:
-  key='iconColor' ':'? ColorRef ';'?;
-
-IconSizeProperty:
-  key='iconSize' ':'? value=SizeValue ';'?;
-
-IconPositionValue returns string:
-  'left' |
-  'right' |
-  'top' |
-  'bottom';
-
-IconPositionProperty:
-  key='iconPosition' ':'? value=IconPositionValue ';'?;
-
-ShapeProperty:
-  key='shape' ':'? value=ElementShape ';'?;
-
-BorderStyleValue returns string:
-  LineOptions | 'none';
-
-BorderProperty:
-  key='border' ':'? value=BorderStyleValue ';'?;
-
-SizeValue returns string:
-  'xs' |
-  'sm' |
-  'md' |
-  'lg' |
-  'xl' |
-  'xsmall' |
-  'small' |
-  'medium' |
-  'large' |
-  'xlarge';
-
-ShapeSizeProperty:
-  key='size' ':'? value=SizeValue ';'?;
-
-PaddingSizeProperty:
-  key='padding' ':'? value=SizeValue ';'?;
-
-TextSizeProperty:
-  key='textSize' ':'? value=SizeValue ';'?;
-
-SizingValue returns string:
-  'auto' |
-  'fixed';
-
-SizingProperty:
-  key='sizing' ':'? value=SizingValue ';'?;
-
-type SizeProperty = ShapeSizeProperty | PaddingSizeProperty | TextSizeProperty | IconSizeProperty;
-
-StyleProperty:
-  ColorProperty |
-  ShapeProperty |
-  BorderProperty |
-  OpacityProperty |
-  IconProperty |
-  IconColorProperty |
-  MultipleProperty |
-  ShapeSizeProperty |
-  PaddingSizeProperty |
-  TextSizeProperty |
-  IconSizeProperty |
-  IconPositionProperty |
-  SizingProperty
-;
-
-ElementStyleProperty:
-  key='style' '{'
-    props+=StyleProperty*
-  '}';
-
-
-// -------------------------
-// Relationship Style Properties
-LineProperty:
-  key='line' ':'? value=LineOptions ';'?;
-ArrowProperty:
-  key=('head' | 'tail') ':'? value=ArrowType ';'?;
-
-RelationshipStyleProperty:
-  ColorProperty | LineProperty | ArrowProperty;
-
-TagRef:
-  tag=[Tag:HashId]
-;
-
-RelationKindDotRef:
-  Dot kind=[RelationshipKind:Id]
-;
-
-LineOptions returns string:
-  'solid' |
-  'dashed' |
-  'dotted'
-;
-
-ArrowType returns string:
-  'none' |
-  'normal' |
-  'onormal' |
-  'dot' |
-  'odot' |
-  'diamond' |
-  'odiamond' |
-  'crow' |
-  'open' |
-  'vee'
-;
-
-DynamicViewDisplayVariantValue returns string:
-  'diagram' | 'sequence';
-
-DynamicViewFlowKeyword returns string:
-  'alt' |
-  'opt' |
-  'par' |
-  'parallel' |
-  'loop' |
-  'when' |
-  'if' |
-  'else' |
-  'break' |
-  'try' |
-  'catch' |
-  'finally';
-
-ThemeColor returns string:
-  'primary' |
-  'secondary' |
-  'muted' |
-  'slate' |
-  'blue' |
-  'indigo' |
-  'sky' |
-  'red' |
-  'gray' |
-  'green' |
-  'amber';
-
-ElementShape returns string:
-  'rectangle' |
-  'component' |
-  'person' |
-  'browser' |
-  'mobile' |
-  'cylinder' |
-  'storage' |
-  'queue' |
-  'bucket' |
-  'document' |
-  'agent';
-
-Participant returns string:
-  'source' | 'target';
-
-ColorLiteral:
-  RGBAColor | HexColor;
-
-RGBAColor:
-  ('rgba' | 'rgb') '(' red=Number ','? green=Number ','? blue=Number ','? alpha=(Float | Number | Percent)? ')';
-
-// Validated later
-HexColor:
-  Hash hex=(Hex | Number | IdTerminal | 'add');
-
-IconId returns string:
-  LIB_ICON;
-
-Uri returns string:
-  URI_WITH_SCHEMA | URI_RELATIVE | URI_ALIAS;
-
-MarkdownOrString:
-  markdown=MarkdownString | text=String;
-
-CustomColorId returns string:
-  IdTerminal |
-  SizingValue |
-  ElementShape |
-  ArrowType |
-  LineOptions |
-  Participant |
-  'element' |
-  'model' |
-  'diff' |
-  'add' |
-  'remove';
-
-// We need to add all the possible terminal values to Id,
-// so that the parser can accept them as "Id" (not a bug and not a feature of Langium)
-Id returns string:
-  IdTerminal |
-  ElementShape |
-  ThemeColor |
-  ArrowType |
-  LineOptions |
-  Participant |
-  SizeValue |
-  DynamicViewDisplayVariantValue |
-  DynamicViewFlowKeyword |
-  IconPositionValue |
-  SizingValue |
-  RankValue |
-  EdgeRoutingValue |
-  // Allow reserved keywords as Id
-  'element' | 'model' | 'group' | 'node' | 'deployment' | 'instance' | 'relationship' | 'diff' | 'add' | 'remove' | 'routing';
-
-HashId returns string:
-  Hash Id;
-
-fragment EqOperator:
-  (
-    operator=(Eq | NotEqual) |
-    operator="is" not?='not'?
-  )
-;
-
-fragment IsEqual:
-  isEqual?=Eq | NotEqual;
-
-// -----------------------------------
-// Symbols
-// terminal fragment HASH: '#';
-// terminal fragment UNDERSCORE: '_';
-// terminal fragment DASH: '-';
-// terminal fragment LETTER: /[^\W\d_]/;
-// terminal fragment DIGIT: /[0-9]/;
-// terminal fragment NEWLINE: /[\r?\n]/;
-// terminal fragment SPACE: /[^\S\r\n]/;
-
-// -------------------------
-// Comments
-hidden terminal BLOCK_COMMENT: /\/\*[\s\S]*?\*\//;
-hidden terminal LINE_COMMENT: /\/\/[^\n\r]*/;
-hidden terminal WS: /[\t ]+/;
-hidden terminal NL: /[\r\n]+/;
-
-// -----------------------------------
-// Terminals
-//terminal LineStartWithDash: /(?<=([\r?\n][^\S\r\n]*))-/;
-// terminal Boolean returns boolean: 'true' | 'false';
-
-terminal BOOLEAN returns boolean: /\b(true|false)\b/;
-// LibIcons
-terminal LIB_ICON: /(aws|azure|bootstrap|gcp|md|tech):[-\w]*/;
-
-terminal URI_WITH_SCHEMA: /\w+:\/{2}\S+/;
-terminal URI_RELATIVE: /\.{0,2}\/[^\/]\S+/;
-terminal URI_ALIAS: /@[a-zA-Z0-9_-]*\/[^\s]+/;
-
-terminal DotUnderscore: /\b\._(?![_a-zA-Z])/;
-terminal DotWildcard: /\b\.\*{1,2}/;
-// terminal HashPrefix: /\B#\b/;
-terminal Hash: '#';
-
-// No space allowed before dot
-terminal StickyDot: /\b\./;
-terminal Dot: '.';
-terminal NotEqual: /\!\={1,2}/;
-terminal Eq: /\={1,2}/;
-terminal Percent: /\b\d+%/;
-
-terminal MarkdownString: '\'\'\'' -> '\'\'\'' | '"""' -> '"""';
-terminal String: /"(?:[^"\\]|\\.)*"|'(?:[^'\\]|\\.)*'/;
-
-// terminal fragment QuotedString: ;
-
-// terminal  TagId: HASH LETTER (LETTER | DIGIT | UNDERSCORE | DASH)*;
-terminal Float returns number: /\b\d+\.\d+\b/;
-terminal Number returns number: /\b\d+\b/;
-terminal IdTerminal:  /([a-zA-Z]|_+[a-zA-Z0-9])[-\w]*/;
-terminal Hex: /[a-fA-F0-9]{3,}(?![-_g-zG-Z])/;