expressir 0.2.5 → 0.2.10

data/lib/expressir/model.rb

@@ -1,3 +1,5 @@
+require 'expressir/model/model_element'
+
 require 'expressir/model/scope'
 require 'expressir/model/identifier'
 
@@ -6,6 +8,7 @@ require 'expressir/model/constant'
 require 'expressir/model/entity'
 require 'expressir/model/enumeration_item'
 require 'expressir/model/function'
+require 'expressir/model/informal_proposition'
 require 'expressir/model/interface'
 require 'expressir/model/parameter'
 require 'expressir/model/procedure'

data/lib/expressir/model/attribute.rb

@@ -1,6 +1,6 @@
 module Expressir
   module Model
-    class Attribute
+    class Attribute < ModelElement
       include Identifier
 
       EXPLICIT = :EXPLICIT
@@ -15,6 +15,8 @@ module Expressir
 
       def initialize(options = {})
         @id = options[:id]
+        @remarks = options.fetch(:remarks, [])
+        @source = options[:source]
 
         @kind = options[:kind]
         @supertype_attribute = options[:supertype_attribute]

data/lib/expressir/model/constant.rb

@@ -1,6 +1,6 @@
 module Expressir
   module Model
-    class Constant
+    class Constant < ModelElement
       include Identifier
 
       attr_accessor :type
@@ -8,6 +8,8 @@ module Expressir
 
       def initialize(options = {})
         @id = options[:id]
+        @remarks = options.fetch(:remarks, [])
+        @source = options[:source]
 
         @type = options[:type]
         @expression = options[:expression]

data/lib/expressir/model/entity.rb

@@ -1,6 +1,6 @@
 module Expressir
   module Model
-    class Entity
+    class Entity < ModelElement
       include Scope
       include Identifier
 
@@ -10,35 +10,28 @@ module Expressir
       attr_accessor :attributes
       attr_accessor :unique
       attr_accessor :where
+      attr_accessor :informal_propositions
 
       def initialize(options = {})
         @id = options[:id]
+        @remarks = options.fetch(:remarks, [])
+        @source = options[:source]
 
         @abstract = options[:abstract]
         @supertype_expression = options[:supertype_expression]
         @subtype_of = options[:subtype_of]
-        @attributes = options[:attributes]
-        @unique = options[:unique]
-        @where = options[:where]
-      end
-
-      def explicit_attributes
-        @attributes.select{|x| x.kind == Expressir::Model::Attribute::EXPLICIT}
-      end
-
-      def derived_attributes
-        @attributes.select{|x| x.kind == Expressir::Model::Attribute::DERIVED}
-      end
-
-      def inverse_attributes
-        @attributes.select{|x| x.kind == Expressir::Model::Attribute::INVERSE}
+        @attributes = options.fetch(:attributes, [])
+        @unique = options.fetch(:unique, [])
+        @where = options.fetch(:where, [])
+        @informal_propositions = options.fetch(:informal_propositions, [])
       end
 
       def children
         items = []
-        items.push(*@attributes) if @attributes
-        items.push(*@unique) if @unique
-        items.push(*@where) if @where
+        items.push(*@attributes)
+        items.push(*@unique)
+        items.push(*@where)
+        items.push(*@informal_propositions)
         items
       end
     end

data/lib/expressir/model/enumeration_item.rb

@@ -1,10 +1,12 @@
 module Expressir
   module Model
-    class EnumerationItem
+    class EnumerationItem < ModelElement
       include Identifier
 
       def initialize(options = {})
         @id = options[:id]
+        @remarks = options.fetch(:remarks, [])
+        @source = options[:source]
       end
     end
   end

data/lib/expressir/model/expressions/aggregate_initializer.rb

@@ -1,11 +1,11 @@
 module Expressir
   module Model
     module Expressions
-      class AggregateInitializer
+      class AggregateInitializer < ModelElement
         attr_accessor :items
 
         def initialize(options = {})
-          @items = options[:items]
+          @items = options.fetch(:items, [])
         end
       end
     end

data/lib/expressir/model/expressions/aggregate_item.rb

@@ -1,7 +1,7 @@
 module Expressir
   module Model
     module Expressions
