harn-stdlib 0.10.182

/**
 * Generated by scripts/generate_cli_localization.mjs. Do not edit.
 * Render one registered CLI message from literal argument values.
 * @effects: []
 * @errors: ["CLI localization argument count does not match its registered template"]
 */
pub fn message_0(locale: string, values: list<string>) -> string {
  if len(values) != 0 {
    throw "CLI localization argument count does not match its registered template"
  }
  if locale == "de" {
    return "--- Anbieter ---\n"
  }
  if locale == "es" {
    return "--- Proveedores ---\n"
  }
  if locale == "fr" {
    return "--- Fournisseurs ---\n"
  }
  if locale == "it" {
    return "--- Provider ---\n"
  }
  if locale == "ja" {
    return "--- プロバイダー ---\n"
  }
  if locale == "ko" {
    return "--- 제공자 ---\n"
  }
  if locale == "pt-BR" {
    return "--- Provedores ---\n"
  }
  if locale == "zh-Hans" {
    return "--- 提供方 ---\n"
  }
  return "--- Providers ---\n"
}

/**
 * Render one registered CLI message from literal argument values.
 * @effects: []
 * @errors: ["CLI localization argument count does not match its registered template"]
 */
pub fn message_1(locale: string, values: list<string>) -> string {
  if len(values) != 0 {
    throw "CLI localization argument count does not match its registered template"
  }
  if locale == "de" {
    return "--- Stdlib-Fähigkeiten ---\n"
  }
  if locale == "es" {
    return "--- Capacidades de stdlib ---\n"
  }
  if locale == "fr" {
    return "--- Capacités de la bibliothèque standard ---\n"
  }
  if locale == "it" {
    return "--- Capacità della stdlib ---\n"
  }
  if locale == "ja" {
    return "--- 標準ライブラリの機能 ---\n"
  }
  if locale == "ko" {
    return "--- Stdlib 기능 ---\n"
  }
  if locale == "pt-BR" {
    return "--- Capacidades da stdlib ---\n"
  }
  if locale == "zh-Hans" {
    return "--- 标准库能力 ---\n"
  }
  return "--- Stdlib capabilities ---\n"
}

/**
 * Render one registered CLI message from literal argument values.
 * @effects: []
 * @errors: ["CLI localization argument count does not match its registered template"]
 */
pub fn message_2(locale: string, values: list<string>) -> string {
  if len(values) != 0 {
    throw "CLI localization argument count does not match its registered template"
  }
  if locale == "de" {
    return "--- Zusammenfassung ---\n"
  }
  if locale == "es" {
    return "--- Resumen ---\n"
  }
  if locale == "fr" {
    return "--- Résumé ---\n"
  }
  if locale == "it" {
    return "--- Riepilogo ---\n"
  }
  if locale == "ja" {
    return "--- 要約 ---\n"
  }
  if locale == "ko" {
    return "--- 요약 ---\n"
  }
  if locale == "pt-BR" {
    return "--- Resumo ---\n"
  }
  if locale == "zh-Hans" {
    return "--- 摘要 ---\n"
  }
  return "--- Summary ---\n"
}

/**
 * Render one registered CLI message from literal argument values.
 * @effects: []
 * @errors: ["CLI localization argument count does not match its registered template"]
 */
pub fn message_3(locale: string, values: list<string>) -> string {
  if len(values) != 0 {
    throw "CLI localization argument count does not match its registered template"
  }
  if locale == "de" {
    return "--- Ziele ---\n"
  }
  if locale == "es" {
    return "--- Destinos ---\n"
  }
  if locale == "fr" {
    return "--- Cibles ---\n"
  }
  if locale == "it" {
    return "--- Destinazioni ---\n"
  }
  if locale == "ja" {
    return "--- 対象 ---\n"
  }
  if locale == "ko" {
    return "--- 대상 ---\n"
  }
  if locale == "pt-BR" {
    return "--- Destinos ---\n"
  }
  if locale == "zh-Hans" {
    return "--- 目标 ---\n"
  }
  return "--- Targets ---\n"
}

/**
 * Render one registered CLI message from literal argument values.
 * @effects: []
 * @errors: ["CLI localization argument count does not match its registered template"]
 */
pub fn message_4(locale: string, values: list<string>) -> string {
  if len(values) != 0 {
    throw "CLI localization argument count does not match its registered template"
  }
  if locale == "de" {
    return "FAIL"
  }
  if locale == "es" {
    return "FAIL"
  }
  if locale == "fr" {
    return "FAIL"
  }
  if locale == "it" {
    return "FAIL"
  }
  if locale == "ja" {
    return "FAIL"
  }
  if locale == "ko" {
    return "FAIL"
  }
  if locale == "pt-BR" {
    return "FAIL"
  }
  if locale == "zh-Hans" {
    return "FAIL"
  }
  return "FAIL"
}