RubyGems - expressir - Versions diffs - 1.3.0-aarch64-linux-gnu - Mend

expressir 1.3.0-aarch64-linux-gnu

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (145) hide show

checksums.yaml +7 -0
data/.cross_rubies +20 -0
data/.github/workflows/rake.yml +313 -0
data/.github/workflows/release.yml +181 -0
data/.gitignore +23 -0
data/.gitmodules +6 -0
data/.hound.yml +3 -0
data/.rspec +2 -0
data/.rubocop.yml +18 -0
data/.yardopts +11 -0
data/Gemfile +4 -0
data/README.adoc +155 -0
data/Rakefile +17 -0
data/bin/console +11 -0
data/bin/rspec +29 -0
data/bin/setup +8 -0
data/docs/development.md +90 -0
data/exe/expressir +22 -0
data/exe/format +18 -0
data/exe/format-test +81 -0
data/exe/generate-parser +51 -0
data/expressir.gemspec +48 -0
data/lib/expressir/cli/ui.rb +36 -0
data/lib/expressir/cli.rb +21 -0
data/lib/expressir/config.rb +23 -0
data/lib/expressir/express/2.7/express_parser.so +0 -0
data/lib/expressir/express/3.0/express_parser.so +0 -0
data/lib/expressir/express/3.1/express_parser.so +0 -0
data/lib/expressir/express/3.2/express_parser.so +0 -0
data/lib/expressir/express/cache.rb +51 -0
data/lib/expressir/express/formatter.rb +1608 -0
data/lib/expressir/express/hyperlink_formatter.rb +36 -0
data/lib/expressir/express/model_visitor.rb +24 -0
data/lib/expressir/express/parser.rb +84 -0
data/lib/expressir/express/resolve_references_model_visitor.rb +31 -0
data/lib/expressir/express/schema_head_formatter.rb +23 -0
data/lib/expressir/express/visitor.rb +2588 -0
data/lib/expressir/model/cache.rb +17 -0
data/lib/expressir/model/data_type.rb +9 -0
data/lib/expressir/model/data_types/aggregate.rb +31 -0
data/lib/expressir/model/data_types/array.rb +31 -0
data/lib/expressir/model/data_types/bag.rb +25 -0
data/lib/expressir/model/data_types/binary.rb +22 -0
data/lib/expressir/model/data_types/boolean.rb +10 -0
data/lib/expressir/model/data_types/enumeration.rb +25 -0
data/lib/expressir/model/data_types/enumeration_item.rb +26 -0
data/lib/expressir/model/data_types/generic.rb +26 -0
data/lib/expressir/model/data_types/generic_entity.rb +26 -0
data/lib/expressir/model/data_types/integer.rb +10 -0
data/lib/expressir/model/data_types/list.rb +28 -0
data/lib/expressir/model/data_types/logical.rb +10 -0
data/lib/expressir/model/data_types/number.rb +10 -0
data/lib/expressir/model/data_types/real.rb +19 -0
data/lib/expressir/model/data_types/select.rb +28 -0
data/lib/expressir/model/data_types/set.rb +25 -0
data/lib/expressir/model/data_types/string.rb +22 -0
data/lib/expressir/model/declaration.rb +9 -0
data/lib/expressir/model/declarations/attribute.rb +47 -0
data/lib/expressir/model/declarations/constant.rb +34 -0
data/lib/expressir/model/declarations/entity.rb +53 -0
data/lib/expressir/model/declarations/function.rb +67 -0
data/lib/expressir/model/declarations/interface.rb +28 -0
data/lib/expressir/model/declarations/interface_item.rb +23 -0
data/lib/expressir/model/declarations/interfaced_item.rb +37 -0
data/lib/expressir/model/declarations/parameter.rb +34 -0
data/lib/expressir/model/declarations/procedure.rb +64 -0
data/lib/expressir/model/declarations/remark_item.rb +21 -0
data/lib/expressir/model/declarations/rule.rb +71 -0
data/lib/expressir/model/declarations/schema.rb +117 -0
data/lib/expressir/model/declarations/schema_version.rb +22 -0
data/lib/expressir/model/declarations/schema_version_item.rb +22 -0
data/lib/expressir/model/declarations/subtype_constraint.rb +40 -0
data/lib/expressir/model/declarations/type.rb +45 -0
data/lib/expressir/model/declarations/unique_rule.rb +31 -0
data/lib/expressir/model/declarations/variable.rb +34 -0
data/lib/expressir/model/declarations/where_rule.rb +31 -0
data/lib/expressir/model/expression.rb +9 -0
data/lib/expressir/model/expressions/aggregate_initializer.rb +19 -0
data/lib/expressir/model/expressions/aggregate_initializer_item.rb +22 -0
data/lib/expressir/model/expressions/binary_expression.rb +53 -0
data/lib/expressir/model/expressions/entity_constructor.rb +22 -0
data/lib/expressir/model/expressions/function_call.rb +22 -0
data/lib/expressir/model/expressions/interval.rb +34 -0
data/lib/expressir/model/expressions/query_expression.rb +35 -0
data/lib/expressir/model/expressions/unary_expression.rb +27 -0
data/lib/expressir/model/identifier.rb +34 -0
data/lib/expressir/model/literal.rb +9 -0
data/lib/expressir/model/literals/binary.rb +19 -0
data/lib/expressir/model/literals/integer.rb +19 -0
data/lib/expressir/model/literals/logical.rb +23 -0
data/lib/expressir/model/literals/real.rb +19 -0
data/lib/expressir/model/literals/string.rb +22 -0
data/lib/expressir/model/model_element.rb +208 -0
data/lib/expressir/model/reference.rb +9 -0
data/lib/expressir/model/references/attribute_reference.rb +22 -0
data/lib/expressir/model/references/group_reference.rb +22 -0
data/lib/expressir/model/references/index_reference.rb +27 -0
data/lib/expressir/model/references/simple_reference.rb +24 -0
data/lib/expressir/model/repository.rb +23 -0
data/lib/expressir/model/statement.rb +9 -0
data/lib/expressir/model/statements/alias.rb +35 -0
data/lib/expressir/model/statements/assignment.rb +22 -0
data/lib/expressir/model/statements/case.rb +25 -0
data/lib/expressir/model/statements/case_action.rb +22 -0
data/lib/expressir/model/statements/compound.rb +19 -0
data/lib/expressir/model/statements/escape.rb +10 -0
data/lib/expressir/model/statements/if.rb +25 -0
data/lib/expressir/model/statements/null.rb +10 -0
data/lib/expressir/model/statements/procedure_call.rb +22 -0
data/lib/expressir/model/statements/repeat.rb +47 -0
data/lib/expressir/model/statements/return.rb +19 -0
data/lib/expressir/model/statements/skip.rb +10 -0
data/lib/expressir/model/supertype_expression.rb +9 -0
data/lib/expressir/model/supertype_expressions/binary_supertype_expression.rb +29 -0
data/lib/expressir/model/supertype_expressions/oneof_supertype_expression.rb +19 -0
data/lib/expressir/model.rb +79 -0
data/lib/expressir/version.rb +3 -0
data/lib/expressir.rb +24 -0
data/rakelib/antlr4-native.rake +161 -0
data/rakelib/cross-ruby.rake +384 -0
data/spec/acceptance/version_spec.rb +27 -0
data/spec/expressir/express/cache_spec.rb +89 -0
data/spec/expressir/express/formatter_spec.rb +173 -0
data/spec/expressir/express/parser_spec.rb +141 -0
data/spec/expressir/model/model_element_spec.rb +318 -0
data/spec/spec_helper.rb +24 -0
data/spec/support/console_helper.rb +29 -0
data/spec/syntax/multiple.exp +23 -0
data/spec/syntax/multiple.yaml +198 -0
data/spec/syntax/multiple_formatted.exp +71 -0
data/spec/syntax/multiple_hyperlink_formatted.exp +71 -0
data/spec/syntax/multiple_schema_head_hyperlink_formatted.exp +13 -0
data/spec/syntax/remark.exp +193 -0
data/spec/syntax/remark.yaml +471 -0
data/spec/syntax/remark_formatted.exp +228 -0
data/spec/syntax/single.exp +4 -0
data/spec/syntax/single.yaml +18 -0
data/spec/syntax/single_formatted.exp +10 -0
data/spec/syntax/single_formatted.yaml +36 -0
data/spec/syntax/syntax.exp +333 -0
data/spec/syntax/syntax.yaml +3509 -0
data/spec/syntax/syntax_formatted.exp +902 -0
data/spec/syntax/syntax_hyperlink_formatted.exp +902 -0
data/spec/syntax/syntax_schema_head_formatted.exp +18 -0
metadata +390 -0

