adsl 0.0.2

data/lib/util/util.rb

@@ -0,0 +1,110 @@
+require 'set'
+require 'open3'
+require 'thread'
+
+class String
+  def increment_suffix
+    suffix = scan(/_\d+$/).first
+    if suffix.nil?
+      return self + "_2"
+    else
+      return self[0, self.length - suffix.length] + '_' + (suffix.to_i + 1).to_s
+    end
+  end
+end
+
+class Time
+  def self.time_execution
+    pre = Time.now
+    yield
+    ((Time.now - pre)*1000).to_i
+  end
+end
+
+def container_for(*fields, &block)
+  raise ArgumentError, 'Field list empty' if fields.empty?
+
+  all_fields = Set.new(fields)
+  if methods.include? "container_for_fields"
+    all_fields.merge send(:container_for_fields)
+  end
+  singleton_class = (class << self; self; end)
+  singleton_class.send :define_method, :container_for_fields, lambda{all_fields}
+
+  attr_accessor *fields
+
+  self.send(:define_method, :initialize) do |*options|
+    options = options.empty? ? {} : options[0]
+    options ||= {}
+    options_trimmed = Hash[options]
+
+    all_fields.each do |field|
+      instance_variable_set "@#{field}".to_sym, options_trimmed.delete(field.to_sym)
+    end
+    if block
+      instance_eval &block
+    elsif not options_trimmed.empty?
+      raise ArgumentError, "Undefined fields mentioned in initializer: #{options_trimmed.keys.map{ |key| ":#{key.to_s}"}.join(", ")}"
+    end
+  end
+
+  send :define_method, :recursively_gather do |method|
+    to_inspect = [self]
+    inspected = Set[]
+    while not to_inspect.empty?
+      elem = to_inspect.pop
+      inspected << elem
+      if elem.class.methods.include? 'container_for_fields'
+        elem.class.container_for_fields.each do |field|
+          field_val = elem.send(field)
+          next if field_val.nil?
+          [field_val].flatten.each do |subval|
+            to_inspect << subval unless inspected.include?(subval)
+          end
+        end
+      end
+    end
+    result = Set[]
+    inspected.each do |val|
+      result = result + [val.send(method)].flatten if val.class.method_defined?(method)
+    end
+    result.delete_if{ |a| a.nil? }.flatten
+  end
+end
+
+# returns stdout of the process that terminates first
+# not completely thread safe; cannot be with 1.8.7
+def process_race(*commands)
+  parent_thread = Thread.current
+  mutex = Mutex.new
+  children_threads = []
+  spawned_pids = []
+  result = nil
+  mutex.synchronize do
+    commands.each do |command|
+      children_threads << Thread.new do
+        begin
+          sleep 0.1
+          pipe = IO.popen command, 'r'
+          spawned_pids << pipe.pid
+          output = pipe.read
+          mutex.synchronize do
+            result = output if result.nil?
+            parent_thread.run
+          end
+        rescue => e
+          parent_thread.raise e unless e.message == 'die!'
+        end
+      end
+    end
+  end
+  Thread.stop
+  return result
+ensure
+  children_threads.each do |child|
+    child.raise 'die!'
+  end
+  spawned_pids.each do |pid|
+    Process.kill 'HUP', pid
+  end
+end

metadata

