orbacle 0.1.0

data/lib/orbacle/union_type.rb

@@ -0,0 +1,40 @@
+# frozen_string_literal: true
+
+module Orbacle
+  class UnionType
+    def initialize(types)
+      @types_set = Set.new(types)
+    end
+
+    attr_reader :types_set
+
+    def types
+      @types_set
+    end
+
+    def ==(other)
+      self.class == other.class &&
+        self.types_set == other.types_set
+    end
+
+    def hash
+      [
+        self.class,
+        self.types_set,
+      ].hash ^ BIG_VALUE
+    end
+    alias eql? ==
+
+    def each_possible_type
+      types.each do |type|
+        type.each_possible_type do |t|
+          yield t
+        end
+      end
+    end
+
+    def bottom?
+      false
+    end
+  end
+end

data/lib/orbacle/uuid_id_generator.rb

@@ -0,0 +1,11 @@
+# frozen_string_literal: true
+
+require 'securerandom'
+
+module Orbacle
+  class UuidIdGenerator
+    def call
+      SecureRandom.uuid
+    end
+  end
+end

data/lib/orbacle/worklist.rb

@@ -0,0 +1,51 @@
+# frozen_string_literal: true
+
+require 'fc'
+
+module Orbacle
+  class Worklist
+    BlockNode = Struct.new(:node)
+    BlockLambda = Struct.new(:lambda_id)
+    MessageSend = Struct.new(:message_send, :send_obj, :send_args, :send_result, :block, :location)
+    SuperSend = Struct.new(:send_args, :send_result, :block, :method_id, :location)
+
+    def initialize
+      @message_sends = Set.new
+      @nodes = FastContainers::PriorityQueue.new(:max)
+      @handled_message_sends = Set.new
+      @nodes_counter = {}
+    end
+
+    attr_reader :message_sends, :nodes, :handled_message_sends
+    attr_writer :nodes
+
+    def add_message_send(message_send)
+      @message_sends << message_send
+    end
+
+    def enqueue_node(v)
+      @nodes.push(v, 1)
+    end
+
+    def pop_node
+      @nodes.pop
+    end
+
+    def count_node(node)
+      @nodes_counter[node] = @nodes_counter.fetch(node, 0) + 1
+    end
+
+    def limit_exceeded?(node)
+      # @nodes_counter.fetch(node, 0) > 100
+      false
+    end
+
+    def message_send_handled?(message_send)
+      handled_message_sends.include?(message_send)
+    end
+
+    def mark_message_send_as_handled(message_send)
+      handled_message_sends << message_send
+    end
+  end
+end

data/orbacle.gemspec

@@ -0,0 +1,33 @@
+# coding: utf-8
+lib = File.expand_path('../lib', __FILE__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+
+Gem::Specification.new do |spec|
+  spec.name          = 'orbacle'
+  spec.version       = '0.1.0'
+  spec.licenses      = ['MIT']
+  spec.authors       = ['Rafał Łasocha']
+  spec.email         = 'orbacle@swistak35.com'
+
+  spec.summary       = "Static analysis for Ruby"
+  spec.description   = "A simple hello world gem"
+  spec.homepage      = 'https://github.com/swistak35/orbacle'
+
+  spec.files         = `git ls-files -z`.split("\x0").reject { |f| f.match(%r{^(test|spec|features|script)/}) }
+  spec.bindir        = 'exe'
+  spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
+  spec.require_paths = ['lib']
+  
+  spec.add_dependency 'priority_queue_cxx'
+  spec.add_dependency 'lsp-protocol', '>= 0.0.3'
+  spec.add_dependency 'parser', '~> 2.4.0.2'
+  spec.add_dependency 'rubytree', '~> 0.9.7'
+  spec.add_dependency 'rgl', '~> 0.5.3'
+  spec.add_development_dependency 'bundler', '~> 1.9'
+  spec.add_development_dependency 'rspec'
+  spec.add_development_dependency 'byebug'
+  spec.add_development_dependency 'hash_diff', '~> 0.6.2'
+  spec.add_development_dependency 'nokogiri', '>= 1.8.4'
+  spec.add_development_dependency 'mutant-rspec'
+  spec.add_development_dependency 'ruby-prof'
+end

metadata

@@ -0,0 +1,258 @@
+--- !ruby/object:Gem::Specification
+name: orbacle
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- Rafał Łasocha
+autorequire: 
+bindir: exe
+cert_chain: []
+date: 2018-07-28 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: priority_queue_cxx
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: lsp-protocol
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 0.0.3
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 0.0.3
+- !ruby/object:Gem::Dependency
+  name: parser
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 2.4.0.2
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 2.4.0.2
+- !ruby/object:Gem::Dependency
+  name: rubytree
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.9.7
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.9.7
+- !ruby/object:Gem::Dependency
+  name: rgl
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.5.3
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.5.3
+- !ruby/object:Gem::Dependency
+  name: bundler
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.9'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '1.9'
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: byebug
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: hash_diff
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.6.2
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: 0.6.2
+- !ruby/object:Gem::Dependency
+  name: nokogiri
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 1.8.4
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 1.8.4
+- !ruby/object:Gem::Dependency
+  name: mutant-rspec
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: ruby-prof
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+description: A simple hello world gem
+email: orbacle@swistak35.com
+executables:
+- orbaclerun
+extensions: []
+extra_rdoc_files: []
+files:
+- ".gitignore"
+- ".rspec"
+- ".ruby-version"
+- CHANGELOG.md
+- Gemfile
+- Gemfile.lock
+- LICENSE
+- Makefile
+- README.md
+- circle.yml
+- exe/orbaclerun
+- index.html
+- lib/orbacle.rb
+- lib/orbacle/ast_utils.rb
+- lib/orbacle/bottom_type.rb
+- lib/orbacle/builder.rb
+- lib/orbacle/builder/context.rb
+- lib/orbacle/builder/operator_assignment_processors.rb
+- lib/orbacle/class_type.rb
+- lib/orbacle/command_line_interface.rb
+- lib/orbacle/const_name.rb
+- lib/orbacle/const_ref.rb
+- lib/orbacle/constants_tree.rb
+- lib/orbacle/define_builtins.rb
+- lib/orbacle/engine.rb
+- lib/orbacle/find_definition_under_position.rb
+- lib/orbacle/generic_type.rb
+- lib/orbacle/global_tree.rb
+- lib/orbacle/graph.rb
+- lib/orbacle/indexer.rb
+- lib/orbacle/integer_id_generator.rb
+- lib/orbacle/lambda_type.rb
+- lib/orbacle/lang_server.rb
+- lib/orbacle/main_type.rb
+- lib/orbacle/nesting.rb
+- lib/orbacle/node.rb
+- lib/orbacle/nominal_type.rb
+- lib/orbacle/ruby_parser.rb
+- lib/orbacle/scope.rb
+- lib/orbacle/selfie.rb
+- lib/orbacle/type_pretty_printer.rb
+- lib/orbacle/typing_service.rb
+- lib/orbacle/union_type.rb
+- lib/orbacle/uuid_id_generator.rb
+- lib/orbacle/worklist.rb
+- orbacle.gemspec
+homepage: https://github.com/swistak35/orbacle
+licenses:
+- MIT
+metadata: {}
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubyforge_project: 
+rubygems_version: 2.7.6
+signing_key: 
+specification_version: 4
+summary: Static analysis for Ruby
+test_files: []