expressir 1.2.10-aarch64-linux → 2.4.29-aarch64-linux

data/lib/expressir/express/formatter.rb

@@ -1,9 +1,38 @@
-require 'expressir/model'
-
 module Expressir
   module Express
     class Formatter
-      INDENT_CHAR = ' '
+      # Registry infrastructure — must precede includes so modules can register handlers
+      @format_registry = {}
+
+      def self.format_registry
+        @format_registry || superclass&.format_registry
+      end
+
+      def self.register_formatter(model_class, method_name)
+        # Guard: fail at registration time if the method doesn't exist on
+        # this class (or one of its included modules). Includes private
+        # methods since format handlers are private (TODO.bugs/19).
+        unless method_defined?(method_name) || private_method_defined?(method_name)
+          raise ArgumentError,
+                "Formatter.register_formatter: method :#{method_name} " \
+                "is not defined for #{model_class}"
+        end
+
+        @format_registry[model_class] = method_name
+      end
+
+      # Include formatter modules — each registers its handlers via self.included
+      include Formatters::RemarkItemFormatter
+      include Formatters::RemarkFormatter
+      include Formatters::LiteralsFormatter
+      include Formatters::ReferencesFormatter
+      include Formatters::SupertypeExpressionsFormatter
+      include Formatters::StatementsFormatter
+      include Formatters::ExpressionsFormatter
+      include Formatters::DataTypesFormatter
+      include Formatters::DeclarationsFormatter
+
+      INDENT_CHAR = " ".freeze
       INDENT_WIDTH = 2
       INDENT = INDENT_CHAR * INDENT_WIDTH
       OPERATOR_PRECEDENCE = {
@@ -28,1581 +57,93 @@ module Expressir
         Model::Expressions::BinaryExpression::INSTANCE_NOT_EQUAL => 4,
         Model::Expressions::BinaryExpression::IN => 4,
         Model::Expressions::BinaryExpression::LIKE => 4,
-      }
+      }.freeze
       SUPERTYPE_OPERATOR_PRECEDENCE = {
         Model::SupertypeExpressions::BinarySupertypeExpression::AND => 1,
         Model::SupertypeExpressions::BinarySupertypeExpression::ANDOR => 2,
-      }
-
-      private_constant :INDENT_CHAR
-      private_constant :INDENT_WIDTH
-      private_constant :INDENT
-      private_constant :OPERATOR_PRECEDENCE
-      private_constant :SUPERTYPE_OPERATOR_PRECEDENCE
-
-      # Formats Express model into an Express code
-      # @param [Model::ModelElement] node
-      # @return [String]
-      def self.format(node)
-        formatter = self.new
-        formatter.format(node)
-      end
-
-      # Formats Express model into an Express code
-      # @param [Model::ModelElement] node
-      # @return [String]
-      def format(node)
-        if node.is_a? Model::Repository
-          format_repository(node)
-        elsif node.is_a? Model::Declarations::Attribute
-          format_declarations_attribute(node)
-        elsif node.is_a? Model::Declarations::Constant
-          format_declarations_constant(node)
-        elsif node.is_a? Model::Declarations::Entity
-          format_declarations_entity(node)
-        elsif node.is_a? Model::Declarations::Function
-          format_declarations_function(node)
-        elsif node.is_a? Model::Declarations::Interface
-          format_declarations_interface(node)
-        elsif node.is_a? Model::Declarations::InterfaceItem
-          format_declarations_interface_item(node)
-        elsif node.is_a? Model::Declarations::Parameter
-          format_declarations_parameter(node)
-        elsif node.is_a? Model::Declarations::Procedure
-          format_declarations_procedure(node)
-        elsif node.is_a? Model::Declarations::Rule
-          format_declarations_rule(node)
-        elsif node.is_a? Model::Declarations::Schema
-          format_declarations_schema(node)
-        elsif node.is_a? Model::Declarations::SchemaVersion
-          format_declarations_schema_version(node)
-        elsif node.is_a? Model::Declarations::SubtypeConstraint
-          format_declarations_subtype_constraint(node)
-        elsif node.is_a? Model::Declarations::Type
-          format_declarations_type(node)
-        elsif node.is_a? Model::Declarations::UniqueRule
-          format_declarations_unique_rule(node)
-        elsif node.is_a? Model::Declarations::Variable
-          format_declarations_variable(node)
-        elsif node.is_a? Model::Declarations::WhereRule
-          format_declarations_where_rule(node)
-        elsif node.is_a? Model::DataTypes::Aggregate
-          format_data_types_aggregate(node)
-        elsif node.is_a? Model::DataTypes::Array
-          format_data_types_array(node)
-        elsif node.is_a? Model::DataTypes::Bag
-          format_data_types_bag(node)
-        elsif node.is_a? Model::DataTypes::Binary
-          format_data_types_binary(node)
-        elsif node.is_a? Model::DataTypes::Boolean
-          format_data_types_boolean(node)
-        elsif node.is_a? Model::DataTypes::Enumeration
-          format_data_types_enumeration(node)
-        elsif node.is_a? Model::DataTypes::EnumerationItem
-          format_data_types_enumeration_item(node)
-        elsif node.is_a? Model::DataTypes::GenericEntity
-          format_data_types_generic_entity(node)
-        elsif node.is_a? Model::DataTypes::Generic
-          format_data_types_generic(node)
-        elsif node.is_a? Model::DataTypes::Integer
-          format_data_types_integer(node)
-        elsif node.is_a? Model::DataTypes::List
-          format_data_types_list(node)
-        elsif node.is_a? Model::DataTypes::Logical
-          format_data_types_logical(node)
-        elsif node.is_a? Model::DataTypes::Number
-          format_data_types_number(node)
-        elsif node.is_a? Model::DataTypes::Real
-          format_data_types_real(node)
-        elsif node.is_a? Model::DataTypes::Select
-          format_data_types_select(node)
-        elsif node.is_a? Model::DataTypes::Set
-          format_data_types_set(node)
-        elsif node.is_a? Model::DataTypes::String
-          format_data_types_string(node)
-        elsif node.is_a? Model::Expressions::AggregateInitializer
-          format_expressions_aggregate_initializer(node)
-        elsif node.is_a? Model::Expressions::AggregateInitializerItem
-          format_expressions_aggregate_initializer_item(node)
-        elsif node.is_a? Model::Expressions::BinaryExpression
-          format_expressions_binary_expression(node)
-        elsif node.is_a? Model::Expressions::EntityConstructor
-          format_expressions_entity_constructor(node)
-        elsif node.is_a? Model::Expressions::FunctionCall
-          format_expressions_function_call(node)
-        elsif node.is_a? Model::Expressions::Interval
-          format_expressions_interval(node)
-        elsif node.is_a? Model::Expressions::QueryExpression
-          format_expressions_query_expression(node)
-        elsif node.is_a? Model::Expressions::UnaryExpression
-          format_expressions_unary_expression(node)
-        elsif node.is_a? Model::Literals::Binary
-          format_literals_binary(node)
-        elsif node.is_a? Model::Literals::Integer
-          format_literals_integer(node)
-        elsif node.is_a? Model::Literals::Logical
-          format_literals_logical(node)
-        elsif node.is_a? Model::Literals::Real
-          format_literals_real(node)
-        elsif node.is_a? Model::Literals::String
-          format_literals_string(node)
-        elsif node.is_a? Model::References::AttributeReference
-          format_references_attribute_reference(node)
-        elsif node.is_a? Model::References::GroupReference
-          format_references_group_reference(node)
-        elsif node.is_a? Model::References::IndexReference
-          format_references_index_reference(node)
-        elsif node.is_a? Model::References::SimpleReference
-          format_references_simple_reference(node)
-        elsif node.is_a? Model::Statements::Alias
-          format_statements_alias(node)
-        elsif node.is_a? Model::Statements::Assignment
-          format_statements_assignment(node)
-        elsif node.is_a? Model::Statements::Case
-          format_statements_case(node)
-        elsif node.is_a? Model::Statements::CaseAction
-          format_statements_case_action(node)
-        elsif node.is_a? Model::Statements::Compound
-          format_statements_compound(node)
-        elsif node.is_a? Model::Statements::Escape
-          format_statements_escape(node)
-        elsif node.is_a? Model::Statements::If
-          format_statements_if(node)
-        elsif node.is_a? Model::Statements::Null
-          format_statements_null(node)
-        elsif node.is_a? Model::Statements::ProcedureCall
-          format_statements_procedure_call(node)
-        elsif node.is_a? Model::Statements::Repeat
-          format_statements_repeat(node)
-        elsif node.is_a? Model::Statements::Return
-          format_statements_return(node)
-        elsif node.is_a? Model::Statements::Skip
-          format_statements_skip(node)
-        elsif node.is_a? Model::SupertypeExpressions::BinarySupertypeExpression
-          format_supertype_expressions_binary_supertype_expression(node)
-        elsif node.is_a? Model::SupertypeExpressions::OneofSupertypeExpression
-          format_supertype_expressions_oneof_supertype_expression(node)
-        else
-          STDERR.puts "#{node.class.name} format not implemented"
-          ''
-        end
-      end
-
-      private
-
-      def format_repository(node)
-        node.schemas.map{|x| format(x)}.join("\n\n")
-      end
-
-      def format_declarations_attribute(node)
-        [
-          *if node.supertype_attribute
-            [
-              format(node.supertype_attribute),
-              ' ',
-            ].join('')
-          end,
-          *if node.supertype_attribute and node.id
-            [
-              'RENAMED',
-              ' '
-            ].join('')
-          end,
-          *if node.id
-            [
-              node.id,
-              ' '
-            ].join('')
-          end,
-          ':',
-          *if node.optional
-            [
-              ' ',
-              'OPTIONAL'
-            ].join('')
-          end,
-          ' ',
-          format(node.type),
-          *if node.kind == Model::Declarations::Attribute::DERIVED
-            [
-              ' ',
-              ':=',
-              ' ',
-              format(node.expression)
-            ].join('')
-          elsif node.kind == Model::Declarations::Attribute::INVERSE
-            [
-              ' ',
-              'FOR',
-              ' ',
-              format(node.expression)
-            ].join('')
-          end,
-          ';',
-        ].join('')
-      end
-
-      def format_declarations_constant(node)
-        [
-          node.id,
-          ' ',
-          ':',
-          ' ',
-          format(node.type),
-          ' ',
-          ':=',
-          ' ',
-          format(node.expression),
-          ';'
-        ].join('')
-      end
-
-      def format_declarations_entity(node)
-        explicit_attributes = node.attributes.select{|x| x.kind == Model::Declarations::Attribute::EXPLICIT}
-        derived_attributes = node.attributes.select{|x| x.kind == Model::Declarations::Attribute::DERIVED}
-        inverse_attributes = node.attributes.select{|x| x.kind == Model::Declarations::Attribute::INVERSE}
-
-        [
-          [
-            'ENTITY',
-            ' ',
-            node.id,
-            *if node.abstract and !node.supertype_expression
-              [
-                "\n",
-                indent([
-                  'ABSTRACT',
-                  ' ',
-                  'SUPERTYPE'
-                ].join(''))
-              ].join('')
-            end,
-            *if node.abstract and node.supertype_expression
-              [
-                "\n",
-                indent([
-                  'ABSTRACT',
-                  ' ',
-                  'SUPERTYPE',
-                  ' ',
-                  'OF',
-                  ' ',
-                  '(',
-                  format(node.supertype_expression),
-                  ')'
-                ].join(''))
-              ].join('')
-            end,
-            *if !node.abstract and node.supertype_expression
-              [
-                "\n",
-                indent([
-                  'SUPERTYPE',
-                  ' ',
-                  'OF',
-                  ' ',
-                  '(',
-                  format(node.supertype_expression),
-                  ')'
-                ].join(''))
-              ].join('')
-            end,
-            *if node.subtype_of.length > 0
-              [
-                "\n",
-                indent([
-                  'SUBTYPE',
-                  ' ',
-                  'OF',
-                  ' ',
-                  '(',
-                  node.subtype_of.map{|x| format(x)}.join(', '),
-                  ')'
-                ].join(''))
-              ].join('')
-            end,
-            ';'
-          ].join(''),
-          *if explicit_attributes and explicit_attributes.length > 0
-            indent(explicit_attributes.map{|x| format(x)}.join("\n"))
-          end,
-          *if derived_attributes and derived_attributes.length > 0
-            [
-              'DERIVE',
-              indent(derived_attributes.map{|x| format(x)}.join("\n")),
-            ]
-          end,
-          *if inverse_attributes and inverse_attributes.length > 0
-            [
-              'INVERSE',
-              indent(inverse_attributes.map{|x| format(x)}.join("\n")),
-            ]
-          end,
-          *if node.unique_rules.length > 0
-            [
-              'UNIQUE',
-              indent(node.unique_rules.map{|x| format(x)}.join("\n"))
-            ]
-          end,
-          *if node.where_rules.length > 0
-            [
-              'WHERE',
-              indent(node.where_rules.map{|x| format(x)}.join("\n")),
-            ]
-          end,
-          [
-            'END_ENTITY',
-            ';'
-          ].join('')
-        ].join("\n")
-      end
-
-      def format_declarations_function(node)
-        [
-          [
-            'FUNCTION',
-            ' ',
-            node.id,
-            *if node.parameters.length > 0
-              parameter_indent = INDENT_CHAR * "FUNCTION #{node.id}(".length
-              [
-                '(',
-                node.parameters.map{|x| format(x)}.join(";\n#{parameter_indent}"),
-                ')'
-              ].join('')
-            end,
-            ' ',
-            ':',
-            ' ',
-            format(node.return_type),
-            ';'
-          ].join(''),
-          *if node.types.length > 0
-            indent(node.types.map{|x| format(x)}.join("\n"))
-          end,
-          *if node.entities.length > 0
-            indent(node.entities.map{|x| format(x)}.join("\n"))
-          end,
-          *if node.subtype_constraints.length > 0
-            indent(node.subtype_constraints.map{|x| format(x)}.join("\n"))
-          end,
-          *if node.functions.length > 0
-            indent(node.functions.map{|x| format(x)}.join("\n"))
-          end,
-          *if node.procedures.length > 0
-            indent(node.procedures.map{|x| format(x)}.join("\n"))
-          end,
-          *if node.constants.length > 0
-            indent([
-              'CONSTANT',
-              indent(node.constants.map{|x| format(x)}.join("\n")),
-              [
-                'END_CONSTANT',
-                ';'
-              ].join('')
-            ].join("\n"))
-          end,
-          *if node.variables.length > 0
-            indent([
-              'LOCAL',
-              indent(node.variables.map{|x| format(x)}.join("\n")),
-              [
-                'END_LOCAL',
-                ';'
-              ].join('')
-            ].join("\n"))
-          end,
-          *if node.statements.length > 0
-            indent(node.statements.map{|x| format(x)}.join("\n"))
-          end,
-          [
-            'END_FUNCTION',
-            ';'
-          ].join('')
-        ].join("\n")
-      end
-
-      def format_declarations_interface(node)
-        [
-          case node.kind
-            when Model::Declarations::Interface::USE then 'USE'
-            when Model::Declarations::Interface::REFERENCE then 'REFERENCE'
-          end,
-          ' ',
-          'FROM',
-          ' ',
-          format(node.schema),
-          *if node.items.length > 0
-            item_indent = INDENT_CHAR * '('.length
-            [
-              "\n",
-              indent([
-                '(',
-                node.items.map{|x| format(x)}.join(",\n#{item_indent}"),
-                ')'
-              ].join(''))
-            ].join('')
-          end,
-          ';',
-        ].join('')
-      end
-
-      def format_declarations_interface_item(node)
-        [
-          format(node.ref),
-          *if node.id
-            [
-              ' ',
-              'AS',
-              ' ',
-              node.id
-            ]
-          end
-        ].join('')
-      end
-
-      def format_declarations_parameter(node)
-        [
-          *if node.var
-            [
-              'VAR',
-              ' '
-            ].join('')
-          end,
-          node.id,
-          ' ',
-          ':',
-          ' ',
-          format(node.type)
-        ].join('')
-      end
-
-      def format_declarations_procedure(node)
-        [
-          [
-            'PROCEDURE',
-            ' ',
-            node.id,
-            *if node.parameters.length > 0
-              parameter_indent = INDENT_CHAR * "PROCEDURE #{node.id}(".length
-              [
-                '(',
-                node.parameters.map{|x| format(x)}.join(";\n#{parameter_indent}"),
-                ')'
-              ].join('')
-            end,
-            ';'
-          ].join(''),
-          *if node.types.length > 0
-            indent(node.types.map{|x| format(x)}.join("\n"))
-          end,
-          *if node.entities.length > 0
-            indent(node.entities.map{|x| format(x)}.join("\n"))
-          end,
-          *if node.subtype_constraints.length > 0
-            indent(node.subtype_constraints.map{|x| format(x)}.join("\n"))
-          end,
-          *if node.functions.length > 0
-            indent(node.functions.map{|x| format(x)}.join("\n"))
-          end,
-          *if node.procedures.length > 0
-            indent(node.procedures.map{|x| format(x)}.join("\n"))
-          end,
-          *if node.constants.length > 0
-            indent([
-              'CONSTANT',
-              indent(node.constants.map{|x| format(x)}.join("\n")),
-              [
-                'END_CONSTANT',
-                ';'
-              ].join('')
-            ].join("\n"))
-          end,
-          *if node.variables.length > 0
-            indent([
-              'LOCAL',
-              indent(node.variables.map{|x| format(x)}.join("\n")),
-              [
-                'END_LOCAL',
-                ';'
-              ].join('')
-            ].join("\n"))
-          end,
-          *if node.statements.length > 0
-            indent(node.statements.map{|x| format(x)}.join("\n"))
-          end,
-          [
-            'END_PROCEDURE',
-            ';'
-          ].join('')
-        ].join("\n")
-      end
-
-      def format_declarations_rule(node)
-        [
-          [
-            'RULE',
-            ' ',
-            node.id,
-            ' ',
-            'FOR',
-            ' ',
-            '(',
-            node.applies_to.map{|x| format(x)}.join(', '),
-            ')',
-            ';'
-          ].join(''),
-          *if node.types.length > 0
-            indent(node.types.map{|x| format(x)}.join("\n"))
-          end,
-          *if node.entities.length > 0
-            indent(node.entities.map{|x| format(x)}.join("\n"))
-          end,
-          *if node.subtype_constraints.length > 0
-            indent(node.subtype_constraints.map{|x| format(x)}.join("\n"))
-          end,
-          *if node.functions.length > 0
-            indent(node.functions.map{|x| format(x)}.join("\n"))
-          end,
-          *if node.procedures.length > 0
-            indent(node.procedures.map{|x| format(x)}.join("\n"))
-          end,
-          *if node.constants.length > 0
-            indent([
-              'CONSTANT',
-              indent(node.constants.map{|x| format(x)}.join("\n")),
-              [
-                'END_CONSTANT',
-                ';'
-              ].join('')
-            ].join("\n"))
-          end,
-          *if node.variables.length > 0
-            indent([
-              'LOCAL',
-              indent(node.variables.map{|x| format(x)}.join("\n")),
-              [
-                'END_LOCAL',
-                ';'
-              ].join('')
-            ].join("\n"))
-          end,
-          *if node.statements.length > 0
-            indent(node.statements.map{|x| format(x)}.join("\n"))
-          end,
-          *if node.where_rules.length > 0
-            [
-              'WHERE',
-              indent(node.where_rules.map{|x| format(x)}.join("\n"))
-            ]
-          end,
-          [
-            'END_RULE',
-            ';'
-          ].join('')
-        ].join("\n")
-      end
-
-      def format_declarations_schema_head(node)
-        [
-          [
-            'SCHEMA',
-            ' ',
-            node.id,
-            *if node.version
-              [
-                ' ',
-                format(node.version),
-              ].join('')
-            end,
-            ';'
-          ].join(''),
-          *if node.interfaces.length > 0
-            [
-              '',
-              node.interfaces.map{|x| format(x)}.join("\n")
-            ]
-          end
-        ].join("\n")
-      end
-
-      def format_declarations_schema(node)
-        schema_declarations = [
-          *if node.constants.length > 0
-            [
-              'CONSTANT',
-              indent(node.constants.map{|x| format(x)}.join("\n")),
-              [
-                'END_CONSTANT',
-                ';'
-              ].join('')
-            ].join("\n")
-          end,
-          *if node.types.length > 0
-            node.types.map{|x| format(x)}
-          end,
-          *if node.entities.length > 0
-            node.entities.map{|x| format(x)}
-          end,
-          *if node.subtype_constraints.length > 0
-            node.subtype_constraints.map{|x| format(x)}
-          end,
-          *if node.functions.length > 0
-            node.functions.map{|x| format(x)}
-          end,
-          *if node.rules.length > 0
-            node.rules.map{|x| format(x)}
-          end,
-          *if node.procedures and node.procedures.length > 0
-            node.procedures.map{|x| format(x)}
-          end
-        ]
-
-        [
-          format_declarations_schema_head(node),
-          *if schema_declarations.length > 0
-            [
-              '',
-              schema_declarations.join("\n\n"),
-              ''
-            ]
-          end,
-          [
-            'END_SCHEMA',
-            ';'
-          ].join(''),
-          *format_scope_remarks(node)
-        ].join("\n")
-      end
-
-      def format_declarations_schema_version(node)
-        [
-          "'",
-          node.value,
-          "'"
-        ].join('')
-      end
-
-      def format_declarations_subtype_constraint(node)
-        [
-          [
-            'SUBTYPE_CONSTRAINT',
-            ' ',
-            node.id,
-            ' ',
-            'FOR',
-            ' ',
-            format(node.applies_to),
-            ';'
-          ].join(''),
-          *if node.abstract
-            indent([
-              'ABSTRACT',
-              ' ',
-              'SUPERTYPE',
-              ';'
-            ].join(''))
-          end,
-          *if node.total_over.length > 0
-            indent([
-              'TOTAL_OVER',
-              '(',
-              node.total_over.map{|x| format(x)}.join(', '),
-              ')',
-              ';'
-            ].join(''))
-          end,
-          *if node.supertype_expression
-            indent([
-              format(node.supertype_expression),
-              ';'
-            ].join(''))
-          end,
-          [
-            'END_SUBTYPE_CONSTRAINT',
-            ';'
-          ].join('')
-        ].join("\n")
-      end
-
-      def format_declarations_type(node)
-        [
-          [
-            'TYPE',
-            ' ',
-            node.id,
-            ' ',
-            '=',
-            ' ',
-            format(node.underlying_type),
-            ';',
-          ].join(''),
-          *if node.where_rules.length > 0
-            [
-              'WHERE',
-              indent(node.where_rules.map{|x| format(x)}.join("\n"))
-            ]
-          end,
-          [
-            'END_TYPE',
-            ';'
-          ].join('')
-        ].join("\n")
-      end
-
-      def format_declarations_unique_rule(node)
-        [
-          *if node.id
-            [
-              node.id,
-              ':',
-              ' '
-            ].join('')
-          end,
-          node.attributes.map{|x| format(x)}.join(', '),
-          ';'
-        ].join('')
-      end
+      }.freeze
 
