etassia 0.1.0

data/lib/etassia/parser/grammars/architecture.rb

@@ -0,0 +1,165 @@
+# frozen_string_literal: true
+
+require_relative "common"
+
+module Etassia
+  module Parser
+    module Grammars
+      # Parslet grammar for architecture diagrams
+      class Architecture < Common
+        root(:diagram)
+
+        # Main diagram structure
+        rule(:diagram) do
+          ws? >>
+            header >>
+            ws? >>
+            statements.maybe >>
+            ws?
+        end
+
+        rule(:header) do
+          str("architecture-beta").as(:header)
+        end
+
+        rule(:statements) do
+          (statement >> ws?).repeat(1)
+        end
+
+        rule(:statement) do
+          title_statement |
+            acc_title_statement |
+            acc_descr_block_statement |
+            acc_descr_statement |
+            group_def |
+            service_def |
+            junction_def |
+            edge_def
+        end
+
+        # Title statement
+        rule(:title_statement) do
+          str("title") >> space.repeat(1) >>
+            (line_end.absent? >> any).repeat(1).as(:title) >>
+            line_end
+        end
+
+        # Accessibility title
+        rule(:acc_title_statement) do
+          str("accTitle:") >> space.repeat(1) >>
+            (line_end.absent? >> any).repeat(1).as(:acc_title) >>
+            line_end
+        end
+
+        # Accessibility description
+        rule(:acc_descr_statement) do
+          str("accDescr:") >> space.repeat(1) >>
+            (line_end.absent? >> any).repeat(1).as(:acc_descr) >>
+            line_end
+        end
+
+        # Accessibility description, multiline block form: accDescr { ... }
+        rule(:acc_descr_block_statement) do
+          str("accDescr") >> space? >> lbrace >>
+            (rbrace.absent? >> any).repeat.as(:acc_descr) >>
+            rbrace >> line_end
+        end
+
+        # Group definition
+        rule(:group_def) do
+          str("group").as(:stmt_type) >> space.repeat(1) >>
+            arch_identifier.as(:id) >>
+            icon_spec.maybe >>
+            label_spec.maybe >>
+            in_clause.maybe.as(:parent) >>
+            line_end
+        end
+
+        # Service definition. Icon and label are both optional - a bare
+        # "service db" with neither is valid architecture-beta syntax.
+        rule(:service_def) do
+          str("service").as(:stmt_type) >> space.repeat(1) >>
+            arch_identifier.as(:id) >>
+            icon_spec.maybe >>
+            label_spec.maybe >>
+            in_clause.maybe.as(:group) >>
+            line_end
+        end
+
+        # Junction definition - a routing point with no icon or label,
+        # used purely to bend edges between services.
+        rule(:junction_def) do
+          str("junction").as(:stmt_type) >> space.repeat(1) >>
+            arch_identifier.as(:id) >>
+            in_clause.maybe.as(:group) >>
+            line_end
+        end
+
+        # Edge definition - handles various formats
+        # Format: from:fromPos --> toPos:to or from --> to
+        rule(:edge_def) do
+          arch_identifier.as(:from) >>
+            position_spec.maybe.as(:from_pos) >>
+            space? >>
+            arrow.as(:arrow) >>
+            space? >>
+            (reverse_position_spec.as(:to_pos) >> colon).maybe >>
+            arch_identifier.as(:to) >>
+            (space? >> colon >> space? >> edge_label.as(:label)).maybe >>
+            line_end
+        end
+
+        # Reverse position spec: L: instead of :L (for target position)
+        rule(:reverse_position_spec) do
+          match("[LRTB]").repeat(1)
+        end
+
+        # Icon specification
+        rule(:icon_spec) do
+          lparen >> icon_content.as(:icon) >> rparen
+        end
+
+        rule(:icon_content) do
+          (rparen.absent? >> any).repeat(1)
+        end
+
+        # Label specification
+        rule(:label_spec) do
+          lbracket >> label_content.as(:label) >> rbracket
+        end
+
+        rule(:label_content) do
+          (rbracket.absent? >> any).repeat(1)
+        end
+
+        # In clause for group membership
+        rule(:in_clause) do
+          space.repeat(1) >> str("in") >> space.repeat(1) >>
+            arch_identifier.as(:group_id)
+        end
+
+        # Position specification (e.g., :L, :R, :T, :B)
+        rule(:position_spec) do
+          colon >> match("[LRTB]").repeat(1).as(:pos_value)
+        end
+
+        # Direction belongs in the endpoint position specs (`a:L -- R:b`).
+        # Mermaid rejects the legacy compact form (`a L--R b`) rather than
+        # treating L/R/T/B as part of the arrow token.
+        rule(:arrow) do
+          str("-->") | str("--")
+        end
+
+        # Edge label
+        rule(:edge_label) do
+          (line_end.absent? >> any).repeat(1)
+        end
+
+        # Architecture-specific identifier (allows hyphens and numbers)
+        rule(:arch_identifier) do
+          match("[a-zA-Z0-9_-]").repeat(1)
+        end
+      end
+    end
+  end
+end

