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_5(locale: string, values: list<string>) -> string {
  if len(values) != 1 {
    throw "CLI localization argument count does not match its registered template"
  }
  if locale == "de" {
    return "  Promotions-ID: " + (values[0] ?? "")
  }
  if locale == "es" {
    return "  id de promoción: " + (values[0] ?? "")
  }
  if locale == "fr" {
    return "  identifiant de promotion : " + (values[0] ?? "")
  }
  if locale == "it" {
    return "  id di promozione: " + (values[0] ?? "")
  }
  if locale == "ja" {
    return "  昇格ID: " + (values[0] ?? "")
  }
  if locale == "ko" {
    return "  promotion id: " + (values[0] ?? "")
  }
  if locale == "pt-BR" {
    return "  promotion id: " + (values[0] ?? "")
  }
  if locale == "zh-Hans" {
    return "  提升 ID: " + (values[0] ?? "")
  }
  return "  promotion id: " + (values[0] ?? "")
}

/**
 * Render one registered CLI message from literal argument values.
 * @effects: []
 * @errors: ["CLI localization argument count does not match its registered template"]
 */
pub fn message_6(locale: string, values: list<string>) -> string {
  if len(values) != 1 {
    throw "CLI localization argument count does not match its registered template"
  }
  if locale == "de" {
    return "  Receipt: " + (values[0] ?? "")
  }
  if locale == "es" {
    return "  recibo: " + (values[0] ?? "")
  }
  if locale == "fr" {
    return "  reçu : " + (values[0] ?? "")
  }
  if locale == "it" {
    return "  ricevuta: " + (values[0] ?? "")
  }
  if locale == "ja" {
    return "  receipt: " + (values[0] ?? "")
  }
  if locale == "ko" {
    return "  수신증: " + (values[0] ?? "")
  }
  if locale == "pt-BR" {
    return "  recibo: " + (values[0] ?? "")
  }
  if locale == "zh-Hans" {
    return "  回执: " + (values[0] ?? "")
  }
  return "  receipt: " + (values[0] ?? "")
}

/**
 * Render one registered CLI message from literal argument values.
 * @effects: []
 * @errors: ["CLI localization argument count does not match its registered template"]
 */
pub fn message_7(locale: string, values: list<string>) -> string {
  if len(values) != 1 {
    throw "CLI localization argument count does not match its registered template"
  }
  if locale == "de" {
    return "  Ergebnis: " + (values[0] ?? "")
  }
  if locale == "es" {
    return "  resultado: " + (values[0] ?? "")
  }
  if locale == "fr" {
    return "  résultat : " + (values[0] ?? "")
  }
  if locale == "it" {
    return "  risultato: " + (values[0] ?? "")
  }
  if locale == "ja" {
    return "  結果: " + (values[0] ?? "")
  }
  if locale == "ko" {
    return "  결과: " + (values[0] ?? "")
  }
  if locale == "pt-BR" {
    return "  resultado: " + (values[0] ?? "")
  }
  if locale == "zh-Hans" {
    return "  结果: " + (values[0] ?? "")
  }
  return "  result: " + (values[0] ?? "")
}

/**
 * Render one registered CLI message from literal argument values.
 * @effects: []
 * @errors: ["CLI localization argument count does not match its registered template"]
 */
pub fn message_8(locale: string, values: list<string>) -> string {
  if len(values) != 5 {
    throw "CLI localization argument count does not match its registered template"
  }
  if locale == "de" {
    return "  Summen: adapter_passed=" + (values[0] ?? "") + " adapter_failed=" + (values[1] ?? "")
      + " base_present="
      + (values[2] ?? "")
      + " missing="
      + (values[3] ?? "")
      + " cost_usd="
      + (values[4] ?? "")
  }
  if locale == "es" {
    return "  totales: adapter_passed=" + (values[0] ?? "") + " adapter_failed=" + (values[1] ?? "")
      + " base_present="
      + (values[2] ?? "")
      + " missing="
      + (values[3] ?? "")
      + " cost_usd="
      + (values[4] ?? "")
  }
  if locale == "fr" {
    return "  totaux : adapter_passed=" + (values[0] ?? "") + " adapter_failed=" + (values[1] ?? "")
      + " base_present="
      + (values[2] ?? "")
      + " missing="
      + (values[3] ?? "")
      + " cost_usd="
      + (values[4] ?? "")
  }
  if locale == "it" {
    return "  totali: adapter_passed=" + (values[0] ?? "") + " adapter_failed=" + (values[1] ?? "")
      + " base_present="
      + (values[2] ?? "")
      + " missing="
      + (values[3] ?? "")
      + " cost_usd="
      + (values[4] ?? "")
  }
  if locale == "ja" {
    return "  合計: adapter_passed=" + (values[0] ?? "") + " adapter_failed=" + (values[1] ?? "")
      + " base_present="
      + (values[2] ?? "")
      + " missing="
      + (values[3] ?? "")
      + " cost_usd="
      + (values[4] ?? "")
  }
  if locale == "ko" {
    return "  합계: adapter_passed=" + (values[0] ?? "") + " adapter_failed=" + (values[1] ?? "")
      + " base_present="
      + (values[2] ?? "")
      + " missing="
      + (values[3] ?? "")
      + " cost_usd="
      + (values[4] ?? "")
  }
  if locale == "pt-BR" {
    return "  totais: adapter_passed=" + (values[0] ?? "") + " adapter_failed=" + (values[1] ?? "")
      + " base_present="
      + (values[2] ?? "")
      + " missing="
      + (values[3] ?? "")
      + " cost_usd="
      + (values[4] ?? "")
  }
  if locale == "zh-Hans" {
    return "  总计：adapter_passed=" + (values[0] ?? "") + " adapter_failed=" + (values[1] ?? "")
      + " base_present="
      + (values[2] ?? "")
      + " missing="
      + (values[3] ?? "")
      + " cost_usd="
      + (values[4] ?? "")
  }
  return "  totals: adapter_passed=" + (values[0] ?? "") + " adapter_failed=" + (values[1] ?? "")
    + " base_present="
    + (values[2] ?? "")
    + " missing="
    + (values[3] ?? "")
    + " cost_usd="
    + (values[4] ?? "")
}

/**
 * Render one registered CLI message from literal argument values.
 * @effects: []
 * @errors: ["CLI localization argument count does not match its registered template"]
 */
pub fn message_9(locale: string, values: list<string>) -> string {
  if len(values) != 1 {
    throw "CLI localization argument count does not match its registered template"
  }
  if locale == "de" {
    return "  Trainingsbeleg: " + (values[0] ?? "")
  }
  if locale == "es" {
    return "  recibo de entrenamiento: " + (values[0] ?? "")
  }
  if locale == "fr" {
    return "  reçu d’entraînement : " + (values[0] ?? "")
  }
  if locale == "it" {
    return "  ricevuta di training: " + (values[0] ?? "")
  }
  if locale == "ja" {
    return "  学習レシート: " + (values[0] ?? "")
  }
  if locale == "ko" {
    return "  훈련 영수증: " + (values[0] ?? "")
  }
  if locale == "pt-BR" {
    return "  recibo de treinamento: " + (values[0] ?? "")
  }
  if locale == "zh-Hans" {
    return "  训练收据：" + (values[0] ?? "")
  }
  return "  train receipt: " + (values[0] ?? "")
}