-      def format_declarations_variable(node)
-        [
-          node.id,
-          ' ',
-          ':',
-          ' ',
-          format(node.type),
-          *if node.expression
-            [
-              ' ',
-              ':=',
-              ' ',
-              format(node.expression),
-            ].join('')
-          end,
-          ';'
-        ].join('')
-      end
-
-      def format_declarations_where_rule(node)
-        [
-          *if node.id
-            [
-              node.id,
-              ':',
-              ' '
-            ].join('')
-          end,
-          format(node.expression),
-          ';'
-        ].join('')
-      end
-
-      def format_expressions_aggregate_initializer(node)
-        [
-          '[',
-          node.items.map{|x| format(x)}.join(', '),
-          ']'
-        ].join('')
-      end
-
-      def format_expressions_aggregate_initializer_item(node)
-        [
-          format(node.expression),
-          ':',
-          format(node.repetition)
-        ].join('')
-      end
-
-      def format_expressions_binary_expression(node)
-        [
-          *if node.operand1.is_a? Model::Expressions::BinaryExpression and OPERATOR_PRECEDENCE[node.operand1.operator] > OPERATOR_PRECEDENCE[node.operator]
-            '('
-          end,
-          format(node.operand1),
-          *if node.operand1.is_a? Model::Expressions::BinaryExpression and OPERATOR_PRECEDENCE[node.operand1.operator] > OPERATOR_PRECEDENCE[node.operator]
-            ')'
-          end,
-          ' ',
-          case node.operator
-            when Model::Expressions::BinaryExpression::ADDITION then '+'
-            when Model::Expressions::BinaryExpression::AND then 'AND'
-            when Model::Expressions::BinaryExpression::COMBINE then '||'
-            when Model::Expressions::BinaryExpression::EQUAL then '='
-            when Model::Expressions::BinaryExpression::EXPONENTIATION then '**'
-            when Model::Expressions::BinaryExpression::GREATER_THAN then '>'
-            when Model::Expressions::BinaryExpression::GREATER_THAN_OR_EQUAL then '>='
-            when Model::Expressions::BinaryExpression::IN then 'IN'
-            when Model::Expressions::BinaryExpression::INSTANCE_EQUAL then ':=:'
-            when Model::Expressions::BinaryExpression::INSTANCE_NOT_EQUAL then ':<>:'
-            when Model::Expressions::BinaryExpression::INTEGER_DIVISION then 'DIV'
-            when Model::Expressions::BinaryExpression::LESS_THAN then '<'
-            when Model::Expressions::BinaryExpression::LESS_THAN_OR_EQUAL then '<='
-            when Model::Expressions::BinaryExpression::LIKE then 'LIKE'
-            when Model::Expressions::BinaryExpression::MODULO then 'MOD'
-            when Model::Expressions::BinaryExpression::MULTIPLICATION then '*'
-            when Model::Expressions::BinaryExpression::NOT_EQUAL then '<>'
-            when Model::Expressions::BinaryExpression::OR then 'OR'
-            when Model::Expressions::BinaryExpression::REAL_DIVISION then '/'
-            when Model::Expressions::BinaryExpression::SUBTRACTION then '-'
-            when Model::Expressions::BinaryExpression::XOR then 'XOR'
-          end,
-          ' ',
-          *if node.operand2.is_a? Model::Expressions::BinaryExpression and OPERATOR_PRECEDENCE[node.operand2.operator] > OPERATOR_PRECEDENCE[node.operator]
-            '('
-          end,
-          format(node.operand2),
-          *if node.operand2.is_a? Model::Expressions::BinaryExpression and OPERATOR_PRECEDENCE[node.operand2.operator] > OPERATOR_PRECEDENCE[node.operator]
-            ')'
-          end,
-        ].join('')
-      end
+      attr_accessor :no_remarks
 
