expressir 0.2.27-x64-mingw32 → 1.0.0-x64-mingw32

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 88db9468c402096775bd62accb0f5fe8044da37e3fbcf87e1f36a5c1b4c4df58
-  data.tar.gz: 1ae937f7d24a422d9adb5eef33c523485a67c38283f16bda6154e52b0cc1bb2b
+  metadata.gz: 524f9787ee132949519e6b56822b58eb0910ee495b72b3b1d69d86b4ca4a03fa
+  data.tar.gz: f5d17ab192c12b00ce3989cb3e99d4a28860a1a351378629f4b2c1a8b0c15f92
 SHA512:
-  metadata.gz: fc0e1b1f5abab4c07f24cb7d47d6a707ba139496a7b553c22b96107776e37ec84f60edc46c9c05558b9388e682bdbbee126c08a5001a9ae1adabcbce51b7b773
-  data.tar.gz: 8db9e5799d8bd2ab3533939220fc729ed00813379319beabbb1c629e8b53f598c649fe4246b295f16d9510e8d6d3a9344619f0a4925cf6a9c1aff0c0611d6ffb
+  metadata.gz: 596f14c10681fba0722411fa2e7faf6a05cc2672246966cab050555ac1c356d5ffb6da03b8f97db6b3f844a21a30771449fdeee1933df431698dd753d7cfc194
+  data.tar.gz: 8a400fb1f40afc39a884b7dd8d205a59d3e4fd771362c64c2d6bc0e46384568b7aa122a66ed13416b479fc8440f3d1ef8b0980a6ec3f5a9c1cf8e9db21467c8a

data/.github/workflows/rake.yml

@@ -42,10 +42,10 @@ jobs:
 
       - uses: actions/cache@v2
         with:
-          path: lib/expressir/express_exp/express_parser.*
-          key: v3-${{ runner.os }}-${{ matrix.ruby }}-${{ hashFiles('ext/express-parser/extconf.rb', 'ext/express-parser/antlrgen/**', 'ext/express-parser/express_parser.cpp', '.git/modules/ext/express-parser/antlr4-upstream/HEAD') }}
+          path: lib/expressir/express/express_parser.*
+          key: v4-${{ runner.os }}-${{ matrix.ruby }}-${{ hashFiles('ext/express-parser/extconf.rb', 'ext/express-parser/antlrgen/**', 'ext/express-parser/express_parser.cpp', '.git/modules/ext/express-parser/antlr4-upstream/HEAD') }}
 
-      - if: hashFiles('lib/expressir/express_exp/express_parser.*') == ''
+      - if: hashFiles('lib/expressir/express/express_parser.*') == ''
         run: bundle exec rake compile
 
       - run: bundle exec rake

data/.gitignore

@@ -8,8 +8,8 @@
 /tmp/
 /Gemfile.lock
 /.idea
