expressir 1.0.0 → 1.1.0

data/lib/expressir/model.rb

@@ -1,72 +1,79 @@
 require 'expressir/model/model_element'
 
 require 'expressir/model/cache'
-
+require 'expressir/model/data_type'
+require 'expressir/model/declaration'
+require 'expressir/model/expression'
 require 'expressir/model/identifier'
-
-require 'expressir/model/attribute'
-require 'expressir/model/constant'
-require 'expressir/model/entity'
-require 'expressir/model/enumeration_item'
-require 'expressir/model/function'
-require 'expressir/model/interface'
-require 'expressir/model/interface_item'
-require 'expressir/model/interfaced_item'
-require 'expressir/model/parameter'
-require 'expressir/model/procedure'
-require 'expressir/model/remark_item'
+require 'expressir/model/literal'
+require 'expressir/model/reference'
 require 'expressir/model/repository'
-require 'expressir/model/rule'
-require 'expressir/model/schema'
-require 'expressir/model/schema_version'
-require 'expressir/model/schema_version_item'
-require 'expressir/model/subtype_constraint'
-require 'expressir/model/type'
-require 'expressir/model/unique_rule'
-require 'expressir/model/variable'
-require 'expressir/model/where_rule'
+require 'expressir/model/statement'
+require 'expressir/model/supertype_expression'
+require 'expressir/model/data_types/aggregate'
+require 'expressir/model/data_types/array'
+require 'expressir/model/data_types/bag'
+require 'expressir/model/data_types/binary'
+require 'expressir/model/data_types/boolean'
+require 'expressir/model/data_types/enumeration'
+require 'expressir/model/data_types/enumeration_item'
+require 'expressir/model/data_types/generic_entity'
+require 'expressir/model/data_types/generic'
+require 'expressir/model/data_types/integer'
+require 'expressir/model/data_types/list'
+require 'expressir/model/data_types/logical'
+require 'expressir/model/data_types/number'
+require 'expressir/model/data_types/real'
+require 'expressir/model/data_types/set'
+require 'expressir/model/data_types/select'
+require 'expressir/model/data_types/string'
+require 'expressir/model/declarations/attribute'
+require 'expressir/model/declarations/constant'
+require 'expressir/model/declarations/entity'
+require 'expressir/model/declarations/function'
+require 'expressir/model/declarations/interface'
+require 'expressir/model/declarations/interface_item'
+require 'expressir/model/declarations/interfaced_item'
+require 'expressir/model/declarations/parameter'
+require 'expressir/model/declarations/procedure'
+require 'expressir/model/declarations/remark_item'
+require 'expressir/model/declarations/rule'
+require 'expressir/model/declarations/schema'
+require 'expressir/model/declarations/schema_version'
+require 'expressir/model/declarations/schema_version_item'
+require 'expressir/model/declarations/subtype_constraint'
+require 'expressir/model/declarations/type'
+require 'expressir/model/declarations/unique_rule'
+require 'expressir/model/declarations/variable'
+require 'expressir/model/declarations/where_rule'
 require 'expressir/model/expressions/aggregate_initializer'
-require 'expressir/model/expressions/aggregate_item'
+require 'expressir/model/expressions/aggregate_initializer_item'
 require 'expressir/model/expressions/binary_expression'
-require 'expressir/model/expressions/call'
-require 'expressir/model/expressions/attribute_reference'
 require 'expressir/model/expressions/entity_constructor'
-require 'expressir/model/expressions/group_reference'
-require 'expressir/model/expressions/index_reference'
+require 'expressir/model/expressions/function_call'
 require 'expressir/model/expressions/interval'
 require 'expressir/model/expressions/query_expression'
-require 'expressir/model/expressions/simple_reference'
 require 'expressir/model/expressions/unary_expression'
 require 'expressir/model/literals/binary'
 require 'expressir/model/literals/integer'
 require 'expressir/model/literals/logical'
 require 'expressir/model/literals/real'
 require 'expressir/model/literals/string'
+require 'expressir/model/references/attribute_reference'
+require 'expressir/model/references/group_reference'
+require 'expressir/model/references/index_reference'
+require 'expressir/model/references/simple_reference'
 require 'expressir/model/statements/alias'
 require 'expressir/model/statements/assignment'