@@ -0,0 +1,185 @@
+--- !ruby/object:Gem::Specification 
+name: adsl
+version: !ruby/object:Gem::Version 
+  hash: 27
+  prerelease: 
+  segments: 
+  - 0
+  - 0
+  - 2
+  version: 0.0.2
+platform: ruby
+authors: 
+- Ivan Bocic
+autorequire: 
+bindir: bin
+cert_chain: []
+
+date: 2013-03-01 00:00:00 Z
+dependencies: 
+- !ruby/object:Gem::Dependency 
+  name: rake
+  prerelease: false
+  requirement: &id001 !ruby/object:Gem::Requirement 
+    none: false
+    requirements: 
+    - - ">="
+      - !ruby/object:Gem::Version 
+        hash: 3
+        segments: 
+        - 0
+        version: "0"
+  type: :development
+  version_requirements: *id001
+- !ruby/object:Gem::Dependency 
+  name: test-unit
+  prerelease: false
+  requirement: &id002 !ruby/object:Gem::Requirement 
+    none: false
+    requirements: 
+    - - ">="
+      - !ruby/object:Gem::Version 
+        hash: 3
+        segments: 
+        - 0
+        version: "0"
+  type: :development
+  version_requirements: *id002
+- !ruby/object:Gem::Dependency 
+  name: rex
+  prerelease: false
+  requirement: &id003 !ruby/object:Gem::Requirement 
+    none: false
+    requirements: 
+    - - ">="
+      - !ruby/object:Gem::Version 
+        hash: 3
+        segments: 
+        - 0
+        version: "0"
+  type: :runtime
+  version_requirements: *id003
+- !ruby/object:Gem::Dependency 
+  name: racc
+  prerelease: false
+  requirement: &id004 !ruby/object:Gem::Requirement 
+    none: false
+    requirements: 
+    - - ">="
+      - !ruby/object:Gem::Version 
+        hash: 3
+        segments: 
+        - 0
+        version: "0"
+  type: :runtime
+  version_requirements: *id004
+- !ruby/object:Gem::Dependency 
+  name: active_support
+  prerelease: false
+  requirement: &id005 !ruby/object:Gem::Requirement 
+    none: false
+    requirements: 
+    - - ">="
+      - !ruby/object:Gem::Version 
+        hash: 3
+        segments: 
+        - 0
+        version: "0"
+  type: :runtime
+  version_requirements: *id005
+- !ruby/object:Gem::Dependency 
+  name: colorize
+  prerelease: false
+  requirement: &id006 !ruby/object:Gem::Requirement 
+    none: false
+    requirements: 
+    - - ">="
+      - !ruby/object:Gem::Version 
+        hash: 3
+        segments: 
+        - 0
+        version: "0"
+  type: :runtime
+  version_requirements: *id006
+- !ruby/object:Gem::Dependency 
+  name: i18n
+  prerelease: false
+  requirement: &id007 !ruby/object:Gem::Requirement 
+    none: false
+    requirements: 
+    - - ">="
+      - !ruby/object:Gem::Version 
+        hash: 3
+        segments: 
+        - 0
+        version: "0"
+  type: :runtime
+  version_requirements: *id007
+description: ADSL parses ADSL specification, translating it into Spass for verification
+email: 
+- bo@cs.ucsb.edu
+executables: 
+- adsl-verify
+extensions: []
+
+extra_rdoc_files: []
+
+files: 
+- bin/adsl-verify
+- lib/ds/data_store_spec.rb
+- lib/parser/adsl_parser.rex
+- lib/parser/adsl_parser.racc
+- lib/parser/dsdl_parser.rex.rb
+- lib/parser/adsl_ast.rb
+- lib/parser/adsl_parser.tab.rb
+- lib/parser/dsdl_parser.tab.rb
+- lib/parser/adsl_parser.rex.rb
+- lib/util/test_helper.rb
+- lib/util/csv_hash_formatter.rb
+- lib/util/util.rb
+- lib/spass/util.rb
+- lib/spass/spass_ds_extensions.rb
+- lib/spass/ruby_extensions.rb
+- lib/spass/bin.rb
+- lib/spass/spass_translator.rb
+- lib/fol/first_order_logic.rb
+- LICENSE
+- README.md
+- Gemfile
+homepage: http://cs.ucsb.edu/~bo/adsl/
+licenses: []
+
+post_install_message: 
+rdoc_options: []
+
+require_paths: 
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement 
+  none: false
+  requirements: 
+  - - ~>
+    - !ruby/object:Gem::Version 
+      hash: 57
+      segments: 
+      - 1
+      - 8
+      - 7
+      version: 1.8.7
+required_rubygems_version: !ruby/object:Gem::Requirement 
+  none: false
+  requirements: 
+  - - ">="
+    - !ruby/object:Gem::Version 
+      hash: 3
+      segments: 
+      - 0
+      version: "0"
+requirements: []
+
+rubyforge_project: 
+rubygems_version: 1.8.24
+signing_key: 
+specification_version: 3
+summary: A tool for parsing ADSL and translating it into Spass
+test_files: []
+