Class: Literal::Types::ConstraintType Private

Inherits:
Object
  • Object
show all
Includes:
Literal::Type
Defined in:
lib/literal/types/constraint_type.rb

Overview

This class is part of a private API. You should avoid using this class if possible, as it may be removed or be changed in the future.

API:

  • private

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(object_constraints, property_constraints) ⇒ ConstraintType

This method is part of a private API. You should avoid using this method if possible, as it may be removed or be changed in the future.

Returns a new instance of ConstraintType.

API:

  • private



7
8
9
10
11
 
# File 'lib/literal/types/constraint_type.rb', line 7

def initialize(object_constraints, property_constraints)
	@object_constraints = object_constraints
	@property_constraints = property_constraints
	freeze
end

Instance Attribute Details

#object_constraints ⇒ Object (readonly)

This method is part of a private API. You should avoid using this method if possible, as it may be removed or be changed in the future.

API:

  • private



13
14
15
 
# File 'lib/literal/types/constraint_type.rb', line 13

def object_constraints
  @object_constraints
end

#property_constraints ⇒ Object (readonly)

This method is part of a private API. You should avoid using this method if possible, as it may be removed or be changed in the future.

API:

  • private



14
15
16
 
# File 'lib/literal/types/constraint_type.rb', line 14

def property_constraints
  @property_constraints
end

Instance Method Details

#<=(other, context: nil) ⇒ Object

This method is part of a private API. You should avoid using this method if possible, as it may be removed or be changed in the future.

API:

  • private



72
73
74
75
76
77
 
# File 'lib/literal/types/constraint_type.rb', line 72

def <=(other, context: nil)
	case other
	when Module
		@object_constraints.any? { |constraint| Literal.subtype?(constraint, other, context:) }
	end
end

#===(value) ⇒ Object

This method is part of a private API. You should avoid using this method if possible, as it may be removed or be changed in the future.

API:

  • private



20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
 
# File 'lib/literal/types/constraint_type.rb', line 20

def ===(value)
	object_constraints = @object_constraints

	i, len = 0, object_constraints.size
	while i < len
		return false unless object_constraints[i] === value
		i += 1
	end

	result = true

	@property_constraints.each do |a, t|
		# We intentionally don’t return early here becuase it triggers an allocation.
		if result && !(t === value.public_send(a))
			result = false
		end
	rescue NoMethodError => e
		raise unless e.name == a && e.receiver == value
		return false
	end

	result
end

#>=(other, context: nil) ⇒ Object

This method is part of a private API. You should avoid using this method if possible, as it may be removed or be changed in the future.

API:

  • private



44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
 
# File 'lib/literal/types/constraint_type.rb', line 44

def >=(other, context: nil)
	case other
	when Literal::Types::ConstraintType
		other_object_constraints = other.object_constraints
		return false unless @object_constraints.all? do |constraint|
			other_object_constraints.any? { |c| Literal.subtype?(c, constraint, context:) }
		end

		other_property_constraints = other.property_constraints
		return false unless @property_constraints.all? do |k, v|
			Literal.subtype?(other_property_constraints[k], v, context:)
		end

		true
	when Literal::Types::IntersectionType
		other_object_constraints = other.types
		return false unless @object_constraints.all? do |constraint|
			other_object_constraints.any? { |c| Literal.subtype?(c, constraint, context:) }
		end

		true
	when Literal::Types::FrozenType
		@object_constraints.all? { |constraint| Literal.subtype?(other.type, constraint, context:) }
	else
		false
	end
end

#inspect ⇒ Object

This method is part of a private API. You should avoid using this method if possible, as it may be removed or be changed in the future.

API:

  • private



16
17
18
 
# File 'lib/literal/types/constraint_type.rb', line 16

def inspect
	"_Constraint(#{inspect_constraints})"
end

#record_literal_type_errors(context) ⇒ Object

This method is part of a private API. You should avoid using this method if possible, as it may be removed or be changed in the future.

API:

  • private



79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
 
# File 'lib/literal/types/constraint_type.rb', line 79

def record_literal_type_errors(context)
	@object_constraints.each do |constraint|
		next if constraint === context.actual

		context.add_child(label: inspect, expected: constraint, actual: context.actual)
	end

	@property_constraints.each do |property, constraint|
		next unless context.actual.respond_to?(property)
		actual = context.actual.public_send(property)
		next if constraint === actual

		context.add_child(label: ".#{property}", expected: constraint, actual:)
	end
end