expressir 0.2.7-x86-linux

data/lib/expressir/model/rule.rb

@@ -0,0 +1,62 @@
+module Expressir
+  module Model
+    class Rule
+      include Scope
+      include Identifier
+
+      attr_accessor :applies_to
+      attr_accessor :declarations
+      attr_accessor :constants
+      attr_accessor :variables
+      attr_accessor :statements
+      attr_accessor :where
+
+      def initialize(options = {})
+        @id = options[:id]
+
+        @applies_to = options[:applies_to]
+        @declarations = options[:declarations]
+        @constants = options[:constants]
+        @variables = options[:variables]
+        @statements = options[:statements]
+        @where = options[:where]
+      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}
+      end
+
+      def children
+        items = []
+        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(*@where) if @where
+        items
+      end
+    end
+  end
+end

data/lib/expressir/model/schema.rb

@@ -0,0 +1,67 @@
+module Expressir
+  module Model
+    class Schema
+      include Scope
+      include Identifier
+
+      attr_accessor :version
+      attr_accessor :interfaces
+      attr_accessor :constants
+      attr_accessor :declarations
+
+      def initialize(options = {})
+        @id = options[:id]
+        @version = options[:version]
+        @interfaces = options[:interfaces]
+        @constants = options[:constants]
+        @declarations = options[:declarations]
+      end
+
+      def use_interfaces
+        @interfaces.select{|x| x.kind == Expressir::Model::Interface::USE}
+      end
+
+      def reference_interfaces
+        @interfaces.select{|x| x.kind == Expressir::Model::Interface::REFERENCE}
+      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}
+      end
+
+      def rules
+        @declarations.select{|x| x.instance_of? Expressir::Model::Rule}
+      end
+
+      def children
+        items = []
+        items.push(*@constants) if @constants
+        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
+      end
+    end
+  end
+end

data/lib/expressir/model/scope.rb

@@ -0,0 +1,17 @@
+module Expressir
+  module Model
+    module Scope
+      def find(path)
+        path.downcase.split(".").reduce(self) do |acc, curr|
+          if acc and acc.class.method_defined? :children
+            acc.children.find{|x| x.id.downcase == curr}
+          end
+        end
+      end
+
+      def children
+        raise 'Not implemented'
+      end
+    end
+  end
+end

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

@@ -0,0 +1,26 @@
+module Expressir
+  module Model
+    module Statements
+      class Alias
+        include Scope
+        include Identifier
+
+        attr_accessor :expression
+        attr_accessor :statements
+
+        def initialize(options = {})
+          @id = options[:id]
+
+          @expression = options[:expression]
+          @statements = options[:statements]
+        end
+
+        def children
+          items = []
+          items.push(self)
+          items
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,15 @@
+module Expressir
+  module Model
+    module Statements
+      class Assignment
+        attr_accessor :ref
+        attr_accessor :expression
+
+        def initialize(options = {})
+          @ref = options[:ref]
+          @expression = options[:expression]
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,15 @@
+module Expressir
+  module Model
+    module Statements
+      class Call
+        attr_accessor :ref
+        attr_accessor :parameters
+
+        def initialize(options = {})
+          @ref = options[:ref]
+          @parameters = options[:parameters]
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,17 @@
+module Expressir
+  module Model
+    module Statements
+      class Case
+        attr_accessor :expression
+        attr_accessor :actions
+        attr_accessor :otherwise_statement
+
+        def initialize(options = {})
+          @expression = options[:expression]
+          @actions = options[:actions]
+          @otherwise_statement = options[:otherwise_statement]
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,15 @@
+module Expressir
+  module Model
+    module Statements
+      class CaseAction
+        attr_accessor :labels
+        attr_accessor :statement
+
+        def initialize(options = {})
+          @labels = options[:labels]
+          @statement = options[:statement]
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,13 @@
+module Expressir
+  module Model
+    module Statements
+      class Compound
+        attr_accessor :statements
+
+        def initialize(options = {})
+          @statements = options[:statements]
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,8 @@
+module Expressir
+  module Model
+    module Statements
+      class Escape
+      end
+    end
+  end
+end

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

@@ -0,0 +1,17 @@
+module Expressir
+  module Model
+    module Statements
+      class If
+        attr_accessor :expression
+        attr_accessor :statements
+        attr_accessor :else_statements
+
+        def initialize(options = {})
+          @expression = options[:expression]
+          @statements = options[:statements]
+          @else_statements = options[:else_statements]
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,8 @@
+module Expressir
+  module Model
+    module Statements
+      class Null
+      end
+    end
+  end
+end

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

@@ -0,0 +1,34 @@
+module Expressir
+  module Model
+    module Statements
+      class Repeat
+        include Scope
+        include Identifier
+
+        attr_accessor :bound1
+        attr_accessor :bound2
+        attr_accessor :increment
+        attr_accessor :while_expression
+        attr_accessor :until_expression
+        attr_accessor :statements
+
+        def initialize(options = {})
+          @id = options[:id]
+
+          @bound1 = options[:bound1]
+          @bound2 = options[:bound2]
+          @increment = options[:increment]
+          @while_expression = options[:while_expression]
+          @until_expression = options[:until_expression]
+          @statements = options[:statements]
+        end
+
+        def children
+          items = []
+          items.push(self)
+          items
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,13 @@
+module Expressir
+  module Model
+    module Statements
+      class Return
+        attr_accessor :expression
+
+        def initialize(options = {})
+          @expression = options[:expression]
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,8 @@
+module Expressir
+  module Model
+    module Statements
+      class Skip
+      end
+    end
+  end
+end

