expressir 1.0.0-arm64-darwin → 1.2.1-arm64-darwin

data/lib/expressir/model/procedure.rb

@@ -1,55 +0,0 @@
-module Expressir
-  module Model
-    class Procedure < ModelElement
-      include Identifier
-
-      model_attr_accessor :parameters
-      model_attr_accessor :types
-      model_attr_accessor :entities
-      model_attr_accessor :subtype_constraints
-      model_attr_accessor :functions
-      model_attr_accessor :procedures
-      model_attr_accessor :constants
-      model_attr_accessor :variables
-      model_attr_accessor :statements
-
-      def initialize(options = {})
-        @id = options[:id]
-        @remarks = options[:remarks] || []
-        @remark_items = options[:remark_items] || []
-        @source = options[:source]
-
-        @parameters = options[:parameters] || []
-        @types = options[:types] || []
-        @entities = options[:entities] || []
-        @subtype_constraints = options[:subtype_constraints] || []
-        @functions = options[:functions] || []
-        @procedures = options[:procedures] || []
-        @constants = options[:constants] || []
-        @variables = options[:variables] || []
-        @statements = options[:statements] || []
-
-        super
-      end
-
-      def enumeration_items
-        types.flat_map{|x| x.enumeration_items}
-      end
-
-      def children
-        [
-          *parameters,
-          *types,
-          *enumeration_items,
-          *entities,
-          *subtype_constraints,
-          *functions,
-          *procedures,
-          *constants,
-          *variables,
-          *remark_items
-        ]
-      end
-    end
-  end
-end

data/lib/expressir/model/remark_item.rb

@@ -1,15 +0,0 @@
-module Expressir
-  module Model
-    class RemarkItem < ModelElement
-      model_attr_accessor :id
-      model_attr_accessor :remarks
-
-      def initialize(options = {})
-        @id = options[:id]
-        @remarks = options[:remarks] || []
-
-        super
-      end
-    end
-  end
-end

data/lib/expressir/model/rule.rb

@@ -1,60 +0,0 @@
-module Expressir
-  module Model
-    class Rule < ModelElement
-      include Identifier
-
-      model_attr_accessor :applies_to
-      model_attr_accessor :types
-      model_attr_accessor :entities
-      model_attr_accessor :subtype_constraints
-      model_attr_accessor :functions
-      model_attr_accessor :procedures
-      model_attr_accessor :constants
-      model_attr_accessor :variables
-      model_attr_accessor :statements
-      model_attr_accessor :where_rules
-      model_attr_accessor :informal_propositions
-
-      def initialize(options = {})
-        @id = options[:id]
-        @remarks = options[:remarks] || []
-        @remark_items = options[:remark_items] || []
-        @source = options[:source]
-
-        @applies_to = options[:applies_to] || []
-        @types = options[:types] || []
-        @entities = options[:entities] || []
-        @subtype_constraints = options[:subtype_constraints] || []
-        @functions = options[:functions] || []
-        @procedures = options[:procedures] || []
-        @constants = options[:constants] || []
-        @variables = options[:variables] || []
-        @statements = options[:statements] || []
-        @where_rules = options[:where_rules] || []
-        @informal_propositions = options[:informal_propositions] || []
-
-        super
-      end
-
-      def enumeration_items
-        types.flat_map{|x| x.enumeration_items}
-      end
-
-      def children
-        [
-          *types,
-          *enumeration_items,
-          *entities,
-          *subtype_constraints,
-          *functions,
-          *procedures,
-          *constants,
-          *variables,
-          *where_rules,
-          *informal_propositions,
-          *remark_items
-        ]
-      end
-    end
-  end
-end

data/lib/expressir/model/schema.rb