-      def format_expressions_entity_constructor(node)
-        [
-          format(node.entity),
-          '(',
-          node.parameters.map{|x| format(x)}.join(', '),
-          ')'
-        ].join('')
+      def initialize(no_remarks: false)
+        @no_remarks = no_remarks
       end
 
-      def format_expressions_function_call(node)
-        [
-          format(node.function),
-          '(',
-          node.parameters.map{|x| format(x)}.join(', '),
-          ')'
-        ].join('')
-      end
-
-      def format_expressions_interval(node)
-        [
-          '{',
-          format(node.low),
-          ' ',
-          case node.operator1
-            when Model::Expressions::Interval::LESS_THAN then '<'
-            when Model::Expressions::Interval::LESS_THAN_OR_EQUAL then '<='
-          end,
-          ' ',
-          format(node.item),
-          ' ',
-          case node.operator2
-            when Model::Expressions::Interval::LESS_THAN then '<'
-            when Model::Expressions::Interval::LESS_THAN_OR_EQUAL then '<='
-          end,
-          ' ',
-          format(node.high),
-          '}'
-        ].join('')
-      end
-
-      def format_expressions_query_expression(node)
-        [
-          'QUERY',
-          '(',
-          node.id,
-          ' ',
-          '<*',
-          ' ',
-          format(node.aggregate_source),
-          ' ',
-          '|',
-          ' ',
-          format(node.expression),
-          *format_remarks(node).instance_eval{|x| x.length > 0 ? ["\n", *x, "\n"] : x},
-          ')'
-        ].join('')
-      end
-
-      def format_expressions_unary_expression(node)
-        [
-          case node.operator
-            when Model::Expressions::UnaryExpression::MINUS then '-'
-            when Model::Expressions::UnaryExpression::NOT then 'NOT'
-            when Model::Expressions::UnaryExpression::PLUS then '+'
-          end,
-          if node.operator == Model::Expressions::UnaryExpression::NOT
-            ' '
-          end,
-          *if node.operand.is_a? Model::Expressions::BinaryExpression
-            '('
-          end,
-          format(node.operand),
-          *if node.operand.is_a? Model::Expressions::BinaryExpression
-            ')'
-          end
-        ].join('')
-      end
-
-      def format_literals_binary(node)
-        [
-          '%',
-          node.value
-        ].join('')
-      end
-
-      def format_literals_integer(node)
-        node.value
-      end
-
-      def format_literals_logical(node)
-        case node.value
-          when Model::Literals::Logical::TRUE then 'TRUE'
-          when Model::Literals::Logical::FALSE then 'FALSE'
-          when Model::Literals::Logical::UNKNOWN then 'UNKNOWN'
-        end
+      def self.format(node)
+        new.format(node)
       end
 
