t-ruby 0.0.38 → 0.0.39

data/lib/t_ruby/type_env.rb

@@ -0,0 +1,127 @@
+# frozen_string_literal: true
+
+module TRuby
+  # TypeEnv - 타입 환경 (스코프 체인)
+  # TypeScript의 Checker에서 심볼 타입을 추적하는 방식을 참고
+  class TypeEnv
+    attr_reader :parent, :bindings, :instance_vars
+
+    def initialize(parent = nil)
+      @parent = parent
+      @bindings = {}      # 지역 변수 { name => type }
+      @instance_vars = {} # 인스턴스 변수 { name => type }
+      @class_vars = {}    # 클래스 변수 { name => type }
+    end
+
+    # 지역 변수 타입 정의
+    # @param name [String] 변수 이름
+    # @param type [IR::TypeNode, String] 타입
+    def define(name, type)
+      @bindings[name] = type
+    end
+
+    # 변수 타입 조회 (스코프 체인 탐색)
+    # @param name [String] 변수 이름
+    # @return [IR::TypeNode, String, nil] 타입 또는 nil
+    def lookup(name)
+      # 인스턴스 변수
+      if name.start_with?("@") && !name.start_with?("@@")
+        return lookup_instance_var(name)
+      end
+
+      # 클래스 변수
+      if name.start_with?("@@")
+        return lookup_class_var(name)
+      end
+
+      # 지역 변수 또는 메서드 파라미터
+      return @bindings[name] if @bindings.key?(name)
+
+      # 부모 스코프에서 검색
+      @parent&.lookup(name)
+    end
+
+    # 인스턴스 변수 타입 정의
+    # @param name [String] 변수 이름 (@포함)
+    # @param type [IR::TypeNode, String] 타입
+    def define_instance_var(name, type)
+      # @ 접두사 정규화
+      normalized = name.start_with?("@") ? name : "@#{name}"
+      @instance_vars[normalized] = type
+    end
+
+    # 인스턴스 변수 타입 조회
+    # @param name [String] 변수 이름 (@포함)
+    # @return [IR::TypeNode, String, nil] 타입 또는 nil
+    def lookup_instance_var(name)
+      normalized = name.start_with?("@") ? name : "@#{name}"
+      return @instance_vars[normalized] if @instance_vars.key?(normalized)
+
+      @parent&.lookup_instance_var(normalized)
+    end
+
+    # 클래스 변수 타입 정의
+    # @param name [String] 변수 이름 (@@포함)
+    # @param type [IR::TypeNode, String] 타입
+    def define_class_var(name, type)
+      normalized = name.start_with?("@@") ? name : "@@#{name}"
+      @class_vars[normalized] = type
+    end
+
+    # 클래스 변수 타입 조회
+    # @param name [String] 변수 이름 (@@포함)
+    # @return [IR::TypeNode, String, nil] 타입 또는 nil
+    def lookup_class_var(name)
+      normalized = name.start_with?("@@") ? name : "@@#{name}"
+      return @class_vars[normalized] if @class_vars.key?(normalized)
+
+      @parent&.lookup_class_var(normalized)
+    end
+
+    # 자식 스코프 생성 (블록, 람다 등)
+    # @return [TypeEnv] 새 자식 스코프
+    def child_scope
+      TypeEnv.new(self)
+    end
+
+    # 현재 스코프에서 정의된 모든 변수 이름
+    # @return [Array<String>] 변수 이름 배열
+    def local_names
+      @bindings.keys
+    end
+
+    # 현재 스코프에서 정의된 모든 인스턴스 변수 이름
+    # @return [Array<String>] 인스턴스 변수 이름 배열
+    def instance_var_names
+      @instance_vars.keys
+    end
+
+    # 변수가 현재 스코프에 정의되어 있는지 확인
+    # @param name [String] 변수 이름
+    # @return [Boolean]
+    def defined_locally?(name)
+      @bindings.key?(name)
+    end
+
+    # 스코프 깊이 (디버깅용)
+    # @return [Integer] 스코프 깊이
+    def depth
+      @parent ? @parent.depth + 1 : 0
+    end
+
+    # 스코프 체인에서 모든 변수 수집
+    # @return [Hash] 모든 변수의 { name => type }
+    def all_bindings
+      parent_bindings = @parent ? @parent.all_bindings : {}
+      parent_bindings.merge(@bindings)
+    end
+
+    # 디버그 출력
+    def to_s
+      parts = ["TypeEnv(depth=#{depth})"]
+      parts << "  locals: #{@bindings.keys.join(", ")}" if @bindings.any?
+      parts << "  ivars: #{@instance_vars.keys.join(", ")}" if @instance_vars.any?
+      parts.join("\n")
+    end
+  end
+end