-require 'expressir/model/statements/call'
 require 'expressir/model/statements/case'
 require 'expressir/model/statements/case_action'
 require 'expressir/model/statements/compound'
 require 'expressir/model/statements/escape'
 require 'expressir/model/statements/if'
 require 'expressir/model/statements/null'
+require 'expressir/model/statements/procedure_call'
 require 'expressir/model/statements/repeat'
 require 'expressir/model/statements/return'
 require 'expressir/model/statements/skip'
-require 'expressir/model/types/aggregate'
-require 'expressir/model/types/array'
-require 'expressir/model/types/bag'
-require 'expressir/model/types/binary'
-require 'expressir/model/types/boolean'
-require 'expressir/model/types/enumeration'
-require 'expressir/model/types/generic_entity'
-require 'expressir/model/types/generic'
-require 'expressir/model/types/integer'
-require 'expressir/model/types/list'
-require 'expressir/model/types/logical'
-require 'expressir/model/types/number'
-require 'expressir/model/types/real'
-require 'expressir/model/types/set'
-require 'expressir/model/types/select'
-require 'expressir/model/types/string'
+require 'expressir/model/supertype_expressions/binary_supertype_expression'
+require 'expressir/model/supertype_expressions/oneof_supertype_expression'

data/lib/expressir/model/cache.rb

@@ -1,9 +1,13 @@
 module Expressir
   module Model
+    # Cache content object with Expressir version
     class Cache < ModelElement
-      model_attr_accessor :version
-      model_attr_accessor :content
+      model_attr_accessor :version, 'String'
+      model_attr_accessor :content, 'ModelElement'
 
+      # @param [Hash] options
+      # @option options [String] :version
+      # @option options [ModelElement] :content
       def initialize(options = {})
         @version = options[:version]
         @content = options[:content]

data/lib/expressir/model/data_type.rb

@@ -0,0 +1,9 @@
+module Expressir
+  module Model
+    # Specified in ISO 10303-11:2004
+    # - section 8 Data types
+    # @abstract
+    class DataType < ModelElement
+    end
+  end
+end

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

@@ -0,0 +1,31 @@
+module Expressir
+  module Model
+    module DataTypes
+      # Specified in ISO 10303-11:2004
+      # - section 9.5.3.1 Aggregate data type
+      class Aggregate < DataType
+        include Identifier
+
+        model_attr_accessor :base_type, 'Type'
+
+        # @param [Hash] options
+        # @option (see Identifier#initialize_identifier)
+        # @option options [Type] :base_type
+        def initialize(options = {})
+          initialize_identifier(options)
+
+          @base_type = options[:base_type]
+
+          super
+        end
+
+        # @return [Array<Declaration>]
+        def children
+          [
+            *remark_items
+          ]
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,31 @@
+module Expressir
+  module Model
+    module DataTypes
+      # Specified in ISO 10303-11:2004
+      # - section 8.2.1 Array data type
+      class Array < DataType
+        model_attr_accessor :bound1, 'Expression'
+        model_attr_accessor :bound2, 'Expression'
+        model_attr_accessor :optional, '::Boolean'
+        model_attr_accessor :unique, '::Boolean'
+        model_attr_accessor :base_type, 'DataType'
+
+        # @param [Hash] options
+        # @option options [Expression] :bound1
+        # @option options [Expression] :bound2
+        # @option options [::Boolean] :optional
+        # @option options [::Boolean] :unique
+        # @option options [DataType] :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/data_types/bag.rb

@@ -0,0 +1,25 @@
+module Expressir
+  module Model
+    module DataTypes
+      # Specified in ISO 10303-11:2004
+      # - section 8.2.3 Bag data type
+      class Bag < DataType
+        model_attr_accessor :bound1, 'Expression'
+        model_attr_accessor :bound2, 'Expression'
+        model_attr_accessor :base_type, 'DataType'
+
+        # @param [Hash] options
+        # @option options [Expression] :bound1
+        # @option options [Expression] :bound2
+        # @option options [DataType] :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/data_types/binary.rb