-      def format_literals_real(node)
-        node.value
-      end
+      def format(node)
+        return "" if node.nil?
 
-      def format_literals_string(node)
-        if node.encoded
-          [
-            "\"",
-            node.value,
-            "\""
-          ].join('')
-        else
-          [
-            "'",
-            node.value,
-            "'"
-          ].join('')
+        handler = self.class.format_registry[node.class]
+        unless handler
+          warn "#{node.class.name} format not implemented"
+          return ""
         end
-      end
-
-      def format_references_attribute_reference(node)
-        [
-          format(node.ref),
-          '.',
-          format(node.attribute)
-        ].join('')
-      end
-
-      def format_references_group_reference(node)
-        [
-          format(node.ref),
-          '\\',
-          format(node.entity)
-        ].join('')
-      end
-
-      def format_references_index_reference(node)
-        [
-          format(node.ref),
-          '[',
-          format(node.index1),
-          *if node.index2
-            [
-              ':',
-              format(node.index2)
-            ].join('')
-          end,
-          ']'
-        ].join('')
-      end
-
-      def format_references_simple_reference(node)
-        node.id
-      end
-
-      def format_statements_alias(node)
-        [
-          [
-            'ALIAS',
-            ' ',
-            node.id,
-            ' ',
-            'FOR',
-            ' ',
-            format(node.expression),
-            ';'
-          ].join(''),
-          *if node.statements.length > 0
-            indent(node.statements.map{|x| format(x)}.join("\n"))
-          end,
-          *format_remarks(node),
-          [
-            'END_ALIAS',
-            ';'
-          ].join('')
-        ].join("\n")
-      end
-
-      def format_statements_assignment(node)
-        [
-          format(node.ref),
-          ' ',
-          ':=',
-          ' ',
-          format(node.expression),
-          ';'
-        ].join('')
-      end
-
-      def format_statements_procedure_call(node)
-        [
-          format(node.procedure),
-          *if node.parameters.length > 0
-            [
-              '(',
-              node.parameters.map{|x| format(x)}.join(', '),
-              ')'
-            ].join('')
-          end,
-          ';'
-        ].join('')
-      end
-
-      def format_statements_case(node)
-        [
-          [
-            'CASE',
-            ' ',
-            format(node.expression),
-            ' ',
-            'OF'
-          ].join(''),
-          *if node.actions.length > 0
-            node.actions.map{|x| format(x)}
-          end,
-          *if node.otherwise_statement
-            [
-              [
-                'OTHERWISE',
-                ' ',
-                ':'
-              ].join(''),
-              indent(format(node.otherwise_statement))
-            ]
-          end,
-          [
-            'END_CASE',
-            ';'
-          ].join('')
-        ].join("\n")
-      end
-
-      def format_statements_case_action(node)
-        [
-          [
-            node.labels.map{|x| format(x)}.join(', '),
-            ' ',
-            ':'
-          ].join(''),
-          indent(format(node.statement))
-        ].join("\n")
-      end
-
-      def format_statements_compound(node)
-        [
-          'BEGIN',
-          *if node.statements.length > 0
-            indent(node.statements.map{|x| format(x)}.join("\n"))
-          end,
-          [
-            'END',
-            ';'
-          ].join('')
-        ].join("\n")
-      end
-
-      def format_statements_escape(node)
-        [
-          'ESCAPE',
-          ';'
-        ].join('')
-      end
-
-      def format_statements_if(node)
-        [
-          [
-            'IF',
-            ' ',
-            format(node.expression),
-            ' ',
-            'THEN'
-          ].join(''),
-          *if node.statements.length > 0
-            indent(node.statements.map{|x| format(x)}.join("\n"))
-          end,
-          *if node.else_statements.length > 0
-            [
-              'ELSE',
-              indent(node.else_statements.map{|x| format(x)}.join("\n")),
-            ].join("\n")
-          end,
-          [
-            'END_IF',
-            ';'
-          ].join('')
-        ].join("\n")
-      end
-
-      def format_statements_null(node)
-        ';'
-      end
-
-      def format_statements_repeat(node)
-        [
-          [
-            'REPEAT',
-            *if node.id
-              [
-                ' ',
-                node.id,
-                ' ',
-                ':=',
-                ' ',
-                format(node.bound1),
-                ' ',
-                'TO',
-                ' ',
-                format(node.bound2),
-                *if node.increment
-                  [
-                    ' ',
-                    'BY',
-                    ' ',
-                    format(node.increment)
-                  ].join('')
-                end
-              ].join('')
-            end,
-            *if node.while_expression
-              [
-                ' ',
-                'WHILE',
-                ' ',
-                format(node.while_expression)
-              ].join('')
-            end,
-            *if node.until_expression
-              [
-                ' ',
-                'UNTIL',
-                ' ',
-                format(node.until_expression)
-              ].join('')
-            end,
-            ';'
-          ].join(''),
-          *if node.statements.length > 0
-            indent(node.statements.map{|x| format(x)}.join("\n"))
-          end,
-          *format_remarks(node),
-          [
-            'END_REPEAT',
-            ';'
-          ].join('')
-        ].join("\n")
-      end
 
