harn-stdlib 0.10.182

Embedded Harn standard library source catalog
Documentation
/**
 * 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_20(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 "  erforderliches Fit-Verhältnis: " + (values[0] ?? "")
  }
  if locale == "es" {
    return "  proporción de ajuste requerida: " + (values[0] ?? "")
  }
  if locale == "fr" {
    return "  ratio d'ajustement requis : " + (values[0] ?? "")
  }
  if locale == "it" {
    return "  rapporto di fit richiesto: " + (values[0] ?? "")
  }
  if locale == "ja" {
    return "  必須の適合率: " + (values[0] ?? "")
  }
  if locale == "ko" {
    return "  필수 적합 비율: " + (values[0] ?? "")
  }
  if locale == "pt-BR" {
    return "  proporção obrigatória de ajuste: " + (values[0] ?? "")
  }
  if locale == "zh-Hans" {
    return "  必需拟合比例: " + (values[0] ?? "")
  }
  return "  required fit ratio: " + (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_21(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_22(locale: string, values: list<string>) -> string {
  if len(values) != 2 {
    throw "CLI localization argument count does not match its registered template"
  }
  if locale == "de" {
    return "  Zielformat des Tools: " + (values[0] ?? "") + " (angefordert " + (values[1] ?? "")
      + ")"
  }
  if locale == "es" {
    return "  formato de herramienta de destino: " + (values[0] ?? "") + " (solicitado "
      + (values[1] ?? "")
      + ")"
  }
  if locale == "fr" {
    return "  format d'outil cible : " + (values[0] ?? "") + " (demandé " + (values[1] ?? "") + ")"
  }
  if locale == "it" {
    return "  formato strumento target: " + (values[0] ?? "") + " (richiesto " + (values[1] ?? "")
      + ")"
  }
  if locale == "ja" {
    return "  ターゲットの tool_format: " + (values[0] ?? "") + " (requested " + (values[1] ?? "")
      + ")"
  }
  if locale == "ko" {
    return "  대상 도구 형식: " + (values[0] ?? "") + " (요청됨 " + (values[1] ?? "") + ")"
  }
  if locale == "pt-BR" {
    return "  formato da ferramenta de destino: " + (values[0] ?? "") + " (solicitado "
      + (values[1] ?? "")
      + ")"
  }
  if locale == "zh-Hans" {
    return "  目标工具格式: " + (values[0] ?? "") + "(请求为 " + (values[1] ?? "") + ")"
  }
  return "  target tool format: " + (values[0] ?? "") + " (requested " + (values[1] ?? "") + ")"
}

/**
 * Render one registered CLI message from literal argument values.
 * @effects: []
 * @errors: ["CLI localization argument count does not match its registered template"]
 */
pub fn message_23(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 "  Aufgabentypen: " + (values[0] ?? "")
  }
  if locale == "es" {
    return "  tipos de tarea: " + (values[0] ?? "")
  }
  if locale == "fr" {
    return "  types de tâches : " + (values[0] ?? "")
  }
  if locale == "it" {
    return "  tipi di attività: " + (values[0] ?? "")
  }
  if locale == "ja" {
    return "  タスクタイプ: " + (values[0] ?? "")
  }
  if locale == "ko" {
    return "  작업 유형: " + (values[0] ?? "")
  }
  if locale == "pt-BR" {
    return "  tipos de tarefa: " + (values[0] ?? "")
  }
  if locale == "zh-Hans" {
    return "  任务类型: " + (values[0] ?? "")
  }
  return "  task types: " + (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_24(locale: string, values: list<string>) -> string {
  if len(values) != 4 {
    throw "CLI localization argument count does not match its registered template"
  }
  if locale == "de" {
    return "  Tool-Aufrufe: json=" + (values[0] ?? "") + " text=" + (values[1] ?? "") + " unknown="
      + (values[2] ?? "")
      + " malformed_json="
      + (values[3] ?? "")
  }
  if locale == "es" {
    return "  llamadas a herramientas: json=" + (values[0] ?? "") + " text=" + (values[1] ?? "")
      + " unknown="
      + (values[2] ?? "")
      + " malformed_json="
      + (values[3] ?? "")
  }
  if locale == "fr" {
    return "  appels d’outils : json=" + (values[0] ?? "") + " text=" + (values[1] ?? "")
      + " unknown="
      + (values[2] ?? "")
      + " malformed_json="
      + (values[3] ?? "")
  }
  if locale == "it" {
    return "  chiamate agli strumenti: json=" + (values[0] ?? "") + " text=" + (values[1] ?? "")
      + " unknown="
      + (values[2] ?? "")
      + " malformed_json="
      + (values[3] ?? "")
  }
  if locale == "ja" {
    return "  ツール呼び出し: json=" + (values[0] ?? "") + " text=" + (values[1] ?? "")
      + " unknown="
      + (values[2] ?? "")
      + " malformed_json="
      + (values[3] ?? "")
  }
  if locale == "ko" {
    return "  도구 호출: json=" + (values[0] ?? "") + " text=" + (values[1] ?? "") + " unknown="
      + (values[2] ?? "")
      + " malformed_json="
      + (values[3] ?? "")
  }
  if locale == "pt-BR" {
    return "  chamadas de ferramenta: json=" + (values[0] ?? "") + " text=" + (values[1] ?? "")
      + " unknown="
      + (values[2] ?? "")
      + " malformed_json="
      + (values[3] ?? "")
  }
  if locale == "zh-Hans" {
    return "  工具调用:json=" + (values[0] ?? "") + " text=" + (values[1] ?? "") + " unknown="
      + (values[2] ?? "")
      + " malformed_json="
      + (values[3] ?? "")
  }
  return "  tool calls: json=" + (values[0] ?? "") + " text=" + (values[1] ?? "") + " unknown="
    + (values[2] ?? "")
    + " malformed_json="
    + (values[3] ?? "")
}