data/lib/expressir/model/subtype_constraint.rb

@@ -0,0 +1,27 @@
+module Expressir
+  module Model
+    class SubtypeConstraint
+      include Scope
+      include Identifier
+
+      attr_accessor :applies_to
+      attr_accessor :abstract
+      attr_accessor :total_over
+      attr_accessor :supertype_expression
+
+      def initialize(options = {})
+        @id = options[:id]
+
+        @applies_to = options[:applies_to]
+        @abstract = options[:abstract]
+        @total_over = options[:total_over]
+        @supertype_expression = options[:supertype_expression]
+      end
+
+      def children
+        items = []
+        items
+      end
+    end
+  end
+end

data/lib/expressir/model/type.rb

@@ -0,0 +1,24 @@
+module Expressir
+  module Model
+    class Type
+      include Scope
+      include Identifier
+
+      attr_accessor :type
+      attr_accessor :where
+
+      def initialize(options = {})
+        @id = options[:id]
+
+        @type = options[:type]
+        @where = options[:where]
+      end
+
+      def children
+        items = []
+        items.push(*@where) if @where
+        items
+      end
+    end
+  end
+end

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

@@ -0,0 +1,17 @@
+module Expressir
+  module Model
+    module Types
+      class Aggregate
+        include Identifier
+
+        attr_accessor :base_type
+
+        def initialize(options = {})
+          @id = options[:id]
+
+          @base_type = options[:base_type]
+        end
+      end
+    end
+  end
+end

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

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

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

@@ -0,0 +1,17 @@
+module Expressir
+  module Model
+    module Types
+      class Bag
+        attr_accessor :bound1
+        attr_accessor :bound2
+        attr_accessor :base_type
+
+        def initialize(options = {})
+          @bound1 = options[:bound1]
+          @bound2 = options[:bound2]
+          @base_type = options[:base_type]
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,15 @@
+module Expressir
+  module Model
+    module Types
+      class Binary
+        attr_accessor :width
+        attr_accessor :fixed
+
+        def initialize(options = {})
+          @width = options[:width]
+          @fixed = options[:fixed]
+        end
+      end
+    end
+  end
+end

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

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

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

@@ -0,0 +1,19 @@
+module Expressir
+  module Model
+    module Types
+      class Enumeration
+        attr_accessor :extensible
+        attr_accessor :items
+        attr_accessor :extension_type
+        attr_accessor :extension_items
+
+        def initialize(options = {})
+          @extensible = options[:extensible]
+          @items = options[:items]
+          @extension_type = options[:extension_type]
+          @extension_items = options[:extension_items]
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,13 @@
+module Expressir
+  module Model
+    module Types
+      class Generic
+        include Identifier
+
+        def initialize(options = {})
+          @id = options[:id]
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,13 @@
+module Expressir
+  module Model
+    module Types
+      class GenericEntity
+        include Identifier
+
+        def initialize(options = {})
+          @id = options[:id]
+        end
+      end
+    end
+  end
+end

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

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

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

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

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

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

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

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

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

@@ -0,0 +1,13 @@
+module Expressir
+  module Model
+    module Types
+      class Real
+        attr_accessor :precision
+
+        def initialize(options = {})
+          @precision = options[:precision]
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,21 @@
+module Expressir
+  module Model
+    module Types
+      class Select
+        attr_accessor :extensible
+        attr_accessor :generic_entity
+        attr_accessor :items
+        attr_accessor :extension_type
+        attr_accessor :extension_items
+
+        def initialize(options = {})
+          @extensible = options[:extensible]
+          @generic_entity = options[:generic_entity]
+          @items = options[:items]
+          @extension_type = options[:extension_type]
+          @extension_items = options[:extension_items]
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,17 @@
+module Expressir
+  module Model
+    module Types
+      class Set
+        attr_accessor :bound1
+        attr_accessor :bound2
+        attr_accessor :base_type
+
+        def initialize(options = {})
+          @bound1 = options[:bound1]
+          @bound2 = options[:bound2]
+          @base_type = options[:base_type]
+        end
+      end
+    end
+  end
+end

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

@@ -0,0 +1,15 @@
+module Expressir
+  module Model
+    module Types
+      class String
+        attr_accessor :width
+        attr_accessor :fixed
+
+        def initialize(options = {})
+          @width = options[:width]
+          @fixed = options[:fixed]
+        end
+      end
+    end
+  end
+end

data/lib/expressir/model/unique.rb

@@ -0,0 +1,15 @@
+module Expressir
+  module Model
+    class Unique
+      include Identifier
+
+      attr_accessor :attributes
+
+      def initialize(options = {})
+        @id = options[:id]
+
+        @attributes = options[:attributes]
+      end
+    end
+  end
+end