-      def format_statements_return(node)
-        [
-          'RETURN',
-          *if node.expression
-            [
-              ' ',
-              '(',
-              format(node.expression),
-              ')'
-            ].join('')
-          end,
-          ';'
-        ].join('')
+        place_remarks(send(handler, node), node)
       end
 
-      def format_statements_skip(node)
-        [
-          'SKIP',
-          ';'
-        ].join('')
-      end
-
-      def format_supertype_expressions_binary_supertype_expression(node)
-        [
-          *if node.operand1.is_a? Model::SupertypeExpressions::BinarySupertypeExpression and SUPERTYPE_OPERATOR_PRECEDENCE[node.operand1.operator] > SUPERTYPE_OPERATOR_PRECEDENCE[node.operator]
-            '('
-          end,
-          format(node.operand1),
-          *if node.operand1.is_a? Model::SupertypeExpressions::BinarySupertypeExpression and SUPERTYPE_OPERATOR_PRECEDENCE[node.operand1.operator] > SUPERTYPE_OPERATOR_PRECEDENCE[node.operator]
-            ')'
-          end,
-          ' ',
-          case node.operator
-            when Model::SupertypeExpressions::BinarySupertypeExpression::AND then 'AND'
-            when Model::SupertypeExpressions::BinarySupertypeExpression::ANDOR then 'ANDOR'
-          end,
-          ' ',
-          *if node.operand2.is_a? Model::SupertypeExpressions::BinarySupertypeExpression and SUPERTYPE_OPERATOR_PRECEDENCE[node.operand2.operator] > SUPERTYPE_OPERATOR_PRECEDENCE[node.operator]
-            '('
-          end,
-          format(node.operand2),
-          *if node.operand2.is_a? Model::SupertypeExpressions::BinarySupertypeExpression and SUPERTYPE_OPERATOR_PRECEDENCE[node.operand2.operator] > SUPERTYPE_OPERATOR_PRECEDENCE[node.operator]
-            ')'
-          end,
-        ].join('')
-      end
-
-      def format_supertype_expressions_oneof_supertype_expression(node)
-        [
-          'ONEOF',
-          '(',
-          node.operands.map{|x| format(x)}.join(', '),
-          ')'
-        ].join('')
-      end
-
-      def format_data_types_aggregate(node)
-        'AGGREGATE'
-      end
-
-      def format_data_types_array(node)
-        [
-          'ARRAY',
-          *if node.bound1 and node.bound2
-            [
-              ' ',
-              '[',
-              format(node.bound1),
-              ':',
-              format(node.bound2),
-              ']',
-            ].join('')
-          end,
-          ' ',
-          'OF',
-          *if node.optional
-            [
-              ' ',
-              'OPTIONAL'
-            ].join('')
-          end,
-          *if node.unique
-            [
-              ' ',
-              'UNIQUE'
-            ].join('')
-          end,
-          ' ',
-          format(node.base_type)
-        ].join('')
-      end
-
-      def format_data_types_bag(node)
-        [
-          'BAG',
-          *if node.bound1 and node.bound2
-            [
-              ' ',
-              '[',
-              format(node.bound1),
-              ':',
-              format(node.bound2),
-              ']',
-            ].join('')
-          end,
-          ' ',
-          'OF',
-          ' ',
-          format(node.base_type)
-        ].join('')
-      end
-
-      def format_data_types_binary(node)
-        [
-          'BINARY',
-          *if node.width
-            [
-              ' ',
-              '(',
-              format(node.width),
-              ')'
-            ].join('')
-          end,
-          *if node.fixed
-            [
-              ' ',
-              'FIXED'
-            ].join('')
-          end
-        ].join('')
-      end
-
-      def format_data_types_boolean(node)
-        'BOOLEAN'
-      end
-
-      def format_data_types_enumeration(node)
-        [
-          *if node.extensible
-            [
-              'EXTENSIBLE',
-              ' '
-            ].join('')
-          end,
-          'ENUMERATION',
-          *if node.based_on
-            [
-              ' ',
-              'BASED_ON',
-              ' ',
-              format(node.based_on),
-              *if node.items.length > 0
-                item_indent = INDENT_CHAR * '('.length
-                [
-                  ' ',
-                  'WITH',
-                  "\n",
-                  indent([
-                    '(',
-                    node.items.map{|x| format(x)}.join(",\n#{item_indent}"),
-                    ')'
-                  ].join(''))
-                ].join('')
-              end
-            ].join('')
-          else
-            [
-              *if node.items.length > 0
-                item_indent = INDENT_CHAR * '('.length
-                [
-                  ' ',
-                  'OF',
-                  "\n",
-                  indent([
-                    '(',
-                    node.items.map{|x| format(x)}.join(",\n#{item_indent}"),
-                    ')'
-                  ].join(''))
-                ].join('')
-              end
-            ].join('')
-          end
-        ].join('')
-      end
-
-      def format_data_types_enumeration_item(node)
-        node.id
-      end
-
-      def format_data_types_generic_entity(node)
-        [
-          'GENERIC_ENTITY',
-          *if node.id
-            [
-              ':',
-              node.id
-            ]
-          end
-        ].join('')
-      end
-
-      def format_data_types_generic(node)
-        [
-          'GENERIC',
-          *if node.id
-            [
-              ':',
-              node.id
-            ]
-          end
-        ].join('')
-      end
+      private
 