data/spec/syntax/remark.yaml ADDED Viewed

@@ -0,0 +1,471 @@
+---
+_class: Expressir::Model::Repository
+schemas:
+- _class: Expressir::Model::Declarations::Schema
+  file: spec/syntax/remark.exp
+  id: remark_schema
+  remarks:
+  - |-
+    Any character within the EXPRESS character set may occur between the start and end of
+    an embedded remark including the newline character; therefore, embedded remarks can span
+    several physical lines.
+  - The tail remark is written at the end of a physical line.
+  - 'UTF8 test: Příliš žluťoučký kůň úpěl ďábelské ódy.'
+  - universal scope - schema before
+  - universal scope - schema
+  remark_items:
+  - _class: Expressir::Model::Declarations::RemarkItem
+    id: remark_item
+    remarks:
+    - schema scope - schema remark item
+    - universal scope - schema remark item
+  constants:
+  - _class: Expressir::Model::Declarations::Constant
+    id: remark_constant
+    remarks:
+    - schema scope - constant
+    - universal scope - constant
+    type:
+      _class: Expressir::Model::DataTypes::String
+    expression:
+      _class: Expressir::Model::Literals::String
+      value: xxx
+  types:
+  - _class: Expressir::Model::Declarations::Type
+    id: remark_type
+    remarks:
+    - schema scope - type
+    - universal scope - type
+    underlying_type:
+      _class: Expressir::Model::DataTypes::Enumeration
+      items:
+      - _class: Expressir::Model::DataTypes::EnumerationItem
+        id: remark_enumeration_item
+        remarks:
+        - schema scope - enumeration item
+        - schema scope - enumeration item, on the same level as the type
+        - universal scope - enumeration item
+        - universal scope - enumeration item, on the same level as the type
+    where_rules:
+    - _class: Expressir::Model::Declarations::WhereRule
+      id: WR1
+      remarks:
+      - type scope - type where
+      - type scope - type where, with prefix
+      - schema scope - type where
+      - schema scope - type where, with prefix
+      - universal scope - type where
+      - universal scope - type where, with prefix
+      expression:
+        _class: Expressir::Model::Literals::Logical
+        value: :TRUE
+    informal_propositions:
+    - _class: Expressir::Model::Declarations::RemarkItem
+      id: IP1
+      remarks:
+      - type scope - type informal proposition
+      - type scope - type informal proposition, with prefix
+      - schema scope - type informal proposition
+      - schema scope - type informal proposition, with prefix
+      - universal scope - type informal proposition
+      - universal scope - type informal proposition, with prefix
+  entities:
+  - _class: Expressir::Model::Declarations::Entity
+    id: remark_entity
+    remarks:
+    - schema scope - entity
+    - universal scope - entity
+    attributes:
+    - _class: Expressir::Model::Declarations::Attribute
+      id: remark_attribute
+      remarks:
+      - entity scope - entity attribute
+      - schema scope - entity attribute
+      - universal scope - entity attribute
+      kind: :EXPLICIT
+      type:
+        _class: Expressir::Model::DataTypes::String
+    - _class: Expressir::Model::Declarations::Attribute
+      id: remark_derived_attribute
+      remarks:
+      - entity scope - entity derived attribute
+      - schema scope - entity derived attribute
+      - universal scope - entity derived attribute
+      kind: :DERIVED
+      type:
+        _class: Expressir::Model::DataTypes::String
+      expression:
+        _class: Expressir::Model::Literals::String
+        value: xxx
+    - _class: Expressir::Model::Declarations::Attribute
+      id: remark_inverse_attribute
+      remarks:
+      - entity scope - entity inverse attribute
+      - schema scope - entity inverse attribute
+      - universal scope - entity inverse attribute
+      kind: :INVERSE
+      type:
+        _class: Expressir::Model::References::SimpleReference
+        id: remark_entity
+        base_path: remark_schema.remark_entity
+      expression:
+        _class: Expressir::Model::References::SimpleReference
+        id: remark_attribute
+        base_path: remark_schema.remark_entity.remark_attribute
+    unique_rules:
+    - _class: Expressir::Model::Declarations::UniqueRule
+      id: UR1
+      remarks:
+      - entity scope - entity unique
+      - schema scope - entity unique
+      - universal scope - entity unique
+      attributes:
+      - _class: Expressir::Model::References::SimpleReference
+        id: remark_attribute
+        base_path: remark_schema.remark_entity.remark_attribute
+    where_rules:
+    - _class: Expressir::Model::Declarations::WhereRule
+      id: WR1
+      remarks:
+      - entity scope - entity where
+      - entity scope - entity where, with prefix
+      - schema scope - entity where
+      - schema scope - entity where, with prefix
+      - universal scope - entity where
+      - universal scope - entity where, with prefix
+      remark_items:
+      - _class: Expressir::Model::Declarations::RemarkItem
+        id: unusual_placement
+        remarks:
+        - placed inside WHERE clauses (or other enumerable context)
+      expression:
+        _class: Expressir::Model::Literals::Logical
+        value: :TRUE
+    informal_propositions:
+    - _class: Expressir::Model::Declarations::RemarkItem
+      id: IP1
+      remarks:
+      - entity scope - entity informal proposition
+      - entity scope - entity informal proposition, with prefix
+      - schema scope - entity informal proposition
+      - schema scope - entity informal proposition, with prefix
+      - universal scope - entity informal proposition
+      - universal scope - entity informal proposition, with prefix
+  subtype_constraints:
+  - _class: Expressir::Model::Declarations::SubtypeConstraint
+    id: remark_subtype_constraint
+    remarks:
+    - schema scope - subtype constraint
+    - universal scope - subtype constraint
+    applies_to:
+      _class: Expressir::Model::References::SimpleReference
+      id: remark_entity
+      base_path: remark_schema.remark_entity
+  functions:
+  - _class: Expressir::Model::Declarations::Function
+    id: remark_function
+    remarks:
+    - schema scope - function
+    - universal scope - function
+    parameters:
+    - _class: Expressir::Model::Declarations::Parameter
+      id: remark_parameter
+      remarks:
+      - function scope - function parameter
+      - schema scope - function parameter
+      - universal scope - function parameter
+      type:
+        _class: Expressir::Model::DataTypes::String
+    return_type:
+      _class: Expressir::Model::DataTypes::Boolean
+    types:
+    - _class: Expressir::Model::Declarations::Type
+      id: remark_type
+      remarks:
+      - function scope - function type
+      - schema scope - function type
+      - universal scope - function type
+      underlying_type:
+        _class: Expressir::Model::DataTypes::Enumeration
+        items:
+        - _class: Expressir::Model::DataTypes::EnumerationItem
+          id: remark_enumeration_item
+          remarks:
+          - function scope - function enumeration item
+          - function scope - function enumeration item, on the same level as the type
+          - schema scope - function enumeration item
+          - schema scope - function enumeration item, on the same level as the type
+          - universal scope - function enumeration item
+          - universal scope - function enumeration item, on the same level as the
+            type
+    constants:
+    - _class: Expressir::Model::Declarations::Constant
+      id: remark_constant
+      remarks:
+      - function scope - function constant
+      - schema scope - function constant
+      - universal scope - function constant
+      type:
+        _class: Expressir::Model::DataTypes::String
+      expression:
+        _class: Expressir::Model::Literals::String
+        value: xxx
+    variables:
+    - _class: Expressir::Model::Declarations::Variable
+      id: remark_variable
+      remarks:
+      - function scope - function variable
+      - schema scope - function variable
+      - universal scope - function variable
+      type:
+        _class: Expressir::Model::DataTypes::String
+    statements:
+    - _class: Expressir::Model::Statements::Alias
+      id: remark_alias
+      remarks:
+      - function alias scope - function alias
+      expression:
+        _class: Expressir::Model::References::SimpleReference
+        id: remark_variable
+        base_path: remark_schema.remark_function.remark_variable
+      statements:
+      - _class: Expressir::Model::Statements::Null
+    - _class: Expressir::Model::Statements::Repeat
+      id: remark_repeat
+      remarks:
+      - function repeat scope - function repeat
+      bound1:
+        _class: Expressir::Model::Literals::Integer
+        value: '1'
+      bound2:
+        _class: Expressir::Model::Literals::Integer
+        value: '9'
+      statements:
+      - _class: Expressir::Model::Statements::Null
+    - _class: Expressir::Model::Statements::Assignment
+      ref:
+        _class: Expressir::Model::References::SimpleReference
+        id: remark_variable
+        base_path: remark_schema.remark_function.remark_variable
+      expression:
+        _class: Expressir::Model::Expressions::QueryExpression
+        id: remark_query
+        remarks:
+        - function query scope - function query
+        aggregate_source:
+          _class: Expressir::Model::References::SimpleReference
+          id: remark_variable
+          base_path: remark_schema.remark_function.remark_variable
+        expression:
+          _class: Expressir::Model::Literals::Logical
+          value: :TRUE
+  rules:
+  - _class: Expressir::Model::Declarations::Rule
+    id: remark_rule
+    remarks:
+    - schema scope - rule
+    - universal scope - rule
+    applies_to:
+    - _class: Expressir::Model::References::SimpleReference
+      id: remark_entity
+      base_path: remark_schema.remark_entity
+    types:
+    - _class: Expressir::Model::Declarations::Type
+      id: remark_type
+      remarks:
+      - rule scope - rule type
+      - schema scope - rule type
+      - universal scope - rule type
+      underlying_type:
+        _class: Expressir::Model::DataTypes::Enumeration
+        items:
+        - _class: Expressir::Model::DataTypes::EnumerationItem
+          id: remark_enumeration_item
+          remarks:
+          - rule scope - rule enumeration item
+          - rule scope - rule enumeration item, on the same level as the type
+          - schema scope - rule enumeration item
+          - schema scope - rule enumeration item, on the same level as the type
+          - universal scope - rule enumeration item
+          - universal scope - rule enumeration item, on the same level as the type
+    constants:
+    - _class: Expressir::Model::Declarations::Constant
+      id: remark_constant
+      remarks:
+      - rule scope - rule constant
+      - schema scope - rule constant
+      - universal scope - rule constant
+      type:
+        _class: Expressir::Model::DataTypes::String
+      expression:
+        _class: Expressir::Model::Literals::String
+        value: xxx
+    variables:
+    - _class: Expressir::Model::Declarations::Variable
+      id: remark_variable
+      remarks:
+      - rule scope - rule variable
+      - schema scope - rule variable
+      - universal scope - rule variable
+      type:
+        _class: Expressir::Model::DataTypes::String
+    statements:
+    - _class: Expressir::Model::Statements::Alias
+      id: remark_alias
+      remarks:
+      - rule alias scope - rule alias
+      expression:
+        _class: Expressir::Model::References::SimpleReference
+        id: remark_variable
+        base_path: remark_schema.remark_rule.remark_variable
+      statements:
+      - _class: Expressir::Model::Statements::Null
+    - _class: Expressir::Model::Statements::Repeat
+      id: remark_repeat
+      remarks:
+      - rule repeat scope - rule repeat
+      bound1:
+        _class: Expressir::Model::Literals::Integer
+        value: '1'
+      bound2:
+        _class: Expressir::Model::Literals::Integer
+        value: '9'
+      statements:
+      - _class: Expressir::Model::Statements::Null
+    - _class: Expressir::Model::Statements::Assignment
+      ref:
+        _class: Expressir::Model::References::SimpleReference
+        id: remark_variable
+        base_path: remark_schema.remark_rule.remark_variable
+      expression:
+        _class: Expressir::Model::Expressions::QueryExpression
+        id: remark_query
+        remarks:
+        - rule query scope - rule query
+        aggregate_source:
+          _class: Expressir::Model::References::SimpleReference
+          id: remark_variable
+          base_path: remark_schema.remark_rule.remark_variable
+        expression:
+          _class: Expressir::Model::Literals::Logical
+          value: :TRUE
+    where_rules:
+    - _class: Expressir::Model::Declarations::WhereRule
+      id: WR1
+      remarks:
+      - rule scope - rule where
+      - rule scope - rule where, with prefix
+      - schema scope - rule where
+      - schema scope - rule where, with prefix
+      - universal scope - rule where
+      - universal scope - rule where, with prefix
+      expression:
+        _class: Expressir::Model::Literals::Logical
+        value: :TRUE
+    informal_propositions:
+    - _class: Expressir::Model::Declarations::RemarkItem
+      id: IP1
+      remarks:
+      - rule scope - rule informal proposition
+      - rule scope - rule informal proposition, with prefix
+      - schema scope - rule informal proposition
+      - schema scope - rule informal proposition, with prefix
+      - universal scope - rule informal proposition
+      - universal scope - rule informal proposition, with prefix
+  procedures:
+  - _class: Expressir::Model::Declarations::Procedure
+    id: remark_procedure
+    remarks:
+    - schema scope - procedure
+    - universal scope - procedure
+    parameters:
+    - _class: Expressir::Model::Declarations::Parameter
+      id: remark_parameter
+      remarks:
+      - procedure scope - procedure parameter
+      - schema scope - procedure parameter
+      - universal scope - procedure parameter
+      type:
+        _class: Expressir::Model::DataTypes::String
+    types:
+    - _class: Expressir::Model::Declarations::Type
+      id: remark_type
+      remarks:
+      - procedure scope - procedure type
+      - schema scope - procedure type
+      - universal scope - procedure type
+      underlying_type:
+        _class: Expressir::Model::DataTypes::Enumeration
+        items:
+        - _class: Expressir::Model::DataTypes::EnumerationItem
+          id: remark_enumeration_item
+          remarks:
+          - procedure scope - procedure enumeration item
+          - procedure scope - procedure enumeration item, on the same level as the
+            type
+          - schema scope - procedure enumeration item
+          - schema scope - procedure enumeration item, on the same level as the type
+          - universal scope - procedure enumeration item
+          - universal scope - procedure enumeration item, on the same level as the
+            type
+    constants:
+    - _class: Expressir::Model::Declarations::Constant
+      id: remark_constant
+      remarks:
+      - procedure scope - procedure constant
+      - schema scope - procedure constant
+      - universal scope - procedure constant
+      type:
+        _class: Expressir::Model::DataTypes::String
+      expression:
+        _class: Expressir::Model::Literals::String
+        value: xxx
+    variables:
+    - _class: Expressir::Model::Declarations::Variable
+      id: remark_variable
+      remarks:
+      - procedure scope - procedure variable
+      - schema scope - procedure variable
+      - universal scope - procedure variable
+      type:
+        _class: Expressir::Model::DataTypes::String
+    statements:
+    - _class: Expressir::Model::Statements::Alias
+      id: remark_alias
+      remarks:
+      - procedure alias scope - procedure alias
+      expression:
+        _class: Expressir::Model::References::SimpleReference
+        id: remark_variable
+        base_path: remark_schema.remark_procedure.remark_variable
+      statements:
+      - _class: Expressir::Model::Statements::Null
+    - _class: Expressir::Model::Statements::Repeat
+      id: remark_repeat
+      remarks:
+      - procedure repeat scope - procedure repeat
+      bound1:
+        _class: Expressir::Model::Literals::Integer
+        value: '1'
+      bound2:
+        _class: Expressir::Model::Literals::Integer
+        value: '9'
+      statements:
+      - _class: Expressir::Model::Statements::Null
+    - _class: Expressir::Model::Statements::Assignment
+      ref:
+        _class: Expressir::Model::References::SimpleReference
+        id: remark_variable
+        base_path: remark_schema.remark_procedure.remark_variable
+      expression:
+        _class: Expressir::Model::Expressions::QueryExpression
+        id: remark_query
+        remarks:
+        - procedure query scope - procedure query
+        aggregate_source:
+          _class: Expressir::Model::References::SimpleReference
+          id: remark_variable
+          base_path: remark_schema.remark_procedure.remark_variable
+        expression:
+          _class: Expressir::Model::Literals::Logical
+          value: :TRUE