fix(ci): typing
This commit is contained in:
parent
995f0d66c7
commit
67406d2af0
1 changed files with 29 additions and 1 deletions
|
|
@ -6,12 +6,26 @@
|
||||||
---@field version? number Language version
|
---@field version? number Language version
|
||||||
---@field extension string File extension
|
---@field extension string File extension
|
||||||
|
|
||||||
|
---@class PartialLanguageConfig
|
||||||
|
---@field compile? string[] Compile command template
|
||||||
|
---@field run? string[] Run command template
|
||||||
|
---@field debug? string[] Debug command template
|
||||||
|
---@field executable? string Executable name
|
||||||
|
---@field version? number Language version
|
||||||
|
---@field extension? string File extension
|
||||||
|
|
||||||
---@class ContestConfig
|
---@class ContestConfig
|
||||||
---@field cpp LanguageConfig
|
---@field cpp LanguageConfig
|
||||||
---@field python LanguageConfig
|
---@field python LanguageConfig
|
||||||
---@field default_language string
|
---@field default_language string
|
||||||
---@field timeout_ms number
|
---@field timeout_ms number
|
||||||
|
|
||||||
|
---@class PartialContestConfig
|
||||||
|
---@field cpp? PartialLanguageConfig
|
||||||
|
---@field python? PartialLanguageConfig
|
||||||
|
---@field default_language? string
|
||||||
|
---@field timeout_ms? number
|
||||||
|
|
||||||
---@class HookContext
|
---@class HookContext
|
||||||
---@field problem_id string
|
---@field problem_id string
|
||||||
---@field platform string
|
---@field platform string
|
||||||
|
|
@ -34,6 +48,14 @@
|
||||||
---@field tile? fun(source_buf: number, input_buf: number, output_buf: number)
|
---@field tile? fun(source_buf: number, input_buf: number, output_buf: number)
|
||||||
---@field filename? fun(contest: string, contest_id: string, problem_id?: string, config: cp.Config, language?: string): string
|
---@field filename? fun(contest: string, contest_id: string, problem_id?: string, config: cp.Config, language?: string): string
|
||||||
|
|
||||||
|
---@class cp.UserConfig
|
||||||
|
---@field contests? table<string, PartialContestConfig>
|
||||||
|
---@field snippets? table[]
|
||||||
|
---@field hooks? Hooks
|
||||||
|
---@field debug? boolean
|
||||||
|
---@field tile? fun(source_buf: number, input_buf: number, output_buf: number)
|
||||||
|
---@field filename? fun(contest: string, contest_id: string, problem_id?: string, config: cp.Config, language?: string): string
|
||||||
|
|
||||||
local M = {}
|
local M = {}
|
||||||
|
|
||||||
local filetype_to_language = {
|
local filetype_to_language = {
|
||||||
|
|
@ -84,13 +106,19 @@ M.defaults = {
|
||||||
default_language = "cpp",
|
default_language = "cpp",
|
||||||
timeout_ms = 2000,
|
timeout_ms = 2000,
|
||||||
},
|
},
|
||||||
|
---@type PartialContestConfig
|
||||||
atcoder = {
|
atcoder = {
|
||||||
|
---@type PartialLanguageConfig
|
||||||
cpp = { version = 23 },
|
cpp = { version = 23 },
|
||||||
},
|
},
|
||||||
|
---@type PartialContestConfig
|
||||||
codeforces = {
|
codeforces = {
|
||||||
|
---@type PartialLanguageConfig
|
||||||
cpp = { version = 23 },
|
cpp = { version = 23 },
|
||||||
},
|
},
|
||||||
|
---@type PartialContestConfig
|
||||||
cses = {
|
cses = {
|
||||||
|
---@type PartialLanguageConfig
|
||||||
cpp = { version = 20 },
|
cpp = { version = 20 },
|
||||||
},
|
},
|
||||||
},
|
},
|
||||||
|
|
@ -112,7 +140,7 @@ local function extend_contest_config(base_config, contest_config)
|
||||||
return result
|
return result
|
||||||
end
|
end
|
||||||
|
|
||||||
---@param user_config cp.Config|nil
|
---@param user_config cp.UserConfig|nil
|
||||||
---@return cp.Config
|
---@return cp.Config
|
||||||
function M.setup(user_config)
|
function M.setup(user_config)
|
||||||
vim.validate({
|
vim.validate({
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue