steep 0.28.0 → 0.29.0
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/CHANGELOG.md +6 -0
- data/lib/steep.rb +3 -2
- data/lib/steep/annotation_parser.rb +2 -4
- data/lib/steep/ast/builtin.rb +9 -1
- data/lib/steep/ast/types/factory.rb +161 -52
- data/lib/steep/ast/types/logic.rb +63 -0
- data/lib/steep/interface/method_type.rb +14 -4
- data/lib/steep/module_helper.rb +25 -0
- data/lib/steep/project/completion_provider.rb +48 -51
- data/lib/steep/project/file.rb +3 -3
- data/lib/steep/project/hover_content.rb +3 -5
- data/lib/steep/signature/validator.rb +3 -3
- data/lib/steep/subtyping/check.rb +5 -7
- data/lib/steep/subtyping/constraints.rb +8 -0
- data/lib/steep/type_construction.rb +204 -207
- data/lib/steep/type_inference/constant_env.rb +2 -5
- data/lib/steep/type_inference/logic_type_interpreter.rb +219 -0
- data/lib/steep/type_inference/type_env.rb +2 -2
- data/lib/steep/version.rb +1 -1
- data/smoke/type_case/a.rb +0 -7
- data/steep.gemspec +1 -1
- metadata +7 -7
- data/lib/steep/ast/method_type.rb +0 -126
- data/lib/steep/ast/namespace.rb +0 -80
- data/lib/steep/names.rb +0 -86
data/lib/steep/ast/namespace.rb
DELETED
|
@@ -1,80 +0,0 @@
|
|
|
1
|
-
module Steep
|
|
2
|
-
module AST
|
|
3
|
-
class Namespace
|
|
4
|
-
attr_reader :path
|
|
5
|
-
|
|
6
|
-
def initialize(path:, absolute:)
|
|
7
|
-
@path = path
|
|
8
|
-
@absolute = absolute
|
|
9
|
-
end
|
|
10
|
-
|
|
11
|
-
def self.empty
|
|
12
|
-
new(path: [], absolute: false)
|
|
13
|
-
end
|
|
14
|
-
|
|
15
|
-
def self.root
|
|
16
|
-
new(path: [], absolute: true)
|
|
17
|
-
end
|
|
18
|
-
|
|
19
|
-
def +(other)
|
|
20
|
-
if other.absolute?
|
|
21
|
-
other
|
|
22
|
-
else
|
|
23
|
-
self.class.new(path: path + other.path, absolute: absolute?)
|
|
24
|
-
end
|
|
25
|
-
end
|
|
26
|
-
|
|
27
|
-
def append(component)
|
|
28
|
-
self.class.new(path: path + [component], absolute: absolute?)
|
|
29
|
-
end
|
|
30
|
-
|
|
31
|
-
def parent
|
|
32
|
-
raise "Parent with empty namespace" if empty?
|
|
33
|
-
self.class.new(path: path.take(path.size - 1), absolute: absolute?)
|
|
34
|
-
end
|
|
35
|
-
|
|
36
|
-
def absolute?
|
|
37
|
-
@absolute
|
|
38
|
-
end
|
|
39
|
-
|
|
40
|
-
def relative?
|
|
41
|
-
!absolute?
|
|
42
|
-
end
|
|
43
|
-
|
|
44
|
-
def absolute!
|
|
45
|
-
self.class.new(path: path, absolute: true)
|
|
46
|
-
end
|
|
47
|
-
|
|
48
|
-
def empty?
|
|
49
|
-
path.empty?
|
|
50
|
-
end
|
|
51
|
-
|
|
52
|
-
def ==(other)
|
|
53
|
-
other.is_a?(Namespace) && other.path == path && other.absolute? == absolute?
|
|
54
|
-
end
|
|
55
|
-
|
|
56
|
-
alias eql? ==
|
|
57
|
-
|
|
58
|
-
def hash
|
|
59
|
-
self.class.hash ^ path.hash ^ absolute?.hash
|
|
60
|
-
end
|
|
61
|
-
|
|
62
|
-
def to_s
|
|
63
|
-
if empty?
|
|
64
|
-
absolute? ? "::" : ""
|
|
65
|
-
else
|
|
66
|
-
s = path.join("::")
|
|
67
|
-
absolute? ? "::#{s}::" : "#{s}::"
|
|
68
|
-
end
|
|
69
|
-
end
|
|
70
|
-
|
|
71
|
-
def self.parse(string)
|
|
72
|
-
if string.start_with?("::")
|
|
73
|
-
new(path: string.split("::").drop(1).map(&:to_sym), absolute: true)
|
|
74
|
-
else
|
|
75
|
-
new(path: string.split("::").map(&:to_sym), absolute: false)
|
|
76
|
-
end
|
|
77
|
-
end
|
|
78
|
-
end
|
|
79
|
-
end
|
|
80
|
-
end
|
data/lib/steep/names.rb
DELETED
|
@@ -1,86 +0,0 @@
|
|
|
1
|
-
module Steep
|
|
2
|
-
module Names
|
|
3
|
-
class Base
|
|
4
|
-
attr_reader :namespace
|
|
5
|
-
attr_reader :name
|
|
6
|
-
attr_reader :location
|
|
7
|
-
|
|
8
|
-
def initialize(namespace:, name:, location: nil)
|
|
9
|
-
@namespace = namespace
|
|
10
|
-
@name = name
|
|
11
|
-
@location = location
|
|
12
|
-
end
|
|
13
|
-
|
|
14
|
-
def absolute?
|
|
15
|
-
namespace.absolute?
|
|
16
|
-
end
|
|
17
|
-
|
|
18
|
-
def relative?
|
|
19
|
-
!absolute?
|
|
20
|
-
end
|
|
21
|
-
|
|
22
|
-
def ==(other)
|
|
23
|
-
other.is_a?(self.class) && other.name == name && other.namespace == namespace
|
|
24
|
-
end
|
|
25
|
-
|
|
26
|
-
def hash
|
|
27
|
-
self.class.hash ^ name.hash ^ namespace.hash
|
|
28
|
-
end
|
|
29
|
-
|
|
30
|
-
alias eql? ==
|
|
31
|
-
|
|
32
|
-
def self.parse(string)
|
|
33
|
-
namespace = AST::Namespace.parse(string.to_s)
|
|
34
|
-
*_, name = namespace.path
|
|
35
|
-
new(namespace: namespace.parent, name: name)
|
|
36
|
-
end
|
|
37
|
-
|
|
38
|
-
def absolute!
|
|
39
|
-
self.class.new(namespace: namespace.absolute!,
|
|
40
|
-
name: name)
|
|
41
|
-
end
|
|
42
|
-
|
|
43
|
-
def in_namespace(namespace)
|
|
44
|
-
if absolute?
|
|
45
|
-
self
|
|
46
|
-
else
|
|
47
|
-
self.class.new(namespace: namespace + self.namespace, name: name)
|
|
48
|
-
end
|
|
49
|
-
end
|
|
50
|
-
|
|
51
|
-
def to_s
|
|
52
|
-
"#{namespace}#{name}"
|
|
53
|
-
end
|
|
54
|
-
end
|
|
55
|
-
|
|
56
|
-
class Module < Base
|
|
57
|
-
def self.from_node(node)
|
|
58
|
-
case node.type
|
|
59
|
-
when :const, :casgn
|
|
60
|
-
namespace = namespace_from_node(node.children[0]) or return
|
|
61
|
-
name = node.children[1]
|
|
62
|
-
new(namespace: namespace, name: name)
|
|
63
|
-
end
|
|
64
|
-
end
|
|
65
|
-
|
|
66
|
-
def self.namespace_from_node(node)
|
|
67
|
-
case node&.type
|
|
68
|
-
when nil
|
|
69
|
-
AST::Namespace.empty
|
|
70
|
-
when :cbase
|
|
71
|
-
AST::Namespace.root
|
|
72
|
-
when :const
|
|
73
|
-
namespace_from_node(node.children[0])&.yield_self do |parent|
|
|
74
|
-
parent.append(node.children[1])
|
|
75
|
-
end
|
|
76
|
-
end
|
|
77
|
-
end
|
|
78
|
-
end
|
|
79
|
-
|
|
80
|
-
class Interface < Base
|
|
81
|
-
end
|
|
82
|
-
|
|
83
|
-
class Alias < Base
|
|
84
|
-
end
|
|
85
|
-
end
|
|
86
|
-
end
|