Sha256: 53e34c285c090eb69e32143f6bdcd9de98720b5900d5a1e0727292ba66abfe35
Contents?: true
Size: 1.77 KB
Versions: 7
Compression:
Stored size: 1.77 KB
Contents
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 attr_accessor :informal_propositions 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] @informal_propositions = options[:informal_propositions] 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.push(*@informal_propositions) if @informal_propositions items end end end end
Version data entries
7 entries across 7 versions & 1 rubygems