holistic-ruby 0.1.4 → 0.1.7

data/lib/holistic/ruby/type_inference/solve_pending_references.rb

@@ -5,7 +5,9 @@ module Holistic::Ruby::TypeInference
     extend self
 
     def call(application:)
-      application.references.list_references_pending_type_inference_conclusion.each do |reference|
+      until application.type_inference_processing_queue.empty?
+        reference = application.type_inference_processing_queue.pop
+
         Solve.call(application:, reference:)
       end
     end

data/lib/holistic/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Holistic
-  VERSION = "0.1.4"
+  VERSION = "0.1.7"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: holistic-ruby
 version: !ruby/object:Gem::Version
-  version: 0.1.4
+  version: 0.1.7
 platform: ruby
 authors:
 - Luiz Vasconcellos
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2023-08-20 00:00:00.000000000 Z
+date: 2023-09-07 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: syntax_tree
@@ -73,9 +73,14 @@ files:
 - lib/holistic.rb
 - lib/holistic/application.rb
 - lib/holistic/background_process.rb
-- lib/holistic/database/table.rb
+- lib/holistic/database.rb
+- lib/holistic/database/migrations.rb
+- lib/holistic/database/node.rb
+- lib/holistic/database/relation.rb
 - lib/holistic/document/cursor.rb
-- lib/holistic/document/file.rb
+- lib/holistic/document/file/record.rb
+- lib/holistic/document/file/repository.rb
+- lib/holistic/document/file/store.rb
 - lib/holistic/document/location.rb
 - lib/holistic/document/unsaved/change.rb
 - lib/holistic/document/unsaved/collection.rb
@@ -110,23 +115,29 @@ files:
 - lib/holistic/ruby/parser/live_editing/process_file_changed.rb
 - lib/holistic/ruby/parser/nesting_syntax.rb
 - lib/holistic/ruby/parser/program_visitor.rb
-- lib/holistic/ruby/parser/table_of_contents.rb
+- lib/holistic/ruby/reference/delete.rb
 - lib/holistic/ruby/reference/find_referenced_scope.rb
 - lib/holistic/ruby/reference/record.rb
-- lib/holistic/ruby/reference/register.rb
 - lib/holistic/ruby/reference/repository.rb
-- lib/holistic/ruby/reference/unregister.rb
+- lib/holistic/ruby/reference/store.rb
+- lib/holistic/ruby/scope/delete.rb
 - lib/holistic/ruby/scope/kind.rb
+- lib/holistic/ruby/scope/lexical.rb
+- lib/holistic/ruby/scope/list_class_methods.rb
+- lib/holistic/ruby/scope/list_instance_methods.rb
 - lib/holistic/ruby/scope/list_references.rb
 - lib/holistic/ruby/scope/location.rb
 - lib/holistic/ruby/scope/outline.rb
 - lib/holistic/ruby/scope/record.rb
-- lib/holistic/ruby/scope/register.rb
 - lib/holistic/ruby/scope/repository.rb
-- lib/holistic/ruby/scope/unregister.rb
+- lib/holistic/ruby/scope/store.rb
 - lib/holistic/ruby/type_inference/clue/method_call.rb
+- lib/holistic/ruby/type_inference/clue/reference_to_superclass.rb
 - lib/holistic/ruby/type_inference/clue/scope_reference.rb
-- lib/holistic/ruby/type_inference/conclusion.rb
+- lib/holistic/ruby/type_inference/processing_queue.rb
+- lib/holistic/ruby/type_inference/resolver/class_method.rb
+- lib/holistic/ruby/type_inference/resolver/instance_method.rb
+- lib/holistic/ruby/type_inference/resolver/scope.rb
 - lib/holistic/ruby/type_inference/solve.rb
 - lib/holistic/ruby/type_inference/solve_pending_references.rb
 - lib/holistic/version.rb

data/lib/holistic/database/table.rb

@@ -1,78 +0,0 @@
-# frozen_string_literal: true
-
-class Holistic::Database::Table
-  attr_reader :primary_attribute, :primary_index, :secondary_indices
-
-  def initialize(primary_attribute:, indices: [])
-    @primary_attribute = primary_attribute
-
-    @primary_index = ::Hash.new
-
-    @secondary_indices = indices.map do |attribute_name|
-      [attribute_name, ::Hash.new { |hash, key| hash[key] = ::Set.new }]
-    end.to_h
-  end
-
-  RecordNotUniqueError = ::Class.new(::StandardError)
-
-  def insert(record)
-    primary_key = record.fetch(primary_attribute)
-
-    if primary_index.key?(primary_key)
-      raise RecordNotUniqueError, "record already inserted: #{record.inspect}"
-    end
-
-    primary_index[primary_key] = record
-
-    secondary_indices.each do |attribute_name, secondary_index|
-      Array(record[attribute_name]).each do |value|
-        secondary_index[value].add(primary_key)
-      end
-    end
-  end
-
-  def find(identifier)
-    primary_index[identifier]
-  end
-
-  def filter(name, value)
-    return [] unless secondary_indices[name].key?(value)
-
-    secondary_indices.dig(name, value).to_a.map { find(_1) }
-  end
-
-  def update(record)
-    primary_key = record.fetch(primary_attribute)
-
-    delete(primary_key)
-
-    insert(record)
-  end
-
-  def delete(primary_key)
-    record = find(primary_key)
-
-    return if record.nil?
-
-    primary_index.delete(primary_key)
-
-    secondary_indices.each do |attribute_name, index_data|
-      Array(record[attribute_name]).each do |value|
-        index_data[value].delete(primary_key)
-        index_data.delete(value) if index_data[value].empty?
-      end
-    end
-
-    record
-  end
-
-  concerning :TestHelpers do
-    def all
-      primary_index.values
-    end
-
-    def size
-      primary_index.size
-    end
-  end
-end