@@ -1,100 +0,0 @@
-module Expressir
-  module Model
-    class Schema < ModelElement
-      model_attr_accessor :file
-
-      include Identifier
-
-      model_attr_accessor :version
-      model_attr_accessor :interfaces
-      model_attr_accessor :constants
-      model_attr_accessor :types
-      model_attr_accessor :entities
-      model_attr_accessor :subtype_constraints
-      model_attr_accessor :functions
-      model_attr_accessor :rules
-      model_attr_accessor :procedures
-
-      def initialize(options = {})
-        @file = options[:file]
-
-        @id = options[:id]
-        @remarks = options[:remarks] || []
-        @remark_items = options[:remark_items] || []
-        @source = options[:source]
-
-        @version = options[:version]
-        @interfaces = options[:interfaces] || []
-        @constants = options[:constants] || []
-        @types = options[:types] || []
-        @entities = options[:entities] || []
-        @subtype_constraints = options[:subtype_constraints] || []
-        @functions = options[:functions] || []
-        @rules = options[:rules] || []
-        @procedures = options[:procedures] || []
-
-        super
-      end
-
-      def create_interfaced_item(id, base_item)
-        interfaced_item = InterfacedItem.new({
-          id: id
-        })
-        interfaced_item.base_item = base_item # skip overriding parent
-        interfaced_item.parent = self
-        interfaced_item
-      end
-
-      def interfaced_items
-        return [] unless parent
-
-        interfaces.flat_map do |interface|
-          schema = parent.children_by_id[interface.schema.id.downcase]
-          if schema
-            schema_safe_children = schema.safe_children
-            schema_safe_children_by_id = schema_safe_children.select{|x| x.id}.map{|x| [x.id.downcase, x]}.to_h
-            if interface.items.length > 0
-              interface.items.map do |interface_item|
-                base_item = schema_safe_children_by_id[interface_item.ref.id.downcase]
-                if base_item
-                  id = interface_item.id || base_item.id
-                  create_interfaced_item(id, base_item)
-                end
-              end
-            else
-              schema_safe_children.map do |base_item|
-                id = base_item.id
-                create_interfaced_item(id, base_item)
-              end
-            end
-          end
-        end.select{|x| x}
-      end
-
-      def enumeration_items
-        types.flat_map{|x| x.enumeration_items}
-      end
-
-      def safe_children
-        [
-          *constants,
-          *types,
-          *enumeration_items,
-          *entities,
-          *subtype_constraints,
-          *functions,
-          *rules,
-          *procedures,
-          *remark_items
-        ]
-      end
-
-      def children
-        [
-          *interfaced_items,
-          *safe_children
-        ]
-      end
-    end
-  end
-end

data/lib/expressir/model/schema_version.rb

@@ -1,15 +0,0 @@
-module Expressir
-  module Model
-    class SchemaVersion < ModelElement
-      model_attr_accessor :value
-      model_attr_accessor :items
-
-      def initialize(options = {})
-        @value = options[:value]
-        @items = options[:items] || []
-
-        super
-      end
-    end
-  end
-end

data/lib/expressir/model/schema_version_item.rb

@@ -1,15 +0,0 @@
-module Expressir
-  module Model
-    class SchemaVersionItem < ModelElement
-      model_attr_accessor :name
-      model_attr_accessor :value
-
-      def initialize(options = {})
-        @name = options[:name]
-        @value = options[:value]
-
-        super
-      end
-    end
-  end
-end

data/lib/expressir/model/statements/call.rb

@@ -1,17 +0,0 @@
-module Expressir
-  module Model
-    module Statements
-      class Call < ModelElement
-        model_attr_accessor :ref
-        model_attr_accessor :parameters
-
-        def initialize(options = {})
-          @ref = options[:ref]
-          @parameters = options[:parameters] || []
-
-          super
-        end
-      end
-    end
-  end
-end

data/lib/expressir/model/subtype_constraint.rb

@@ -1,32 +0,0 @@
-module Expressir
-  module Model
-    class SubtypeConstraint < ModelElement
-      include Identifier
-
-      model_attr_accessor :applies_to
-      model_attr_accessor :abstract
-      model_attr_accessor :total_over
-      model_attr_accessor :supertype_expression
-
-      def initialize(options = {})
-        @id = options[:id]
-        @remarks = options[:remarks] || []
-        @remark_items = options[:remark_items] || []
-        @source = options[:source]
-
-        @applies_to = options[:applies_to]
-        @abstract = options[:abstract]
-        @total_over = options[:total_over] || []
-        @supertype_expression = options[:supertype_expression]
-
-        super
-      end
-
-      def children
-        [
-          *remark_items
-        ]
-      end
-    end
-  end
-end