-      def format_data_types_integer(node)
-        'INTEGER'
-      end
+      # Puts a node's remarks back around its formatted text. Each placement
+      # is written back a different way, and this is the one place that knows
+      # all three: an inline remark is appended after the whole statement, an
+      # opener remark is spliced onto its first line, and leading remarks go
+      # on lines above it.
+      #
+      # Some handlers return nil; appending and splicing must not turn that
+      # into "".
+      def place_remarks(formatted, node)
+        inline = format_inline_statement_remarks(node)
+        formatted += inline if formatted.is_a?(String) && !inline.empty?
+        formatted = splice_opener_remark(formatted,
+                                         format_opener_remarks(node))
 
-      def format_data_types_list(node)
-        [
-          'LIST',
-          *if node.bound1 and node.bound2
-            [
-              ' ',
-              '[',
-              format(node.bound1),
-              ':',
-              format(node.bound2),
-              ']',
-            ].join('')
-          end,
-          ' ',
-          'OF',
-          *if node.unique
-            [
-              ' ',
-              'UNIQUE'
-            ].join('')
-          end,
-          ' ',
-          format(node.base_type)
-        ].join('')
+        leading = format_leading_statement_remarks(node)
+        leading.empty? ? formatted : [*leading, formatted].join("\n")
       end
 