-/lib/expressir/express_exp/express_parser.bundle
-/original/examples/syntax/*-pretty.exp
+/lib/expressir/express/express_parser.bundle
+/spec/syntax/*-pretty.exp
 
 # rspec failure tracking
 .rspec_status

data/demo.rb

@@ -1,18 +1,18 @@
 #!/usr/bin/env ruby
 
 require 'expressir'
-require 'expressir/express_exp/parser'
+require 'expressir/express/parser'
 
 # This file is from:
 # https://github.com/metanorma/annotated-express/blob/master/data/resources/action_schema/action_schema.exp
 file = 'action_schema.exp'
 
-# repo = Expressir::ExpressExp::Parser.from_exp(file)
+# repo = Expressir::Express::Parser.from_exp(file)
 # schema = repo.schemas.find{|schema| schema.id == "support_resource_schema"}
 
-repo = Expressir::ExpressExp::Parser.from_exp(file)
+repo = Expressir::Express::Parser.from_exp(file)
 schema = repo.schemas.find{|schema| schema.id == "action_schema"}
 entity = schema.entities.find{|entity| entity.id == "action_directive_relationship"}
-where = entity.where.find{|where| where.id == "WR1"}
+where_rule = entity.where_rules.find{|where_rule| where_rule.id == "WR1"}
 
-puts where.inspect
+puts where_rule.inspect

data/exe/format

@@ -1,17 +1,17 @@
 #!/usr/bin/env ruby
 
 require "yaml"
-require "expressir/express_exp/parser"
-require "expressir/express_exp/formatter"
-require "expressir/express_exp/schema_head_formatter"
-require "expressir/express_exp/hyperlink_formatter"
+require "expressir/express/parser"
+require "expressir/express/formatter"
+require "expressir/express/schema_head_formatter"
+require "expressir/express/hyperlink_formatter"
 
 exp_files = ARGV
 
-repository = Expressir::ExpressExp::Parser.from_files(exp_files)
-formatter = Class.new(Expressir::ExpressExp::Formatter) do
-  include Expressir::ExpressExp::SchemaHeadFormatter
-  include Expressir::ExpressExp::HyperlinkFormatter
+repository = Expressir::Express::Parser.from_files(exp_files)
+formatter = Class.new(Expressir::Express::Formatter) do
+  include Expressir::Express::SchemaHeadFormatter
+  include Expressir::Express::HyperlinkFormatter
 end
 result = repository.to_hash(formatter: formatter, skip_empty: true)
 

data/exe/format-test

@@ -2,11 +2,11 @@
 
 require "yaml"
 require "tempfile"
-require "expressir/express_exp/parser"
-require "expressir/express_exp/formatter"
-require "expressir/express_exp/schema_head_formatter"
-require "expressir/express_exp/hyperlink_formatter"
-require "expressir/express_exp/cache"
+require "expressir/express/parser"
+require "expressir/express/formatter"
+require "expressir/express/schema_head_formatter"
+require "expressir/express/hyperlink_formatter"
+require "expressir/express/cache"
 
 exp_files = [
   # basic test
@@ -53,17 +53,17 @@ exp_files = [
 ]
 
 start = Time.now
-repository = Expressir::ExpressExp::Parser.from_files(exp_files)
+repository = Expressir::Express::Parser.from_files(exp_files)
 puts "Parser.from_files time:  #{(Time.now - start).round(2)}s"
 
 temp_file = Tempfile.new
 begin
   start = Time.now
-  Expressir::ExpressExp::Cache.to_file(temp_file, repository)
+  Expressir::Express::Cache.to_file(temp_file, repository)
   puts "Cache.to_file time:      #{(Time.now - start).round(2)}s"
 
   start = Time.now
-  repository = Expressir::ExpressExp::Cache.from_file(temp_file)
+  repository = Expressir::Express::Cache.from_file(temp_file)
   puts "Cache.from_file time:    #{(Time.now - start).round(2)}s"
 ensure
   temp_file.close
@@ -71,9 +71,9 @@ ensure
 end
 
 start = Time.now
-formatter = Class.new(Expressir::ExpressExp::Formatter) do
-  include Expressir::ExpressExp::SchemaHeadFormatter
-  include Expressir::ExpressExp::HyperlinkFormatter
+formatter = Class.new(Expressir::Express::Formatter) do
+  include Expressir::Express::SchemaHeadFormatter
+  include Expressir::Express::HyperlinkFormatter
 end
 result = repository.to_hash(formatter: formatter, skip_empty: true)
 puts "Repository.to_hash time: #{(Time.now - start).round(2)}s"

data/expressir.gemspec

@@ -30,7 +30,6 @@ Gem::Specification.new do |spec|
 
   spec.extensions = File.join(*%w(ext express-parser extconf.rb))
 
-  spec.add_runtime_dependency "nokogiri", "~> 1.10"
   spec.add_runtime_dependency "thor", "~> 1.0"
   spec.add_runtime_dependency "rice", "~> 3"
   spec.add_development_dependency "antlr4-native", "~> 1.1.0"

data/lib/expressir.rb

@@ -2,7 +2,6 @@ require "expressir/version"
 
 require "expressir/cli"
 require "expressir/config"
-require "expressir/express"
 
 module Expressir
   class Error < StandardError; end

data/lib/expressir/cli.rb

@@ -1,6 +1,5 @@
 require "thor"
 require "expressir/cli/ui"
-require "expressir/express_parser"
 
 module Expressir
   module Cli
@@ -17,11 +16,6 @@ module Expressir
       def version
         Cli.ui.say("Version #{Expressir::VERSION}")
       end
-
-      desc "express-to-owl FILE", "Express to OWL conversion"
-      def express_to_owl(file)
-        Cli.ui.say(ExpressParser.to_owl(file))
-      end
     end
   end
 end

data/lib/expressir/{express_exp → express}/cache.rb

@@ -3,7 +3,7 @@ require 'zlib'
 require 'expressir/model'
 
 module Expressir
-  module ExpressExp
+  module Express
     class Cache
       def self.to_file(file, content, options = {})
         root_path = options[:root_path]
@@ -16,7 +16,7 @@ module Expressir
           content: content
         })
 
-        hash = cache.to_hash(root_path: root_path, skip_empty: true)
+        hash = cache.to_hash(root_path: root_path)
         yaml = YAML.dump(hash)
         yaml_compressed = Zlib::Deflate.deflate(yaml)
 
@@ -35,14 +35,11 @@ module Expressir
         cache = Model::ModelElement.from_hash(hash, root_path: root_path)
 
         if cache.version != version
-          raise CacheLoadError.new("Cache version mismatch, cache version is #{cache.version}, Expressir version is #{version}")
+          raise Error.new("Cache version mismatch, cache version is #{cache.version}, Expressir version is #{version}")
         end
 
         cache.content
       end
     end
-
-    class CacheLoadError < StandardError
-    end
   end
 end

data/lib/expressir/{express_exp → express}/formatter.rb

@@ -1,7 +1,7 @@
 require 'expressir/model'
 
 module Expressir
-  module ExpressExp
+  module Express
     class Formatter
       INDENT_CHAR = ' '
       INDENT_WIDTH = 2
@@ -68,12 +68,12 @@ module Expressir
           format_subtype_constraint(node)
         elsif node.is_a? Model::Type
           format_type(node)
-        elsif node.is_a? Model::Unique
-          format_unique(node)
+        elsif node.is_a? Model::UniqueRule
+          format_unique_rule(node)
         elsif node.is_a? Model::Variable
           format_variable(node)
-        elsif node.is_a? Model::Where
-          format_where(node)
+        elsif node.is_a? Model::WhereRule
+          format_where_rule(node)
         elsif node.is_a? Model::Expressions::AggregateInitializer
           format_expressions_aggregate_initializer(node)
         elsif node.is_a? Model::Expressions::AggregateItem
@@ -316,16 +316,16 @@ module Expressir
               indent(inverse_attributes.map{|x| format(x)}.join("\n")),
             ]
           end,
-          *if node.unique.length > 0
+          *if node.unique_rules.length > 0
             [
               'UNIQUE',
-              indent(node.unique.map{|x| format(x)}.join("\n"))
+              indent(node.unique_rules.map{|x| format(x)}.join("\n"))
             ]
           end,
-          *if node.where.length > 0
+          *if node.where_rules.length > 0
             [
               'WHERE',
-              indent(node.where.map{|x| format(x)}.join("\n")),
+              indent(node.where_rules.map{|x| format(x)}.join("\n")),
             ]
           end,
           [
@@ -576,10 +576,10 @@ module Expressir
           *if node.statements.length > 0
             indent(node.statements.map{|x| format(x)}.join("\n"))
           end,
-          *if node.where.length > 0
+          *if node.where_rules.length > 0
             [
               'WHERE',
-              indent(node.where.map{|x| format(x)}.join("\n"))
+              indent(node.where_rules.map{|x| format(x)}.join("\n"))
             ]
           end,
           [
@@ -720,13 +720,13 @@ module Expressir
             ' ',
             '=',
             ' ',
-            format(node.type),
+            format(node.underlying_type),
             ';',
           ].join(''),
-          *if node.where.length > 0
+          *if node.where_rules.length > 0
             [
               'WHERE',
-              indent(node.where.map{|x| format(x)}.join("\n"))
+              indent(node.where_rules.map{|x| format(x)}.join("\n"))
             ]
           end,
           [
@@ -736,7 +736,7 @@ module Expressir
         ].join("\n")
       end
 
-      def format_unique(node)
+      def format_unique_rule(node)
         [
           *if node.id
             [
@@ -769,7 +769,7 @@ module Expressir
         ].join('')
       end
 
-      def format_where(node)
+      def format_where_rule(node)
         [
           *if node.id
             [
@@ -1299,38 +1299,41 @@ module Expressir
             ].join('')
           end,
           'ENUMERATION',
-          *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,
-          *if node.extension_type
+          *if node.based_on
             [
               ' ',
               'BASED_ON',
               ' ',
-              format(node.extension_type)
+              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('')
-          end,
-          *if node.extension_items.length > 0
-            item_indent = INDENT_CHAR * '('.length
+          else
             [
-              ' ',
-              'WITH',
-              "\n",
-              indent([
-                '(',
-                node.extension_items.map{|x| format(x)}.join(",\n#{item_indent}"),
-                ')'
-              ].join(''))
+              *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('')
@@ -1427,36 +1430,39 @@ module Expressir
             ].join('')
           end,
           'SELECT',
-          *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,
-          *if node.extension_type
+          *if node.based_on
             [
               ' ',
               'BASED_ON',
               ' ',
-              format(node.extension_type)
+              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('')
-          end,
-          *if node.extension_items.length > 0
-            item_indent = INDENT_CHAR * '('.length
+          else
             [
-              ' ',
-              'WITH',
-              "\n",
-              indent([
-                '(',
-                node.extension_items.map{|x| format(x)}.join(",\n#{item_indent}"),
-                ')'
-              ].join(''))
+              *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('')