-      class AggregateItem
+      class AggregateItem < ModelElement
         attr_accessor :expression
         attr_accessor :repetition
 

data/lib/expressir/model/expressions/attribute_reference.rb

@@ -1,7 +1,7 @@
 module Expressir
   module Model
     module Expressions
-      class AttributeReference
+      class AttributeReference < ModelElement
         attr_accessor :ref
         attr_accessor :attribute
 

data/lib/expressir/model/expressions/binary_expression.rb

@@ -1,7 +1,7 @@
 module Expressir
   module Model
     module Expressions
-      class BinaryExpression
+      class BinaryExpression < ModelElement
         ADDITION = :ADDITION
         AND = :AND
         ANDOR = :ANDOR

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

@@ -1,13 +1,13 @@
 module Expressir
   module Model
     module Expressions
-      class Call
+      class Call < ModelElement
         attr_accessor :ref
         attr_accessor :parameters
 
         def initialize(options = {})
           @ref = options[:ref]
-          @parameters = options[:parameters]
+          @parameters = options.fetch(:parameters, [])
         end
       end
     end

data/lib/expressir/model/expressions/entity_constructor.rb

@@ -1,13 +1,13 @@
 module Expressir
   module Model
     module Expressions
-      class EntityConstructor
+      class EntityConstructor < ModelElement
         attr_accessor :entity
         attr_accessor :parameters
 
         def initialize(options = {})
           @entity = options[:entity]
-          @parameters = options[:parameters]
+          @parameters = options.fetch(:parameters, [])
         end
       end
     end

data/lib/expressir/model/expressions/group_reference.rb

@@ -1,7 +1,7 @@
 module Expressir
   module Model
     module Expressions
-      class GroupReference
+      class GroupReference < ModelElement
         attr_accessor :ref
         attr_accessor :entity
 

data/lib/expressir/model/expressions/index_reference.rb

@@ -1,7 +1,7 @@
 module Expressir
   module Model
     module Expressions
-      class IndexReference
+      class IndexReference < ModelElement
         attr_accessor :ref
         attr_accessor :index1
         attr_accessor :index2

data/lib/expressir/model/expressions/interval.rb

@@ -1,7 +1,7 @@
 module Expressir
   module Model
     module Expressions
-      class Interval
+      class Interval < ModelElement
         attr_accessor :low
         attr_accessor :operator1
         attr_accessor :item

data/lib/expressir/model/expressions/query_expression.rb

@@ -1,17 +1,19 @@
 module Expressir
   module Model
     module Expressions
-      class QueryExpression
+      class QueryExpression < ModelElement
         include Scope
         include Identifier
 
-        attr_accessor :source
+        attr_accessor :aggregate_source
         attr_accessor :expression
 
         def initialize(options = {})
           @id = options[:id]
-
+          @remarks = options.fetch(:remarks, [])
           @source = options[:source]
+
+          @aggregate_source = options[:aggregate_source]
           @expression = options[:expression]
         end
 

data/lib/expressir/model/expressions/simple_reference.rb

@@ -1,7 +1,7 @@
 module Expressir
   module Model
     module Expressions
-      class SimpleReference
+      class SimpleReference < ModelElement
         attr_accessor :id
 
         def initialize(options = {})

data/lib/expressir/model/expressions/unary_expression.rb

@@ -1,7 +1,7 @@
 module Expressir
   module Model
     module Expressions
-      class UnaryExpression
+      class UnaryExpression < ModelElement
         MINUS = :MINUS
         NOT = :NOT
         PLUS = :PLUS

data/lib/expressir/model/function.rb

@@ -1,60 +1,54 @@
 module Expressir
   module Model
-    class Function
+    class Function < ModelElement
       include Scope
       include Identifier
 
       attr_accessor :parameters
       attr_accessor :return_type
-      attr_accessor :declarations
+      attr_accessor :types
+      attr_accessor :entities
+      attr_accessor :subtype_constraints
+      attr_accessor :functions
+      attr_accessor :procedures
       attr_accessor :constants
       attr_accessor :variables
       attr_accessor :statements
 
       def initialize(options = {})
         @id = options[:id]