-      def format_data_types_logical(node)
-        'LOGICAL'
-      end
+      # A remark that trailed a compound statement's opening line goes back on
+      # that line. Appending it like an ordinary inline remark would carry the
+      # remark of `IF x THEN -- why` down past its END_IF.
+      def splice_opener_remark(formatted, opener)
+        return formatted unless formatted.is_a?(String) && !opener.empty?
 
-      def format_data_types_number(node)
-        'NUMBER'
+        head, newline, rest = formatted.partition("\n")
+        "#{head}#{opener}#{newline}#{rest}"
       end
 
-      def format_data_types_real(node)
-        [
-          'REAL',
-          *if node.precision
-            [
-              ' ',
-              '(',
-              format(node.precision),
-              ')'
-            ].join('')
-          end
-        ].join('')
+      def format_noop(_node)
+        ""
       end
 
-      def format_data_types_select(node)
-        [
-          *if node.extensible
-            [
-              'EXTENSIBLE',
-              ' '
-            ].join('')
-          end,
-          *if node.generic_entity
-            [
-              'GENERIC_ENTITY',
-              ' '
-            ].join('')
-          end,
-          'SELECT',
-          *if node.based_on
-            [
-              ' ',
-              'BASED_ON',
-              ' ',
-              format(node.based_on),
-              *if node.items.length > 0
-                item_indent = INDENT_CHAR * '('.length
-                [
-                  ' ',
-                  'WITH',
-                  "\n",
-                  indent([
-                    '(',
-                    node.items.map{|x| format(x)}.join(",\n#{item_indent}"),
-                    ')'
-                  ].join(''))
-                ].join('')
-              end
-            ].join('')
-          else
-            [
-              *if node.items.length > 0
-                item_indent = INDENT_CHAR * '('.length
-                [
-                  "\n",
-                  indent([
-                    '(',
-                    node.items.map{|x| format(x)}.join(",\n#{item_indent}"),
-                    ')'
-                  ].join(''))
-                ].join('')
-              end
-            ].join('')
-          end
-        ].join('')
-      end
-
-      def format_data_types_set(node)
-        [
-          'SET',
-          *if node.bound1 and node.bound2
-            [
-              ' ',
-              '[',
-              format(node.bound1),
-              ':',
-              format(node.bound2),
-              ']',
-            ].join('')
-          end,
-          ' ',
-          'OF',
-          ' ',
-          format(node.base_type)
-        ].join('')
+      def format_repository(node)
+        result = node.files&.map { |f| format(f) }&.join("\n\n")
+        result ? "#{result}\n" : ""
       end
 