data/lib/expressir/model/type.rb

@@ -1,37 +0,0 @@
-module Expressir
-  module Model
-    class Type < ModelElement
-      include Identifier
-
-      model_attr_accessor :underlying_type
-      model_attr_accessor :where_rules
-      model_attr_accessor :informal_propositions
-
-      def initialize(options = {})
-        @id = options[:id]
-        @remarks = options[:remarks] || []
-        @remark_items = options[:remark_items] || []
-        @source = options[:source]
-
-        @underlying_type = options[:underlying_type]
-        @where_rules = options[:where_rules] || []
-        @informal_propositions = options[:informal_propositions] || []
-
-        super
-      end
-
-      def enumeration_items
-        underlying_type.is_a?(Types::Enumeration) ? underlying_type.items : []
-      end
-
-      def children
-        [
-          *enumeration_items,
-          *where_rules,
-          *informal_propositions,
-          *remark_items
-        ]
-      end
-    end
-  end
-end

data/lib/expressir/model/types/aggregate.rb

@@ -1,28 +0,0 @@
-module Expressir
-  module Model
-    module Types
-      class Aggregate < ModelElement
-        include Identifier
-
-        model_attr_accessor :base_type
-
-        def initialize(options = {})
-          @id = options[:id]
-          @remarks = options[:remarks] || []
-          @remark_items = options[:remark_items] || []
-          @source = options[:source]
-
-          @base_type = options[:base_type]
-
-          super
-        end
-
-        def children
-          [
-            *remark_items
-          ]
-        end
-      end
-    end
-  end
-end

data/lib/expressir/model/types/array.rb

@@ -1,23 +0,0 @@
-module Expressir
-  module Model
-    module Types
-      class Array < ModelElement
-        model_attr_accessor :bound1
-        model_attr_accessor :bound2
-        model_attr_accessor :optional
-        model_attr_accessor :unique
-        model_attr_accessor :base_type
-
-        def initialize(options = {})
-          @bound1 = options[:bound1]
-          @bound2 = options[:bound2]
-          @optional = options[:optional]
-          @unique = options[:unique]
-          @base_type = options[:base_type]
-
-          super
-        end
-      end
-    end
-  end
-end

data/lib/expressir/model/types/bag.rb

@@ -1,19 +0,0 @@
-module Expressir
-  module Model
-    module Types
-      class Bag < ModelElement
-        model_attr_accessor :bound1
-        model_attr_accessor :bound2
-        model_attr_accessor :base_type
-
-        def initialize(options = {})
-          @bound1 = options[:bound1]
-          @bound2 = options[:bound2]
-          @base_type = options[:base_type]
-
-          super
-        end
-      end
-    end
-  end
-end

data/lib/expressir/model/types/binary.rb

@@ -1,17 +0,0 @@
-module Expressir
-  module Model
-    module Types
-      class Binary < ModelElement
-        model_attr_accessor :width
-        model_attr_accessor :fixed
-
-        def initialize(options = {})
-          @width = options[:width]
-          @fixed = options[:fixed]
-
-          super
-        end
-      end
-    end
-  end
-end

data/lib/expressir/model/types/boolean.rb

@@ -1,8 +0,0 @@
-module Expressir
-  module Model
-    module Types
-      class Boolean < ModelElement
-      end
-    end
-  end
-end

data/lib/expressir/model/types/enumeration.rb

@@ -1,19 +0,0 @@
-module Expressir
-  module Model
-    module Types
-      class Enumeration < ModelElement
-        model_attr_accessor :extensible
-        model_attr_accessor :based_on
-        model_attr_accessor :items
-
-        def initialize(options = {})
-          @extensible = options[:extensible]
-          @based_on = options[:based_on]
-          @items = options[:items] || []
-
-          super
-        end
-      end
-    end
-  end
-end

data/lib/expressir/model/types/generic.rb

@@ -1,24 +0,0 @@
-module Expressir
-  module Model
-    module Types
-      class Generic < ModelElement
-        include Identifier
-
-        def initialize(options = {})
-          @id = options[:id]
-          @remarks = options[:remarks] || []
-          @remark_items = options[:remark_items] || []
-          @source = options[:source]
-
-          super
-        end
-
-        def children
-          [
-            *remark_items
-          ]
-        end
-      end
-    end
-  end
-end