@@ -0,0 +1,22 @@
+module Expressir
+  module Model
+    module DataTypes
+      # Specified in ISO 10303-11:2004
+      # - section 8.1.7 Binary data type
+      class Binary < DataType
+        model_attr_accessor :width, 'Expression'
+        model_attr_accessor :fixed, '::Boolean'
+
+        # @param [Hash] options
+        # @option options [Expression] :width
+        # @option options [::Boolean] :fixed
+        def initialize(options = {})
+          @width = options[:width]
+          @fixed = options[:fixed]
+
+          super
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,10 @@
+module Expressir
+  module Model
+    module DataTypes
+      # Specified in ISO 10303-11:2004
+      # - section 8.1.5 Boolean data type
+      class Boolean < DataType
+      end
+    end
+  end
+end

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

@@ -0,0 +1,25 @@
+module Expressir
+  module Model
+    module DataTypes
+      # Specified in ISO 10303-11:2004
+      # - section 8.4.1 Enumeration data type
+      class Enumeration < DataType
+        model_attr_accessor :extensible, '::Boolean'
+        model_attr_accessor :based_on, 'Reference'
+        model_attr_accessor :items, '::Array<EnumerationItem>'
+
+        # @param [Hash] options
+        # @option options [::Boolean] :extensible
+        # @option options [Reference] :based_on
+        # @option options [::Array<EnumerationItem>] :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/data_types/enumeration_item.rb

@@ -0,0 +1,26 @@
+module Expressir
+  module Model
+    module DataTypes
+      # Specified in ISO 10303-11:2004
+      # - section 8.4.1 Enumeration data type
+      class EnumerationItem < ModelElement
+        include Identifier
+
+        # @param [Hash] options
+        # @option (see Identifier#initialize_identifier)
+        def initialize(options = {})
+          initialize_identifier(options)
+
+          super
+        end
+
+        # @return [Array<Declaration>]
+        def children
+          [
+            *remark_items
+          ]
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,26 @@
+module Expressir
+  module Model
+    module DataTypes
+      # Specified in ISO 10303-11:2004
+      # - section 9.5.3.2 Generic data type
+      class Generic < DataType
+        include Identifier
+
+        # @param [Hash] options
+        # @option (see Identifier#initialize_identifier)
+        def initialize(options = {})
+          initialize_identifier(options)
+
+          super
+        end
+
+        # @return [Array<Declaration>]
+        def children
+          [
+            *remark_items
+          ]
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,26 @@
+module Expressir
+  module Model
+    module DataTypes
+      # Specified in ISO 10303-11:2004
+      # - section 9.5.3.3 Generic entity data type
+      class GenericEntity < DataType
+        include Identifier
+
+        # @param [Hash] options
+        # @option (see Identifier#initialize_identifier)
+        def initialize(options = {})
+          initialize_identifier(options)
+
+          super
+        end
+      end
+
+      # @return [Array<Declaration>]
+      def children
+        [
+          *remark_items
+        ]
+      end
+    end
+  end
+end

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

@@ -0,0 +1,10 @@
+module Expressir
+  module Model
+    module DataTypes
+      # Specified in ISO 10303-11:2004
+      # - section 8.1.3 Integer data type
+      class Integer < DataType
+      end
+    end
+  end
+end

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

@@ -0,0 +1,28 @@
+module Expressir
+  module Model
+    module DataTypes
+      # Specified in ISO 10303-11:2004
+      # - section 8.2.2 List data type
+      class List < DataType
+        model_attr_accessor :bound1, 'Expression'
+        model_attr_accessor :bound2, 'Expression'
+        model_attr_accessor :unique, '::Boolean'
+        model_attr_accessor :base_type, 'DataType'
+
+        # @param [Hash] options
+        # @option options [Expression] :bound1
+        # @option options [Expression] :bound2
+        # @option options [::Boolean] :unique
+        # @option options [DataType] :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/data_types/logical.rb

@@ -0,0 +1,10 @@
+module Expressir
+  module Model
+    module DataTypes
+      # Specified in ISO 10303-11:2004
+      # - section 8.1.4 Logical data type
+      class Logical < DataType
+      end
+    end
+  end
+end