data/lib/t_ruby/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module TRuby
-  VERSION = "0.0.38"
+  VERSION = "0.0.39"
 end

data/lib/t_ruby/watcher.rb

@@ -80,14 +80,18 @@ module TRuby
 
     private
 
+    def watch_directory(path)
+      File.directory?(path) ? path : File.dirname(path)
+    end
+
     def watch_directories
-      @paths.map do |path|
-        if File.directory?(path)
-          path
-        else
-          File.dirname(path)
-        end
-      end.uniq
+      if @paths == [File.expand_path(".")]
+        # Default case: only watch source_include directories from config
+        @config.source_include.map { |dir| File.expand_path(dir) }.select { |dir| Dir.exist?(dir) }
+      else
+        # Specific paths provided: watch those paths
+        @paths.map { |path| watch_directory(path) }.uniq
+      end
     end
 
     def handle_changes(modified, added, removed)
@@ -243,20 +247,21 @@ module TRuby
     def find_source_files_by_extension(ext)
       files = []
 
-      # If watching specific paths, use those paths
-      # Otherwise, use Config's find_source_files which respects include/exclude patterns
-      if @paths == [File.expand_path(".")]
-        # Default case: use config's src_dir with include/exclude patterns
-        files = @config.find_source_files.select { |f| f.end_with?(ext) }
-      else
-        # Specific paths provided: search in those paths but still apply exclude patterns
-        @paths.each do |path|
-          if File.directory?(path)
-            Dir.glob(File.join(path, "**", "*#{ext}")).each do |file|
-              files << file unless @config.excluded?(file)
-            end
-          elsif File.file?(path) && path.end_with?(ext) && !@config.excluded?(path)
-            files << path
+      # Always search in source_include directories only
+      source_paths = if @paths == [File.expand_path(".")]
+                       @config.source_include.map { |dir| File.expand_path(dir) }
+                     else
+                       @paths.map { |path| File.expand_path(path) }
+                     end
+
+      source_paths.each do |path|
+        if File.file?(path)
+          # Handle single file path
+          files << path if path.end_with?(ext) && !@config.excluded?(path)
+        elsif Dir.exist?(path)
+          # Handle directory path
+          Dir.glob(File.join(path, "**", "*#{ext}")).each do |file|
+            files << file unless @config.excluded?(file)
           end
         end
       end

data/lib/t_ruby.rb

@@ -11,6 +11,7 @@ require_relative "t_ruby/smt_solver"
 
 # Basic components
 require_relative "t_ruby/type_alias_registry"
+require_relative "t_ruby/body_parser"
 require_relative "t_ruby/parser"
 require_relative "t_ruby/union_type_parser"
 require_relative "t_ruby/generic_type_parser"
@@ -29,6 +30,8 @@ require_relative "t_ruby/constraint_checker"
 require_relative "t_ruby/type_inferencer"
 require_relative "t_ruby/runtime_validator"
 require_relative "t_ruby/type_checker"
+require_relative "t_ruby/type_env"
+require_relative "t_ruby/ast_type_inferrer"
 require_relative "t_ruby/cache"
 require_relative "t_ruby/package_manager"
 

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: t-ruby
 version: !ruby/object:Gem::Version
-  version: 0.0.38
+  version: 0.0.39
 platform: ruby
 authors:
 - Y. Fred Kim
@@ -36,7 +36,9 @@ files:
 - README.md
 - bin/trc
 - lib/t_ruby.rb
+- lib/t_ruby/ast_type_inferrer.rb
 - lib/t_ruby/benchmark.rb
+- lib/t_ruby/body_parser.rb
 - lib/t_ruby/bundler_integration.rb
 - lib/t_ruby/cache.rb
 - lib/t_ruby/cli.rb
@@ -61,6 +63,7 @@ files:
 - lib/t_ruby/smt_solver.rb
 - lib/t_ruby/type_alias_registry.rb
 - lib/t_ruby/type_checker.rb
+- lib/t_ruby/type_env.rb
 - lib/t_ruby/type_erasure.rb
 - lib/t_ruby/type_inferencer.rb
 - lib/t_ruby/union_type_parser.rb
@@ -69,7 +72,7 @@ files:
 - lib/t_ruby/watcher.rb
 homepage: https://type-ruby.github.io
 licenses:
-- MIT
+- BSD-2-Clause
 metadata:
   rubygems_mfa_required: 'true'
 rdoc_options: []