data/lib/etassia/parser/grammars/block.rb

@@ -0,0 +1,190 @@
+# frozen_string_literal: true
+
+require_relative "common"
+
+module Etassia
+  module Parser
+    module Grammars
+      # Parslet grammar for Block diagrams.
+      #
+      # Handles block diagram syntax including column layout, blocks with
+      # various shapes, compound blocks, connections, and styling.
+      class Block < Common
+        root(:diagram)
+
+        # Main diagram structure
+        rule(:diagram) do
+          ws? >>
+            header >>
+            ws? >>
+            statements.maybe >>
+            ws?
+        end
+
+        rule(:header) do
+          str("block-beta").as(:header) >> ws?
+        end
+
+        rule(:statements) do
+          (statement >> ws?).repeat(1)
+        end
+
+        rule(:statement) do
+          columns_statement |
+            style_statement |
+            connection_statement |
+            compound_block_statement |
+            block_statement
+        end
+
+        # Columns: columns N
+        rule(:columns_statement) do
+          str("columns").as(:columns_keyword) >> space >>
+            integer.as(:columns_value) >>
+            line_end
+        end
+
+        # Compound block: block:ID ... end or block ... end
+        rule(:compound_block_statement) do
+          str("block").as(:compound_keyword) >>
+            (colon >> block_id.as(:compound_id)).maybe >>
+            space? >>
+            line_end >>
+            ws? >>
+            compound_statements.maybe.as(:compound_statements) >>
+            ws? >>
+            str("end").as(:compound_end) >>
+            line_end
+        end
+
+        rule(:compound_statements) do
+          (compound_statement >> ws?).repeat(1)
+        end
+
+        rule(:compound_statement) do
+          compound_block_statement |
+            block_statement
+        end
+
+        # Style: style blockId fill:#f9f,stroke:#333
+        rule(:style_statement) do
+          str("style").as(:style_keyword) >> space >>
+            block_id.as(:style_target) >>
+            space >>
+            style_properties.as(:style_props) >>
+            line_end
+        end
+
+        rule(:style_properties) do
+          style_property >> (comma >> style_property).repeat
+        end
+
+        rule(:style_property) do
+          (line_end.absent? >> comma.absent? >> any).repeat(1)
+        end
+
+        # Connection: A --> B or A --- B
+        rule(:connection_statement) do
+          block_id.as(:from) >>
+            space? >>
+            arrow.as(:arrow) >>
+            space? >>
+            block_id.as(:to) >>
+            line_end
+        end
+
+        rule(:arrow) do
+          str("-->").as(:arrow_type) |
+            str("---").as(:line_type)
+        end
+
+        # Block statement: can be space, simple block, or block with shape/width
+        rule(:block_statement) do
+          space_block |
+            arrow_block |
+            block_with_shape
+        end
+
+        # Space placeholder
+        rule(:space_block) do
+          str("space").as(:space_keyword) >> line_end
+        end
+
+        # Arrow block: blockArrowId<["&nbsp;"]>(down)
+        rule(:arrow_block) do
+          block_id.as(:arrow_id) >>
+            str("<").as(:arrow_open) >>
+            lbracket >>
+            (rbracket.absent? >> any).repeat.as(:arrow_label) >>
+            rbracket >>
+            str(">").as(:arrow_close) >>
+            lparen >>
+            arrow_direction.as(:arrow_direction) >>
+            rparen >>
+            line_end
+        end
+
+        rule(:arrow_direction) do
+          (str("up") | str("down") | str("left") | str("right")).as(:direction)
+        end
+
+        # Block with optional shape and width
+        rule(:block_with_shape) do
+          block_id.as(:block_id) >>
+            (space? >> block_shape.as(:block_shape)).maybe >>
+            block_width.as(:block_width).maybe >>
+            line_end
+        end
+
+        # Block width: :N
+        rule(:block_width) do
+          colon >> integer
+        end
+
+        # Block shapes
+        rule(:block_shape) do
+          shape_double_circle |
+            shape_rectangle
+        end
+
+        # Rectangle shape: ["label"]
+        rule(:shape_rectangle) do
+          lbracket.as(:open) >>
+            (rbracket.absent? >> any).repeat.as(:label) >>
+            rbracket.as(:close)
+        end
+
+        # Circle shape: (("label"))
+        rule(:shape_double_circle) do
+          str("((").as(:open) >>
+            (str("))").absent? >> any).repeat.as(:label) >>
+            str("))").as(:close)
+        end
+
+        # Block identifier - can be quoted string or identifier
+        # but not reserved keywords when standalone
+        rule(:block_id) do
+          quoted_string |
+            (reserved_keyword.absent? >> identifier)
+        end
+
+        # Reserved keywords that can't be used as standalone block IDs
+        # Only keywords that would be ambiguous in block_statement context
+        rule(:reserved_keyword) do
+          (str("block") | str("end") | str("space")) >>
+            identifier_char.absent?
+        end
+
+        # Identifier character (for lookahead)
+        rule(:identifier_char) do
+          match["a-zA-Z0-9_"]
+        end
+
+        # Line terminator
+        rule(:line_end) do
+          semicolon.maybe >> space? >> ((comment.maybe >> newline) | eof)
+        end
+      end
+    end
+  end
+end

