Contents

# frozen_string_literal: true

module RaaP
  module Value
    module Intersection
      # Build an object to realize an intersection.
      def self.new(type, size: 3)
        type = type.is_a?(::String) ? RBS.parse_type(type) : type
        unless type.instance_of?(::RBS::Types::Intersection)
          ::Kernel.raise ::TypeError, "not an intersection type: #{type}"
        end
        instances = type.types.filter_map do |t|
          t.instance_of?(::RBS::Types::ClassInstance) && Object.const_get(t.name.absolute!.to_s)
        end
        instances.uniq!
        unless instances.count { |c| c.is_a?(::Class) } <= 1
          raise ArgumentError, "intersection type must have at least one class instance type in `#{instances}`"
        end

        base = instances.find { |c| c.is_a?(::Class) } || BasicObject

        c = Class.new(base) do
          instances.select { |i| !i.is_a?(::Class) }.each do |m|
            include(m)
          end

          interfaces = type.types.select do |t|
            t.instance_of?(::RBS::Types::Interface)
          end

          interfaces.each do |interface|
            Interface.define_method_from_interface(self, interface, size:)
          end
        end
        type = ::RBS::Types::ClassInstance.new(name: TypeName(base.name), args: [], location: nil)
        SymbolicCaller.new(Type.call_new_from(c, type, size:)).eval
      end
    end
  end
end

Version data entries

1 entries across 1 versions & 1 rubygems

Version	Path
raap-0.5.0	lib/raap/value/intersection.rb