data/lib/expressir/model/types/generic_entity.rb

@@ -1,24 +0,0 @@
-module Expressir
-  module Model
-    module Types
-      class GenericEntity < ModelElement
-        include Identifier
-
-        def initialize(options = {})
-          @id = options[:id]
-          @remarks = options[:remarks] || []
-          @remark_items = options[:remark_items] || []
-          @source = options[:source]
-
-          super
-        end
-      end
-
-      def children
-        [
-          *remark_items
-        ]
-      end
-    end
-  end
-end

data/lib/expressir/model/types/integer.rb

@@ -1,8 +0,0 @@
-module Expressir
-  module Model
-    module Types
-      class Integer < ModelElement
-      end
-    end
-  end
-end

data/lib/expressir/model/types/list.rb

@@ -1,21 +0,0 @@
-module Expressir
-  module Model
-    module Types
-      class List < ModelElement
-        model_attr_accessor :bound1
-        model_attr_accessor :bound2
-        model_attr_accessor :unique
-        model_attr_accessor :base_type
-
-        def initialize(options = {})
-          @bound1 = options[:bound1]
-          @bound2 = options[:bound2]
-          @unique = options[:unique]
-          @base_type = options[:base_type]
-
-          super
-        end
-      end
-    end
-  end
-end

data/lib/expressir/model/types/logical.rb

@@ -1,8 +0,0 @@
-module Expressir
-  module Model
-    module Types
-      class Logical < ModelElement
-      end
-    end
-  end
-end

data/lib/expressir/model/types/number.rb

@@ -1,8 +0,0 @@
-module Expressir
-  module Model
-    module Types
-      class Number < ModelElement
-      end
-    end
-  end
-end

data/lib/expressir/model/types/real.rb

@@ -1,15 +0,0 @@
-module Expressir
-  module Model
-    module Types
-      class Real < ModelElement
-        model_attr_accessor :precision
-
-        def initialize(options = {})
-          @precision = options[:precision]
-
-          super
-        end
-      end
-    end
-  end
-end

data/lib/expressir/model/types/select.rb

@@ -1,21 +0,0 @@
-module Expressir
-  module Model
-    module Types
-      class Select < ModelElement
-        model_attr_accessor :extensible
-        model_attr_accessor :generic_entity
-        model_attr_accessor :based_on
-        model_attr_accessor :items
-
-        def initialize(options = {})
-          @extensible = options[:extensible]
-          @generic_entity = options[:generic_entity]
-          @based_on = options[:based_on]
-          @items = options[:items] || []
-
-          super
-        end
-      end
-    end
-  end
-end

data/lib/expressir/model/types/set.rb

@@ -1,19 +0,0 @@
-module Expressir
-  module Model
-    module Types
-      class Set < ModelElement
-        model_attr_accessor :bound1
-        model_attr_accessor :bound2
-        model_attr_accessor :base_type
-
-        def initialize(options = {})
-          @bound1 = options[:bound1]
-          @bound2 = options[:bound2]
-          @base_type = options[:base_type]
-
-          super
-        end
-      end
-    end
-  end
-end

data/lib/expressir/model/types/string.rb

@@ -1,17 +0,0 @@
-module Expressir
-  module Model
-    module Types
-      class String < ModelElement
-        model_attr_accessor :width
-        model_attr_accessor :fixed
-
-        def initialize(options = {})
-          @width = options[:width]
-          @fixed = options[:fixed]
-
-          super
-        end
-      end
-    end
-  end
-end

data/lib/expressir/model/unique_rule.rb

@@ -1,26 +0,0 @@
-module Expressir
-  module Model
-    class UniqueRule < ModelElement
-      include Identifier
-
-      model_attr_accessor :attributes
-
-      def initialize(options = {})
-        @id = options[:id]
-        @remarks = options[:remarks] || []
-        @remark_items = options[:remark_items] || []
-        @source = options[:source]
-
-        @attributes = options[:attributes] || []
-
-        super
-      end
-
-      def children
-        [
-          *remark_items
-        ]
-      end
-    end
-  end
-end