data/lib/etassia/parser/grammars/c4.rb

@@ -0,0 +1,229 @@
+# frozen_string_literal: true
+
+require_relative "common"
+
+module Etassia
+  module Parser
+    module Grammars
+      # Parslet grammar for C4 diagrams.
+      #
+      # Handles C4 diagram syntax including Context, Container, Component,
+      # Dynamic, and Deployment diagrams with elements, relationships, and
+      # boundaries.
+      class C4 < Common
+        root(:diagram)
+
+        # Main diagram structure
+        rule(:diagram) do
+          ws? >> (
+            (canonical_header >> ws? >> statements >> ws?) |
+            (compatibility_header >> ws? >> statements.maybe >> ws?)
+          )
+        end
+
+        # C4 level headers
+        rule(:canonical_header) do
+          (
+            str("C4Context") |
+            str("C4Container") |
+            str("C4Component") |
+            str("C4Dynamic") |
+            str("C4Deployment")
+          ).as(:header) >>
+            header_suffix
+        end
+
+        rule(:compatibility_header) do
+          str("C4 diagram").as(:header) >> header_suffix
+        end
+
+        # Allow optional ${whitespace}, ${variable}, or semicolon after
+        # the header.
+        rule(:header_suffix) do
+          ((dollar >> lbrace >> identifier >> rbrace) | str(";")).maybe
+        end
+
+        rule(:statements) do
+          (statement >> ws?).repeat(1)
+        end
+
+        rule(:statement) do
+          title_statement |
+            update_layout_config |
+            boundary |
+            relationship |
+            element
+        end
+
+        # Title statement
+        rule(:title_statement) do
+          str("title") >> space.repeat(1) >>
+            (line_end.absent? >> dollar.absent? >> any).repeat(1).as(:title) >>
+            # Allow optional ${whitespace} or ${variable} at end
+            (dollar >> lbrace >> identifier >> rbrace).maybe >>
+            line_end
+        end
+
+        # UpdateLayoutConfig
+        rule(:update_layout_config) do
+          str("UpdateLayoutConfig") >> space? >> lparen >> space? >>
+            config_params.as(:config_params) >>
+            space? >> rparen >> line_end
+        end
+
+        rule(:config_params) do
+          config_param >>
+            (space? >> comma >> space? >> config_param).repeat
+        end
+
+        rule(:config_param) do
+          (dollar >> identifier).as(:key) >> space? >> equals >> space? >>
+            (quoted_string | number).as(:value)
+        end
+
+        # Boundaries (can contain elements and nested boundaries)
+        rule(:boundary) do
+          boundary_type.as(:boundary_type) >> space? >> lparen >> space? >>
+            boundary_params >>
+            space? >> rparen >> space? >> lbrace >>
+            ws? >>
+            boundary_body.maybe.as(:body) >>
+            ws? >>
+            rbrace >> line_end
+        end
+
+        rule(:boundary_type) do
+          str("Enterprise_Boundary") |
+            str("System_Boundary") |
+            str("Boundary") |
+            # Handle variable boundary types like ${macroName}
+            (dollar >> lbrace >> identifier.as(:var) >> rbrace).as(:variable)
+        end
+
+        rule(:boundary_params) do
+          variable_or_identifier.as(:id) >>
+            (space? >> comma >> space? >>
+             param_value.as(:label)).maybe >>
+            (space? >> comma >> space? >>
+             param_value.as(:type)).maybe >>
+            boundary_attributes.maybe
+        end
+
+        rule(:boundary_body) do
+          (boundary | element).as(:item) >>
+            (ws? >> (boundary | element).as(:item)).repeat
+        end
+
+        rule(:boundary_attributes) do
+          (space? >> comma >> space? >> boundary_attribute).repeat(1)
+        end
+
+        rule(:boundary_attribute) do
+          (dollar >> str("link") >> equals >> quoted_string).as(:link) |
+            (dollar >> str("tags") >> equals >> quoted_string).as(:tags)
+        end
+
+        # Elements (Person, System, Container, Component, etc.)
+        rule(:element) do
+          element_type.as(:element_type) >> space? >> lparen >> space? >>
+            element_params >>
+            space? >> rparen >>
+            # Allow optional ${whitespace} or ${variable} at end
+            (dollar >> lbrace >> identifier >> rbrace).maybe >>
+            line_end
+        end
+
+        rule(:element_type) do
+          # Order matters: check longer patterns first
+          str("Enterprise_Boundary") | str("System_Boundary") |
+            str("Person_Ext") | str("Person") |
+            str("SystemDb_Ext") | str("SystemDb") |
+            str("SystemQueue_Ext") | str("SystemQueue") |
+            str("System_Ext") | str("System") |
+            str("ContainerDb") | str("ContainerQueue") | str("Container") |
+            str("Component") |
+            # Handle variable element types
+            (dollar >> lbrace >> identifier.as(:var) >> rbrace).as(:variable)
+        end
+
+        rule(:element_params) do
+          variable_or_identifier.as(:id) >>
+            space? >> comma >> space? >>
+            param_value.as(:label) >>
+            (space? >> comma >> space? >>
+             param_value.as(:description)).maybe >>
+            (space? >> comma >> space? >>
+             param_value.as(:technology)).maybe >>
+            element_attributes.maybe
+        end
+
+        rule(:element_attributes) do
+          (space? >> comma >> space? >> element_attribute).repeat(1)
+        end
+
+        rule(:element_attribute) do
+          (dollar >> str("sprite") >> equals >> quoted_string).as(:sprite) |
+            (dollar >> str("link") >> equals >> quoted_string).as(:link) |
+            (dollar >> str("tags") >> equals >> quoted_string).as(:tags)
+        end
+
+        # Relationships
+        rule(:relationship) do
+          relationship_type.as(:rel_type) >> space? >> lparen >> space? >>
+            relationship_params >>
+            space? >> rparen >>
+            # Allow optional ${whitespace} or ${variable} at end
+            (dollar >> lbrace >> identifier >> rbrace).maybe >>
+            line_end
+        end
+
+        rule(:relationship_type) do
+          str("BiRel") | str("Rel")
+        end
+
+        rule(:relationship_params) do
+          variable_or_identifier.as(:from) >>
+            space? >> comma >> space? >>
+            variable_or_identifier.as(:to) >>
+            (space? >> comma >> space? >>
+             param_value.as(:label)).maybe >>
+            (space? >> comma >> space? >>
+             param_value.as(:technology)).maybe
+        end
+
+        # Parameter value (can be quoted string, unquoted text, or variable)
+        # But should not match attributes (things starting with $name=)
+        rule(:param_value) do
+          quoted_string |
+            variable_or_identifier |
+            unquoted_param
+        end
+
+        rule(:unquoted_param) do
+          # Don't match if it starts with $identifier=
+          (dollar >> match["a-zA-Z_"]).absent? >>
+            (comma.absent? >> rparen.absent? >> line_end.absent? >>
+             any).repeat(1)
+        end
+
+        # Variable or identifier
+        rule(:variable_or_identifier) do
+          variable | identifier
+        end
+
+        rule(:variable) do
+          dollar >> lbrace >> identifier.as(:var) >> rbrace
+        end
+
+        rule(:dollar) { str("$") }
+
+        # Override string to capture content
+        rule(:quoted_string) do
+          str('"') >> (
+            (str("\\") >> any) | (str('"').absent? >> any)
+          ).repeat.as(:string) >> str('"')
+        end
+      end
+    end
+  end
+end