go_code.py 34 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917
  1. #!./kitty/launcher/kitty +launch
  2. # License: GPLv3 Copyright: 2022, Kovid Goyal <kovid at kovidgoyal.net>
  3. import argparse
  4. import bz2
  5. import io
  6. import json
  7. import os
  8. import re
  9. import shlex
  10. import struct
  11. import subprocess
  12. import sys
  13. import tarfile
  14. from collections.abc import Iterator, Sequence
  15. from contextlib import contextmanager, suppress
  16. from functools import lru_cache
  17. from itertools import chain
  18. from typing import (
  19. Any,
  20. BinaryIO,
  21. Optional,
  22. TextIO,
  23. Union,
  24. )
  25. import kitty.constants as kc
  26. from kittens.tui.operations import Mode
  27. from kittens.tui.spinners import spinners
  28. from kitty.actions import get_all_actions
  29. from kitty.cli import (
  30. CompletionSpec,
  31. GoOption,
  32. go_options_for_seq,
  33. parse_option_spec,
  34. serialize_as_go_string,
  35. )
  36. from kitty.conf.generate import gen_go_code
  37. from kitty.conf.types import Definition
  38. from kitty.guess_mime_type import known_extensions, text_mimes
  39. from kitty.key_encoding import config_mod_map
  40. from kitty.key_names import character_key_name_aliases, functional_key_name_aliases
  41. from kitty.options.types import Options
  42. from kitty.rc.base import RemoteCommand, all_command_names, command_for_name
  43. from kitty.remote_control import global_options_spec
  44. from kitty.rgb import color_names
  45. if __name__ == '__main__' and not __package__:
  46. import __main__
  47. __main__.__package__ = 'gen'
  48. sys.path.insert(0, os.path.dirname(os.path.dirname(os.path.abspath(__file__))))
  49. changed: list[str] = []
  50. def newer(dest: str, *sources: str) -> bool:
  51. try:
  52. dtime = os.path.getmtime(dest)
  53. except OSError:
  54. return True
  55. for s in chain(sources, (__file__,)):
  56. with suppress(FileNotFoundError):
  57. if os.path.getmtime(s) >= dtime:
  58. return True
  59. return False
  60. # Utils {{{
  61. def serialize_go_dict(x: Union[dict[str, int], dict[int, str], dict[int, int], dict[str, str]]) -> str:
  62. ans = []
  63. def s(x: Union[int, str]) -> str:
  64. if isinstance(x, int):
  65. return str(x)
  66. return f'"{serialize_as_go_string(x)}"'
  67. for k, v in x.items():
  68. ans.append(f'{s(k)}: {s(v)}')
  69. return '{' + ', '.join(ans) + '}'
  70. def replace(template: str, **kw: str) -> str:
  71. for k, v in kw.items():
  72. template = template.replace(k, v)
  73. return template
  74. # }}}
  75. # {{{ Stringer
  76. @lru_cache(maxsize=1)
  77. def enum_parser() -> argparse.ArgumentParser:
  78. p = argparse.ArgumentParser()
  79. p.add_argument('--from-string-func-name')
  80. return p
  81. def stringify_file(path: str) -> None:
  82. with open(path) as f:
  83. src = f.read()
  84. types = {}
  85. constant_name_maps = {}
  86. for m in re.finditer(r'^type +(\S+) +\S+ +// *enum *(.*?)$', src, re.MULTILINE):
  87. args = m.group(2)
  88. types[m.group(1)] = enum_parser().parse_args(args=shlex.split(args) if args else [])
  89. def get_enum_def(src: str) -> None:
  90. type_name = q = ''
  91. constants = {}
  92. for line in src.splitlines():
  93. line = line.strip()
  94. if not line:
  95. continue
  96. parts = line.split()
  97. if not type_name:
  98. if len(parts) < 2 or parts[1] not in types:
  99. return
  100. type_name = parts[1]
  101. q = type_name + '_'
  102. constant_name = parts[0]
  103. a, sep, b = line.partition('//')
  104. if sep:
  105. string_val = b.strip()
  106. else:
  107. string_val = constant_name
  108. if constant_name.startswith(q):
  109. string_val = constant_name[len(q):]
  110. constants[constant_name] = serialize_as_go_string(string_val)
  111. if constants and type_name:
  112. constant_name_maps[type_name] = constants
  113. for m in re.finditer(r'^const +\((.+?)^\)', src, re.MULTILINE|re.DOTALL):
  114. get_enum_def(m.group(1))
  115. with replace_if_needed(path.replace('.go', '_stringer_generated.go')):
  116. print('package', os.path.basename(os.path.dirname(path)))
  117. print ('import "fmt"')
  118. print ('import "encoding/json"')
  119. print()
  120. for type_name, constant_map in constant_name_maps.items():
  121. print(f'func (self {type_name}) String() string ''{')
  122. print('switch self {')
  123. is_first = True
  124. for constant_name, string_val in constant_map.items():
  125. if is_first:
  126. print(f'default: return "{string_val}"')
  127. is_first = False
  128. else:
  129. print(f'case {constant_name}: return "{string_val}"')
  130. print('}}')
  131. print(f'func (self {type_name}) MarshalJSON() ([]byte, error) {{ return json.Marshal(self.String()) }}')
  132. fsname = types[type_name].from_string_func_name or (type_name + '_from_string')
  133. print(f'func {fsname}(x string) (ans {type_name}, err error) ''{')
  134. print('switch x {')
  135. for constant_name, string_val in constant_map.items():
  136. print(f'case "{string_val}": return {constant_name}, nil')
  137. print('}')
  138. print(f'err = fmt.Errorf("unknown value for enum {type_name}: %#v", x)')
  139. print('return')
  140. print('}')
  141. print(f'func (self *{type_name}) SetString(x string) error ''{')
  142. print(f's, err := {fsname}(x); if err == nil {{ *self = s }}; return err''}')
  143. print(f'func (self *{type_name}) UnmarshalJSON(data []byte) (err error)''{')
  144. print('var x string')
  145. print('if err = json.Unmarshal(data, &x); err != nil {return err}')
  146. print('return self.SetString(x)}')
  147. def stringify() -> None:
  148. for path in (
  149. 'tools/tui/graphics/command.go',
  150. 'tools/rsync/algorithm.go',
  151. 'kittens/transfer/ftc.go',
  152. ):
  153. stringify_file(path)
  154. # }}}
  155. # Completions {{{
  156. @lru_cache
  157. def kitten_cli_docs(kitten: str) -> Any:
  158. from kittens.runner import get_kitten_cli_docs
  159. return get_kitten_cli_docs(kitten)
  160. @lru_cache
  161. def go_options_for_kitten(kitten: str) -> tuple[Sequence[GoOption], Optional[CompletionSpec]]:
  162. kcd = kitten_cli_docs(kitten)
  163. if kcd:
  164. ospec = kcd['options']
  165. return (tuple(go_options_for_seq(parse_option_spec(ospec())[0])), kcd.get('args_completion'))
  166. return (), None
  167. def generate_kittens_completion() -> None:
  168. from kittens.runner import all_kitten_names, get_kitten_wrapper_of
  169. for kitten in sorted(all_kitten_names()):
  170. kn = 'kitten_' + kitten
  171. print(f'{kn} := plus_kitten.AddSubCommand(&cli.Command{{Name:"{kitten}", Group: "Kittens"}})')
  172. wof = get_kitten_wrapper_of(kitten)
  173. if wof:
  174. print(f'{kn}.ArgCompleter = cli.CompletionForWrapper("{serialize_as_go_string(wof)}")')
  175. print(f'{kn}.OnlyArgsAllowed = true')
  176. continue
  177. gopts, ac = go_options_for_kitten(kitten)
  178. if gopts or ac:
  179. for opt in gopts:
  180. print(opt.as_option(kn))
  181. if ac is not None:
  182. print(''.join(ac.as_go_code(kn + '.ArgCompleter', ' = ')))
  183. else:
  184. print(f'{kn}.HelpText = ""')
  185. @lru_cache
  186. def clone_safe_launch_opts() -> Sequence[GoOption]:
  187. from kitty.launch import clone_safe_opts, options_spec
  188. ans = []
  189. allowed = clone_safe_opts()
  190. for o in go_options_for_seq(parse_option_spec(options_spec())[0]):
  191. if o.obj_dict['name'] in allowed:
  192. ans.append(o)
  193. return tuple(ans)
  194. def completion_for_launch_wrappers(*names: str) -> None:
  195. for o in clone_safe_launch_opts():
  196. for name in names:
  197. print(o.as_option(name))
  198. def generate_completions_for_kitty() -> None:
  199. print('package completion\n')
  200. print('import "kitty/tools/cli"')
  201. print('import "kitty/tools/cmd/tool"')
  202. print('import "kitty/tools/cmd/at"')
  203. print('func kitty(root *cli.Command) {')
  204. # The kitty exe
  205. print('k := root.AddSubCommand(&cli.Command{'
  206. 'Name:"kitty", SubCommandIsOptional: true, ArgCompleter: cli.CompleteExecutableFirstArg, SubCommandMustBeFirst: true })')
  207. print('kt := root.AddSubCommand(&cli.Command{Name:"kitten", SubCommandMustBeFirst: true })')
  208. print('tool.KittyToolEntryPoints(kt)')
  209. for opt in go_options_for_seq(parse_option_spec()[0]):
  210. print(opt.as_option('k'))
  211. # kitty +
  212. print('plus := k.AddSubCommand(&cli.Command{Name:"+", Group:"Entry points", ShortDescription: "Various special purpose tools and kittens"})')
  213. # kitty +launch
  214. print('plus_launch := plus.AddSubCommand(&cli.Command{'
  215. 'Name:"launch", Group:"Entry points", ShortDescription: "Launch Python scripts", ArgCompleter: complete_plus_launch})')
  216. print('k.AddClone("", plus_launch).Name = "+launch"')
  217. # kitty +list-fonts
  218. print('plus_list_fonts := plus.AddSubCommand(&cli.Command{'
  219. 'Name:"list-fonts", Group:"Entry points", ShortDescription: "List all available monospaced fonts"})')
  220. print('k.AddClone("", plus_list_fonts).Name = "+list-fonts"')
  221. # kitty +runpy
  222. print('plus_runpy := plus.AddSubCommand(&cli.Command{'
  223. 'Name: "runpy", Group:"Entry points", ArgCompleter: complete_plus_runpy, ShortDescription: "Run Python code"})')
  224. print('k.AddClone("", plus_runpy).Name = "+runpy"')
  225. # kitty +open
  226. print('plus_open := plus.AddSubCommand(&cli.Command{'
  227. 'Name:"open", Group:"Entry points", ArgCompleter: complete_plus_open, ShortDescription: "Open files and URLs"})')
  228. print('for _, og := range k.OptionGroups { plus_open.OptionGroups = append(plus_open.OptionGroups, og.Clone(plus_open)) }')
  229. print('k.AddClone("", plus_open).Name = "+open"')
  230. # kitty +kitten
  231. print('plus_kitten := plus.AddSubCommand(&cli.Command{Name:"kitten", Group:"Kittens", SubCommandMustBeFirst: true})')
  232. generate_kittens_completion()
  233. print('k.AddClone("", plus_kitten).Name = "+kitten"')
  234. # @
  235. print('at.EntryPoint(k)')
  236. # clone-in-kitty, edit-in-kitty
  237. print('cik := root.AddSubCommand(&cli.Command{Name:"clone-in-kitty"})')
  238. completion_for_launch_wrappers('cik')
  239. print('}')
  240. print('func init() {')
  241. print('cli.RegisterExeForCompletion(kitty)')
  242. print('}')
  243. # }}}
  244. # rc command wrappers {{{
  245. json_field_types: dict[str, str] = {
  246. 'bool': 'bool', 'str': 'escaped_string', 'list.str': '[]escaped_string', 'dict.str': 'map[escaped_string]escaped_string', 'float': 'float64', 'int': 'int',
  247. 'scroll_amount': 'any', 'spacing': 'any', 'colors': 'any',
  248. }
  249. def go_field_type(json_field_type: str) -> str:
  250. json_field_type = json_field_type.partition('=')[0]
  251. q = json_field_types.get(json_field_type)
  252. if q:
  253. return q
  254. if json_field_type.startswith('choices.'):
  255. return 'string'
  256. if '.' in json_field_type:
  257. p, r = json_field_type.split('.', 1)
  258. p = {'list': '[]', 'dict': 'map[string]'}[p]
  259. return p + go_field_type(r)
  260. raise TypeError(f'Unknown JSON field type: {json_field_type}')
  261. class JSONField:
  262. def __init__(self, line: str, field_to_option_map: dict[str, str], option_map: dict[str, GoOption]) -> None:
  263. field_def = line.split(':', 1)[0]
  264. self.required = False
  265. self.field, self.field_type = field_def.split('/', 1)
  266. self.go_option_name = field_to_option_map.get(self.field, self.field)
  267. self.go_option_name = ''.join(x.capitalize() for x in self.go_option_name.split('_'))
  268. self.omitempty = True
  269. if fo := option_map.get(self.go_option_name):
  270. if fo.type in ('int', 'float') and float(fo.default or 0) != 0:
  271. self.omitempty = False
  272. self.field_type, self.special_parser = self.field_type.partition('=')[::2]
  273. if self.field.endswith('+'):
  274. self.required = True
  275. self.field = self.field[:-1]
  276. self.struct_field_name = self.field[0].upper() + self.field[1:]
  277. def go_declaration(self) -> str:
  278. omitempty = ',omitempty' if self.omitempty else ''
  279. return self.struct_field_name + ' ' + go_field_type(self.field_type) + f'`json:"{self.field}{omitempty}"`'
  280. def go_code_for_remote_command(name: str, cmd: RemoteCommand, template: str) -> str:
  281. template = '\n' + template[len('//go:build exclude'):]
  282. af: list[str] = []
  283. a = af.append
  284. af.extend(cmd.args.as_go_completion_code('ans'))
  285. od: list[str] = []
  286. option_map: dict[str, GoOption] = {}
  287. for o in rc_command_options(name):
  288. option_map[o.go_var_name] = o
  289. a(o.as_option('ans'))
  290. if o.go_var_name in ('NoResponse', 'ResponseTimeout'):
  291. continue
  292. od.append(o.struct_declaration())
  293. jd: list[str] = []
  294. json_fields = []
  295. field_types: dict[str, str] = {}
  296. for line in cmd.protocol_spec.splitlines():
  297. line = line.strip()
  298. if ':' not in line:
  299. continue
  300. f = JSONField(line, cmd.field_to_option_map or {}, option_map)
  301. json_fields.append(f)
  302. field_types[f.field] = f.field_type
  303. jd.append(f.go_declaration())
  304. jc: list[str] = []
  305. handled_fields: set[str] = set()
  306. jc.extend(cmd.args.as_go_code(name, field_types, handled_fields))
  307. unhandled = {}
  308. used_options = set()
  309. for field in json_fields:
  310. if field.go_option_name in option_map:
  311. o = option_map[field.go_option_name]
  312. used_options.add(field.go_option_name)
  313. optstring = f'options_{name}.{o.go_var_name}'
  314. if field.special_parser:
  315. optstring = f'{field.special_parser}({optstring})'
  316. if field.field_type == 'str':
  317. jc.append(f'payload.{field.struct_field_name} = escaped_string({optstring})')
  318. elif field.field_type == 'list.str':
  319. jc.append(f'payload.{field.struct_field_name} = escape_list_of_strings({optstring})')
  320. elif field.field_type == 'dict.str':
  321. jc.append(f'payload.{field.struct_field_name} = escape_dict_of_strings({optstring})')
  322. else:
  323. jc.append(f'payload.{field.struct_field_name} = {optstring}')
  324. elif field.field in handled_fields:
  325. pass
  326. else:
  327. unhandled[field.field] = field
  328. for x in tuple(unhandled):
  329. if x == 'match_window' and 'Match' in option_map and 'Match' not in used_options:
  330. used_options.add('Match')
  331. o = option_map['Match']
  332. field = unhandled[x]
  333. if field.field_type == 'str':
  334. jc.append(f'payload.{field.struct_field_name} = escaped_string(options_{name}.{o.go_var_name})')
  335. else:
  336. jc.append(f'payload.{field.struct_field_name} = options_{name}.{o.go_var_name}')
  337. del unhandled[x]
  338. if unhandled:
  339. raise SystemExit(f'Cant map fields: {", ".join(unhandled)} for cmd: {name}')
  340. if name != 'send_text':
  341. unused_options = set(option_map) - used_options - {'NoResponse', 'ResponseTimeout'}
  342. if unused_options:
  343. raise SystemExit(f'Unused options: {", ".join(unused_options)} for command: {name}')
  344. argspec = cmd.args.spec
  345. if argspec:
  346. argspec = ' ' + argspec
  347. NO_RESPONSE = 'true' if cmd.disallow_responses else 'false'
  348. ans = replace(
  349. template,
  350. CMD_NAME=name, __FILE__=__file__, CLI_NAME=name.replace('_', '-'),
  351. SHORT_DESC=serialize_as_go_string(cmd.short_desc),
  352. LONG_DESC=serialize_as_go_string(cmd.desc.strip()),
  353. IS_ASYNC='true' if cmd.is_asynchronous else 'false',
  354. NO_RESPONSE_BASE=NO_RESPONSE, ADD_FLAGS_CODE='\n'.join(af),
  355. WAIT_TIMEOUT=str(cmd.response_timeout),
  356. OPTIONS_DECLARATION_CODE='\n'.join(od),
  357. JSON_DECLARATION_CODE='\n'.join(jd),
  358. JSON_INIT_CODE='\n'.join(jc), ARGSPEC=argspec,
  359. STRING_RESPONSE_IS_ERROR='true' if cmd.string_return_is_error else 'false',
  360. STREAM_WANTED='true' if cmd.reads_streaming_data else 'false',
  361. )
  362. return ans
  363. # }}}
  364. # kittens {{{
  365. @lru_cache
  366. def wrapped_kittens() -> tuple[str, ...]:
  367. with open('shell-integration/ssh/kitty') as f:
  368. for line in f:
  369. if line.startswith(' wrapped_kittens="'):
  370. val = line.strip().partition('"')[2][:-1]
  371. return tuple(sorted(filter(None, val.split())))
  372. raise Exception('Failed to read wrapped kittens from kitty wrapper script')
  373. def generate_conf_parser(kitten: str, defn: Definition) -> None:
  374. with replace_if_needed(f'kittens/{kitten}/conf_generated.go'):
  375. print(f'package {kitten}')
  376. print(gen_go_code(defn))
  377. def generate_extra_cli_parser(name: str, spec: str) -> None:
  378. print('import "kitty/tools/cli"')
  379. go_opts = tuple(go_options_for_seq(parse_option_spec(spec)[0]))
  380. print(f'type {name}_options struct ''{')
  381. for opt in go_opts:
  382. print(opt.struct_declaration())
  383. print('}')
  384. print(f'func parse_{name}_args(args []string) (*{name}_options, []string, error) ''{')
  385. print(f'root := cli.Command{{Name: `{name}` }}')
  386. for opt in go_opts:
  387. print(opt.as_option('root'))
  388. print('cmd, err := root.ParseArgs(args)')
  389. print('if err != nil { return nil, nil, err }')
  390. print(f'var opts {name}_options')
  391. print('err = cmd.GetOptionValues(&opts)')
  392. print('if err != nil { return nil, nil, err }')
  393. print('return &opts, cmd.Args, nil')
  394. print('}')
  395. def kittens_needing_cli_parsers() -> Iterator[str]:
  396. for d in os.scandir('kittens'):
  397. if not d.is_dir(follow_symlinks=False):
  398. continue
  399. if os.path.exists(os.path.join(d.path, 'main.py')) and os.path.exists(os.path.join(d.path, 'main.go')):
  400. with open(os.path.join(d.path, 'main.py')) as f:
  401. raw = f.read()
  402. if 'options' in raw:
  403. yield d.name
  404. def kitten_clis() -> None:
  405. from kittens.runner import get_kitten_conf_docs, get_kitten_extra_cli_parsers
  406. for kitten in kittens_needing_cli_parsers():
  407. defn = get_kitten_conf_docs(kitten)
  408. if defn is not None:
  409. generate_conf_parser(kitten, defn)
  410. ecp = get_kitten_extra_cli_parsers(kitten)
  411. if ecp:
  412. for name, spec in ecp.items():
  413. with replace_if_needed(f'kittens/{kitten}/{name}_cli_generated.go'):
  414. print(f'package {kitten}')
  415. generate_extra_cli_parser(name, spec)
  416. with replace_if_needed(f'kittens/{kitten}/cli_generated.go'):
  417. od = []
  418. kcd = kitten_cli_docs(kitten)
  419. has_underscore = '_' in kitten
  420. print(f'package {kitten}')
  421. print('import "kitty/tools/cli"')
  422. print('func create_cmd(root *cli.Command, run_func func(*cli.Command, *Options, []string)(int, error)) {')
  423. print('ans := root.AddSubCommand(&cli.Command{')
  424. print(f'Name: "{kitten}",')
  425. if kcd:
  426. print(f'ShortDescription: "{serialize_as_go_string(kcd["short_desc"])}",')
  427. if kcd['usage']:
  428. print(f'Usage: "[options] {serialize_as_go_string(kcd["usage"])}",')
  429. print(f'HelpText: "{serialize_as_go_string(kcd["help_text"])}",')
  430. print('Run: func(cmd *cli.Command, args []string) (int, error) {')
  431. print('opts := Options{}')
  432. print('err := cmd.GetOptionValues(&opts)')
  433. print('if err != nil { return 1, err }')
  434. print('return run_func(cmd, &opts, args)},')
  435. if has_underscore:
  436. print('Hidden: true,')
  437. print('})')
  438. gopts, ac = go_options_for_kitten(kitten)
  439. for opt in gopts:
  440. print(opt.as_option('ans'))
  441. od.append(opt.struct_declaration())
  442. if ac is not None:
  443. print(''.join(ac.as_go_code('ans.ArgCompleter', ' = ')))
  444. if not kcd:
  445. print('specialize_command(ans)')
  446. if has_underscore:
  447. print("clone := root.AddClone(ans.Group, ans)")
  448. print('clone.Hidden = false')
  449. print(f'clone.Name = "{serialize_as_go_string(kitten.replace("_", "-"))}"')
  450. print('}')
  451. print('type Options struct {')
  452. print('\n'.join(od))
  453. print('}')
  454. # }}}
  455. # Constants {{{
  456. def generate_spinners() -> str:
  457. ans = ['package tui', 'import "time"', 'func NewSpinner(name string) *Spinner {', 'var ans *Spinner', 'switch name {']
  458. a = ans.append
  459. for name, spinner in spinners.items():
  460. a(f'case "{serialize_as_go_string(name)}":')
  461. a('ans = &Spinner{')
  462. a(f'Name: "{serialize_as_go_string(name)}",')
  463. a(f'interval: {spinner["interval"]},')
  464. frames = ', '.join(f'"{serialize_as_go_string(x)}"' for x in spinner['frames'])
  465. a(f'frames: []string{{{frames}}},')
  466. a('}')
  467. a('}')
  468. a('if ans != nil {')
  469. a('ans.interval *= time.Millisecond')
  470. a('ans.current_frame = -1')
  471. a('ans.last_change_at = time.Now().Add(-ans.interval)')
  472. a('}')
  473. a('return ans}')
  474. return '\n'.join(ans)
  475. def generate_color_names() -> str:
  476. selfg = "" if Options.selection_foreground is None else Options.selection_foreground.as_sharp
  477. selbg = "" if Options.selection_background is None else Options.selection_background.as_sharp
  478. cursor = "" if Options.cursor is None else Options.cursor.as_sharp
  479. return 'package style\n\nvar ColorNames = map[string]RGBA{' + '\n'.join(
  480. f'\t"{name}": RGBA{{ Red:{val.red}, Green:{val.green}, Blue:{val.blue} }},'
  481. for name, val in color_names.items()
  482. ) + '\n}' + '\n\nvar ColorTable = [256]uint32{' + ', '.join(
  483. f'{x}' for x in Options.color_table) + '}\n' + f'''
  484. var DefaultColors = struct {{
  485. Foreground, Background, Cursor, SelectionFg, SelectionBg string
  486. }}{{
  487. Foreground: "{Options.foreground.as_sharp}",
  488. Background: "{Options.background.as_sharp}",
  489. Cursor: "{cursor}",
  490. SelectionFg: "{selfg}",
  491. SelectionBg: "{selbg}",
  492. }}
  493. '''
  494. def load_ref_map() -> dict[str, dict[str, str]]:
  495. with open('kitty/docs_ref_map_generated.h') as f:
  496. raw = f.read()
  497. raw = raw.split('{', 1)[1].split('}', 1)[0]
  498. data = json.loads(bytes(bytearray(json.loads(f'[{raw}]'))))
  499. return data # type: ignore
  500. def generate_constants() -> str:
  501. from kittens.hints.main import DEFAULT_REGEX
  502. from kittens.query_terminal.main import all_queries
  503. from kitty.config import option_names_for_completion
  504. from kitty.fast_data_types import FILE_TRANSFER_CODE
  505. from kitty.options.utils import allowed_shell_integration_values, url_style_map
  506. del sys.modules['kittens.hints.main']
  507. del sys.modules['kittens.query_terminal.main']
  508. ref_map = load_ref_map()
  509. with open('kitty/data-types.h') as dt:
  510. m = re.search(r'^#define IMAGE_PLACEHOLDER_CHAR (\S+)', dt.read(), flags=re.M)
  511. assert m is not None
  512. placeholder_char = int(m.group(1), 16)
  513. dp = ", ".join(map(lambda x: f'"{serialize_as_go_string(x)}"', kc.default_pager_for_help))
  514. url_prefixes = ','.join(f'"{x}"' for x in Options.url_prefixes)
  515. option_names = '`' + '\n'.join(option_names_for_completion()) + '`'
  516. url_style = {v:k for k, v in url_style_map.items()}[Options.url_style]
  517. query_names = ', '.join(f'"{name}"' for name in all_queries)
  518. return f'''\
  519. package kitty
  520. type VersionType struct {{
  521. Major, Minor, Patch int
  522. }}
  523. const VersionString string = "{kc.str_version}"
  524. const WebsiteBaseURL string = "{kc.website_base_url}"
  525. const FileTransferCode int = {FILE_TRANSFER_CODE}
  526. const ImagePlaceholderChar rune = {placeholder_char}
  527. const SSHControlMasterTemplate = "{kc.ssh_control_master_template}"
  528. const RC_ENCRYPTION_PROTOCOL_VERSION string = "{kc.RC_ENCRYPTION_PROTOCOL_VERSION}"
  529. var VCSRevision string = ""
  530. var IsFrozenBuild string = ""
  531. var IsStandaloneBuild string = ""
  532. const HandleTermiosSignals = {Mode.HANDLE_TERMIOS_SIGNALS.value[0]}
  533. const HintsDefaultRegex = `{DEFAULT_REGEX}`
  534. const DefaultTermName = `{Options.term}`
  535. const DefaultUrlStyle = `{url_style}`
  536. const DefaultUrlColor = `{Options.url_color.as_sharp}`
  537. var Version VersionType = VersionType{{Major: {kc.version.major}, Minor: {kc.version.minor}, Patch: {kc.version.patch},}}
  538. var DefaultPager []string = []string{{ {dp} }}
  539. var FunctionalKeyNameAliases = map[string]string{serialize_go_dict(functional_key_name_aliases)}
  540. var CharacterKeyNameAliases = map[string]string{serialize_go_dict(character_key_name_aliases)}
  541. var ConfigModMap = map[string]uint16{serialize_go_dict(config_mod_map)}
  542. var RefMap = map[string]string{serialize_go_dict(ref_map['ref'])}
  543. var DocTitleMap = map[string]string{serialize_go_dict(ref_map['doc'])}
  544. var AllowedShellIntegrationValues = []string{{ {str(sorted(allowed_shell_integration_values))[1:-1].replace("'", '"')} }}
  545. var QueryNames = []string{{ {query_names} }}
  546. var KittyConfigDefaults = struct {{
  547. Term, Shell_integration, Select_by_word_characters, Url_excluded_characters, Shell string
  548. Wheel_scroll_multiplier int
  549. Url_prefixes []string
  550. }}{{
  551. Term: "{Options.term}", Shell_integration: "{' '.join(Options.shell_integration)}", Url_prefixes: []string{{ {url_prefixes} }},
  552. Select_by_word_characters: `{Options.select_by_word_characters}`, Wheel_scroll_multiplier: {Options.wheel_scroll_multiplier},
  553. Shell: "{Options.shell}", Url_excluded_characters: "{Options.url_excluded_characters}",
  554. }}
  555. const OptionNames = {option_names}
  556. ''' # }}}
  557. # Boilerplate {{{
  558. @contextmanager
  559. def replace_if_needed(path: str, show_diff: bool = False) -> Iterator[io.StringIO]:
  560. buf = io.StringIO()
  561. origb = sys.stdout
  562. sys.stdout = buf
  563. try:
  564. yield buf
  565. finally:
  566. sys.stdout = origb
  567. orig = ''
  568. with suppress(FileNotFoundError), open(path) as f:
  569. orig = f.read()
  570. new = buf.getvalue()
  571. new = f'// Code generated by {os.path.basename(__file__)}; DO NOT EDIT.\n\n' + new
  572. if orig != new:
  573. changed.append(path)
  574. if show_diff:
  575. with open(path + '.new', 'w') as f:
  576. f.write(new)
  577. subprocess.run(['diff', '-Naurp', path, f.name], stdout=open('/dev/tty', 'w'))
  578. os.remove(f.name)
  579. with open(path, 'w') as f:
  580. f.write(new)
  581. @lru_cache(maxsize=256)
  582. def rc_command_options(name: str) -> tuple[GoOption, ...]:
  583. cmd = command_for_name(name)
  584. return tuple(go_options_for_seq(parse_option_spec(cmd.options_spec or '\n\n')[0]))
  585. def update_at_commands() -> None:
  586. with open('tools/cmd/at/template.go') as f:
  587. template = f.read()
  588. for name in all_command_names():
  589. cmd = command_for_name(name)
  590. code = go_code_for_remote_command(name, cmd, template)
  591. dest = f'tools/cmd/at/cmd_{name}_generated.go'
  592. with replace_if_needed(dest) as f:
  593. f.write(code)
  594. struct_def = []
  595. opt_def = []
  596. for o in go_options_for_seq(parse_option_spec(global_options_spec())[0]):
  597. struct_def.append(o.struct_declaration())
  598. opt_def.append(o.as_option(depth=1, group="Global options"))
  599. sdef = '\n'.join(struct_def)
  600. odef = '\n'.join(opt_def)
  601. code = f'''
  602. package at
  603. import "kitty/tools/cli"
  604. type rc_global_options struct {{
  605. {sdef}
  606. }}
  607. var rc_global_opts rc_global_options
  608. func add_rc_global_opts(cmd *cli.Command) {{
  609. {odef}
  610. }}
  611. '''
  612. with replace_if_needed('tools/cmd/at/global_opts_generated.go') as f:
  613. f.write(code)
  614. def update_completion() -> None:
  615. with replace_if_needed('tools/cmd/completion/kitty_generated.go'):
  616. generate_completions_for_kitty()
  617. with replace_if_needed('tools/cmd/at/kitty_actions_generated.go'):
  618. print("package at")
  619. print("const KittyActionNames = `", end='')
  620. for grp, actions in get_all_actions().items():
  621. for ac in actions:
  622. print(ac.name)
  623. print('`')
  624. with replace_if_needed('tools/cmd/edit_in_kitty/launch_generated.go'):
  625. print('package edit_in_kitty')
  626. print('import "kitty/tools/cli"')
  627. print('func AddCloneSafeOpts(cmd *cli.Command) {')
  628. completion_for_launch_wrappers('cmd')
  629. print(''.join(CompletionSpec.from_string('type:file mime:text/* group:"Text files"').as_go_code('cmd.ArgCompleter', ' = ')))
  630. print('}')
  631. def define_enum(package_name: str, type_name: str, items: str, underlying_type: str = 'uint') -> str:
  632. actions = []
  633. for x in items.splitlines():
  634. x = x.strip()
  635. if x:
  636. actions.append(x)
  637. ans = [f'package {package_name}', 'import "strconv"', f'type {type_name} {underlying_type}', 'const (']
  638. stringer = [f'func (ac {type_name}) String() string ''{', 'switch(ac) {']
  639. for i, ac in enumerate(actions):
  640. stringer.append(f'case {ac}: return "{ac}"')
  641. if i == 0:
  642. ac = ac + f' {type_name} = iota'
  643. ans.append(ac)
  644. ans.append(')')
  645. stringer.append('}\nreturn strconv.Itoa(int(ac)) }')
  646. return '\n'.join(ans + stringer)
  647. def generate_readline_actions() -> str:
  648. return define_enum('readline', 'Action', '''\
  649. ActionNil
  650. ActionBackspace
  651. ActionDelete
  652. ActionMoveToStartOfLine
  653. ActionMoveToEndOfLine
  654. ActionMoveToStartOfDocument
  655. ActionMoveToEndOfDocument
  656. ActionMoveToEndOfWord
  657. ActionMoveToStartOfWord
  658. ActionCursorLeft
  659. ActionCursorRight
  660. ActionEndInput
  661. ActionAcceptInput
  662. ActionCursorUp
  663. ActionHistoryPreviousOrCursorUp
  664. ActionCursorDown
  665. ActionHistoryNextOrCursorDown
  666. ActionHistoryNext
  667. ActionHistoryPrevious
  668. ActionHistoryFirst
  669. ActionHistoryLast
  670. ActionHistoryIncrementalSearchBackwards
  671. ActionHistoryIncrementalSearchForwards
  672. ActionTerminateHistorySearchAndApply
  673. ActionTerminateHistorySearchAndRestore
  674. ActionClearScreen
  675. ActionAddText
  676. ActionAbortCurrentLine
  677. ActionStartKillActions
  678. ActionKillToEndOfLine
  679. ActionKillToStartOfLine
  680. ActionKillNextWord
  681. ActionKillPreviousWord
  682. ActionKillPreviousSpaceDelimitedWord
  683. ActionEndKillActions
  684. ActionYank
  685. ActionPopYank
  686. ActionNumericArgumentDigit0
  687. ActionNumericArgumentDigit1
  688. ActionNumericArgumentDigit2
  689. ActionNumericArgumentDigit3
  690. ActionNumericArgumentDigit4
  691. ActionNumericArgumentDigit5
  692. ActionNumericArgumentDigit6
  693. ActionNumericArgumentDigit7
  694. ActionNumericArgumentDigit8
  695. ActionNumericArgumentDigit9
  696. ActionNumericArgumentDigitMinus
  697. ActionCompleteForward
  698. ActionCompleteBackward
  699. ''')
  700. def generate_mimetypes() -> str:
  701. import mimetypes
  702. if not mimetypes.inited:
  703. mimetypes.init()
  704. ans = ['package utils', 'import "sync"', 'var only_once sync.Once', 'var builtin_types_map map[string]string',
  705. 'func set_builtins() {', 'builtin_types_map = map[string]string{',]
  706. for k, v in mimetypes.types_map.items():
  707. ans.append(f' "{serialize_as_go_string(k)}": "{serialize_as_go_string(v)}",')
  708. ans.append('}}')
  709. return '\n'.join(ans)
  710. def generate_textual_mimetypes() -> str:
  711. ans = ['package utils', 'var KnownTextualMimes = map[string]bool{',]
  712. for k in text_mimes:
  713. ans.append(f' "{serialize_as_go_string(k)}": true,')
  714. ans.append('}')
  715. ans.append('var KnownExtensions = map[string]string{')
  716. for k, v in known_extensions.items():
  717. ans.append(f' ".{serialize_as_go_string(k)}": "{serialize_as_go_string(v)}",')
  718. ans.append('}')
  719. return '\n'.join(ans)
  720. def write_compressed_data(data: bytes, d: BinaryIO) -> None:
  721. d.write(struct.pack('<I', len(data)))
  722. d.write(bz2.compress(data))
  723. def generate_unicode_names(src: TextIO, dest: BinaryIO) -> None:
  724. num_names, num_of_words = map(int, next(src).split())
  725. gob = io.BytesIO()
  726. gob.write(struct.pack('<II', num_names, num_of_words))
  727. for line in src:
  728. line = line.strip()
  729. if line:
  730. a, aliases = line.partition('\t')[::2]
  731. cp, name = a.partition(' ')[::2]
  732. ename = name.encode()
  733. record = struct.pack('<IH', int(cp), len(ename)) + ename
  734. if aliases:
  735. record += aliases.encode()
  736. gob.write(struct.pack('<H', len(record)) + record)
  737. write_compressed_data(gob.getvalue(), dest)
  738. def generate_ssh_kitten_data() -> None:
  739. files = {
  740. 'terminfo/kitty.terminfo', 'terminfo/x/' + Options.term,
  741. }
  742. for dirpath, dirnames, filenames in os.walk('shell-integration'):
  743. for f in filenames:
  744. path = os.path.join(dirpath, f)
  745. files.add(path.replace(os.sep, '/'))
  746. dest = 'tools/tui/shell_integration/data_generated.bin'
  747. def normalize(t: tarfile.TarInfo) -> tarfile.TarInfo:
  748. t.uid = t.gid = 0
  749. t.uname = t.gname = ''
  750. t.mtime = 0
  751. return t
  752. if newer(dest, *files):
  753. buf = io.BytesIO()
  754. with tarfile.open(fileobj=buf, mode='w') as tf:
  755. for f in sorted(files):
  756. tf.add(f, filter=normalize)
  757. with open(dest, 'wb') as d:
  758. write_compressed_data(buf.getvalue(), d)
  759. def start_simdgen() -> 'subprocess.Popen[bytes]':
  760. return subprocess.Popen(['go', 'run', 'generate.go'], cwd='tools/simdstring', stdout=subprocess.PIPE, stderr=subprocess.PIPE)
  761. def main(args: list[str]=sys.argv) -> None:
  762. simdgen_process = start_simdgen()
  763. with replace_if_needed('constants_generated.go') as f:
  764. f.write(generate_constants())
  765. with replace_if_needed('tools/utils/style/color-names_generated.go') as f:
  766. f.write(generate_color_names())
  767. with replace_if_needed('tools/tui/readline/actions_generated.go') as f:
  768. f.write(generate_readline_actions())
  769. with replace_if_needed('tools/tui/spinners_generated.go') as f:
  770. f.write(generate_spinners())
  771. with replace_if_needed('tools/utils/mimetypes_generated.go') as f:
  772. f.write(generate_mimetypes())
  773. with replace_if_needed('tools/utils/mimetypes_textual_generated.go') as f:
  774. f.write(generate_textual_mimetypes())
  775. if newer('tools/unicode_names/data_generated.bin', 'tools/unicode_names/names.txt'):
  776. with open('tools/unicode_names/data_generated.bin', 'wb') as dest, open('tools/unicode_names/names.txt') as src:
  777. generate_unicode_names(src, dest)
  778. generate_ssh_kitten_data()
  779. update_completion()
  780. update_at_commands()
  781. kitten_clis()
  782. stringify()
  783. print(json.dumps(changed, indent=2))
  784. stdout, stderr = simdgen_process.communicate()
  785. if simdgen_process.wait() != 0:
  786. print('Failed to generate SIMD ASM', file=sys.stderr)
  787. sys.stdout.buffer.write(stdout)
  788. sys.stderr.buffer.write(stderr)
  789. raise SystemExit(simdgen_process.returncode)
  790. if __name__ == '__main__':
  791. import runpy
  792. m = runpy.run_path(os.path.dirname(os.path.abspath(__file__)))
  793. m['main']([sys.executable, 'go-code'])
  794. # }}}