data/lib/holistic/document/file.rb

@@ -1,36 +0,0 @@
-# frozen_string_literal: true
-
-module Holistic::Document
-  class File
-    attr_reader :path
-
-    def initialize(path:)
-      @path = path
-    end
-
-    def read
-      ::File.read(path)
-    end
-
-    def write(content)
-      ::File.write(path, content)
-    end
-
-    class Fake
-      attr_reader :path
-
-      def initialize(path:, content:)
-        @path = path
-        @content = content
-      end
-
-      def read
-        @content
-      end
-
-      def write(content) 
-        @content = content
-      end
-    end
-  end
-end

data/lib/holistic/ruby/parser/table_of_contents.rb

@@ -1,17 +0,0 @@
-# frozen_string_literal: true
-
-module Holistic::Ruby::Parser
-  # TODO: move to an attibute of the scope
-  class TableOfContents
-    attr_reader :records
-
-    def initialize
-      @records = Hash.new { |hash, key| hash[key] = {} }
-    end
-
-    def register(scope:, name:, clue:)
-      @records[scope.fully_qualified_name][name] ||= []
-      @records[scope.fully_qualified_name][name] << clue
-    end
-  end
-end

data/lib/holistic/ruby/reference/register.rb

@@ -1,15 +0,0 @@
-# frozen_string_literal: true
-
-module Holistic::Ruby::Reference
-  module Register
-    extend self
-
-    def call(repository:, scope:, clues:, location:)
-      conclusion = ::Holistic::Ruby::TypeInference::Conclusion.pending
-
-      reference = ::Holistic::Ruby::Reference::Record.new(scope:, clues:, location:, conclusion:)
-
-      repository.register_reference(reference)
-    end
-  end
-end

data/lib/holistic/ruby/reference/unregister.rb

@@ -1,11 +0,0 @@
-# frozen_string_literal: true
-
-module Holistic::Ruby::Reference
-  module Unregister
-    extend self
-
-    def call(repository:, reference:)
-      repository.delete(reference.identifier)
-    end
-  end
-end

data/lib/holistic/ruby/scope/register.rb

@@ -1,31 +0,0 @@
-# frozen_string_literal: true
-
-module Holistic::Ruby::Scope
-  module Register
-    extend self
-
-    def call(repository:, parent:, kind:, name:, location:)
-      child_scope = append_location_to_existing_scope(scope: parent, name:, location:) || add_new_scope(parent:, kind:, name:, location:)
-
-      repository.register_scope(child_scope)
-
-      child_scope
-    end
-
-    private
-
-    def append_location_to_existing_scope(scope:, name:, location:)
-      child_scope = scope.children.find { _1.name == name }
-
-      return if child_scope.nil?
-
-      child_scope.tap { _1.locations << location }
-    end
-
-    def add_new_scope(parent:, kind:, name:, location:)
-      child_scope = Record.new(kind:, name:, parent:, location:)
-
-      child_scope.tap { parent.children << _1 }
-    end
-  end
-end

data/lib/holistic/ruby/scope/unregister.rb

@@ -1,27 +0,0 @@
-# frozen_string_literal: true
-
-module Holistic::Ruby::Scope
-  module Unregister
-    extend self
-
-    def call(repository:, fully_qualified_name:, file_path:)
-      scope = repository.find_by_fully_qualified_name(fully_qualified_name)
-
-      return :scope_not_found if scope.nil?
-
-      updated_locations = scope.locations.reject! { |scope_location| scope_location.declaration.file_path == file_path }
-
-      return :scope_not_defined_in_speciefied_file if updated_locations.nil?
-
-      if updated_locations.empty?
-        scope.parent.children.delete(scope)
-
-        repository.delete_by_fully_qualified_name(fully_qualified_name)
-      else
-        repository.register_scope(scope)
-      end
-
-      :definition_unregistered
-    end
-  end
-end

data/lib/holistic/ruby/type_inference/conclusion.rb

@@ -1,20 +0,0 @@
-# frozen_string_literal: true
-
-module Holistic::Ruby::TypeInference
-  STATUS_PENDING = :pending
-  STATUS_DONE    = :done
-
-  Conclusion = ::Data.define(:status, :dependency_identifier) do
-    def self.pending
-      new(status: STATUS_PENDING, dependency_identifier: nil)
-    end
-
-    def self.unresolved
-      new(status: STATUS_DONE, dependency_identifier: nil)
-    end
-
-    def self.done(dependency_identifier)
-      new(status: STATUS_DONE, dependency_identifier:)
-    end
-  end
-end