+        @remarks = options.fetch(:remarks, [])
+        @source = options[:source]
 
-        @parameters = options[:parameters]
+        @parameters = options.fetch(:parameters, [])
         @return_type = options[:return_type]
-        @declarations = options[:declarations]
-        @constants = options[:constants]
-        @variables = options[:variables]
-        @statements = options[:statements]
-      end
-
-      def types
-        @declarations.select{|x| x.instance_of? Expressir::Model::Type}
-      end
-
-      def entities
-        @declarations.select{|x| x.instance_of? Expressir::Model::Entity}
-      end
-
-      def subtype_constraints
-        @declarations.select{|x| x.instance_of? Expressir::Model::SubtypeConstraint}
-      end
-
-      def functions
-        @declarations.select{|x| x.instance_of? Expressir::Model::Function}
-      end
-
-      def procedures
-        @declarations.select{|x| x.instance_of? Expressir::Model::Procedure}
+        @types = options.fetch(:types, [])
+        @entities = options.fetch(:entities, [])
+        @subtype_constraints = options.fetch(:subtype_constraints, [])
+        @functions = options.fetch(:functions, [])
+        @procedures = options.fetch(:procedures, [])
+        @constants = options.fetch(:constants, [])
+        @variables = options.fetch(:variables, [])
+        @statements = options.fetch(:statements, [])
       end
 
       def children
         items = []
-        items.push(*@parameters) if @parameters
-        items.push(*@declarations.flat_map do |x|
-          [
-            x,
-            *if x.instance_of? Expressir::Model::Type and x.type.instance_of? Expressir::Model::Types::Enumeration
-              x.type.items
-            end
-          ]
-        end) if @declarations
-        items.push(*@constants) if @constants
-        items.push(*@variables) if @variables
+        items.push(*@parameters)
+        items.push(*@types)
+        items.push(*@types.flat_map do |x|
+          if x.type.instance_of? Expressir::Model::Types::Enumeration
+            x.type.items
+          else
+            []
+          end
+        end)
+        items.push(*@entities)
+        items.push(*@subtype_constraints)
+        items.push(*@functions)
+        items.push(*@procedures)
+        items.push(*@constants)
+        items.push(*@variables)
         items
       end
     end

data/lib/expressir/model/identifier.rb

@@ -4,6 +4,7 @@ module Expressir
       attr_accessor :id
       attr_accessor :parent
       attr_accessor :remarks
+      attr_accessor :source
     end
   end
 end

data/lib/expressir/model/informal_proposition.rb

@@ -0,0 +1,13 @@
+module Expressir
+  module Model
+    class InformalProposition < ModelElement
+      include Identifier
+
+      def initialize(options = {})
+        @id = options[:id]
+        @remarks = options.fetch(:remarks, [])
+        @source = options[:source]
+      end
+    end
+  end
+end

data/lib/expressir/model/interface.rb

@@ -1,6 +1,6 @@
 module Expressir
   module Model
-    class Interface
+    class Interface < ModelElement
       USE = :USE
       REFERENCE = :REFERENCE
 
@@ -11,7 +11,7 @@ module Expressir
       def initialize(options = {})
         @kind = options[:kind]
         @schema = options[:schema]
-        @items = options[:items]
+        @items = options.fetch(:items, [])
       end
     end
   end

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

@@ -1,7 +1,7 @@
 module Expressir
   module Model
     module Literals
-      class Binary
+      class Binary < ModelElement
         attr_accessor :value
 
         def initialize(options = {})

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

@@ -1,7 +1,7 @@
 module Expressir
   module Model
     module Literals
-      class Integer
+      class Integer < ModelElement
         attr_accessor :value
 
         def initialize(options = {})

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

@@ -1,7 +1,7 @@
 module Expressir
   module Model
     module Literals
-      class Logical
+      class Logical < ModelElement
         TRUE = :TRUE
         FALSE = :FALSE
         UNKNOWN = :UNKNOWN

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

@@ -1,7 +1,7 @@
 module Expressir
   module Model
     module Literals
-      class Real
+      class Real < ModelElement
         attr_accessor :value
 
         def initialize(options = {})