-      def format_data_types_string(node)
-        [
-          'STRING',
-          *if node.width
-            [
-              ' ',
-              '(',
-              format(node.width),
-              ')'
-            ].join('')
-          end,
-          *if node.fixed
-            [
-              ' ',
-              'FIXED'
-            ].join('')
-          end
-        ].join('')
+      def format_exp_file(node)
+        result = node.schemas&.map { |x| format(x) }&.join("\n\n")
+        result ? "#{result}\n" : ""
       end
 
       def indent(str)
-        str.split("\n").map{|x| "#{INDENT}#{x}"}.join("\n")
-      end
-
-      def format_remark(node, remark)
-        if remark.include?("\n")
-          [
-            [
-              '(*',
-              '"',
-              node.path || node.id,
-              '"',
-            ].join(''),
-            remark,
-            '*)'
-          ].join("\n")
-        else
-          [
-            '--',
-            '"',
-            node.path || node.id,
-            '"',
-            ' ',
-            remark
-          ].join('')
-        end
-      end
+        return if str.nil?
 
-      def format_remarks(node)
-        if node.class.method_defined? :remarks
-          node.remarks.map do |remark|
-            format_remark(node, remark)
-          end
-        else
-          []
-        end
+        str.split("\n").map { |x| "#{INDENT}#{x}" }.join("\n")
       end
 
-      def format_scope_remarks(node)
-        [
-          *format_remarks(node),
-          *node.children.select{|x| !x.is_a? Model::DataTypes::EnumerationItem or node.is_a? Model::Declarations::Type}.flat_map{|x| format_scope_remarks(x)}
-        ]
-      end
+      # Handlers for types implemented directly in this class.
+      # Registered at the bottom so the methods exist when the
+      # registration-time method_defined? guard runs.
+      register_formatter Model::Repository, :format_repository
+      register_formatter Model::ExpFile, :format_exp_file
+      register_formatter Model::Declarations::SchemaVersionItem, :format_noop
+      register_formatter Model::Declarations::InterfacedItem, :format_noop
+      register_formatter Model::Cache, :format_noop
+      register_formatter Model::ModelElement, :format_noop
     end
   end
-end
+end