-
Notifications
You must be signed in to change notification settings - Fork 0
/
types.lua
111 lines (94 loc) · 2.63 KB
/
types.lua
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
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
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
---@class RootStart
---@field bufnr? integer
---@field file? string
---@class SignOpts
---@field enable? boolean
---@field priority? integer
---@field covered? vim.api.keyset.set_extmark
---@field uncovered? vim.api.keyset.set_extmark
---@field partial? vim.api.keyset.set_extmark
---@class CommandOpts
---@field enable? boolean
---@field test_command? string[]
---@class Highlight
---@field name string
---@field highlight vim.api.keyset.highlight
-- see `:help highlights` for details
---@class HighlightOpts
---@field enable? boolean
---@field covered? Highlight
---@field uncovered? Highlight
---@field partial? Highlight
---@field notifications? Highlight
-- see `:help diagnostic-api` for details
---@class DiagnosticOpts
---@field enable? boolean
---@field severity? integer
---@class NotificationOpts
---@field enable? boolean
---@field max_lines? integer
---@field max_width? integer
---@field timeout? integer
---@field verbose? boolean
-- see `:help tarp` for details
---@class TarpOpts
---@field enable? boolean
---@field auto_load? boolean
---@field auto_update? boolean
---@field config_path? string
---@field report_dir? string
---@field report_name? string
---@field features? string[]
---@field signs? SignOpts
---@field commands? CommandOpts
---@field highlights? HighlightOpts
---@field diagnostics? DiagnosticOpts
---@field notifications? NotificationOpts
---@class CoverageOpts
---@field file? string
---@field bufnr? integer
---@class Coverage
---@field coverage number
---@field covered integer
---@field lines integer
---@field uncovered_lines integer[]
---@field covered_lines integer[]
---@class ProjectCoverage
---@field coverage number
---@field covered integer
---@field files table<string, Coverage>
---@field lines integer
---@class RawCoverageStats
---@field Line integer
---@class RawCoverageTrace
---@field address integer[]
---@field length integer
---@field line integer
---@field stats RawCoverageStats
-- The JSON structure which tarpaulin generates
---@class RawCoverageFile
---@field content string
---@field covered integer
---@field coverable integer
---@field path string[]
---@field traces RawCoverageTrace[]
---@class RawCoverageReport
---@field files RawCoverageFile[]
---@field coverage number
---@field covered integer
---@field coverable integer
---@class ExtmarkInfo
---@field bufnr integer
---If there is no id, then the Extmark is hidden
---@field id? integer
---@field kind integer
---0-indexed
---@field line? integer
---0-indexed
---@field col? integer
---@class Extmarks
---@field [string] table<string, ExtmarkInfo[]>
---@class NotificationWindow
---@field window? integer
---@field buf? integer
---@field lines string[]