harn-stdlib 0.10.182

Embedded Harn standard library source catalog
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98

/** Generated by scripts/generate_cli_localization.mjs. Do not edit. */
import {
  message_0,
  message_1,
  message_2,
  message_3,
  message_4,
} from "std/cli/localization/models/batch_plan/part_0"
import {
  message_5,
  message_6,
  message_7,
  message_8,
  message_9,
} from "std/cli/localization/models/batch_plan/part_1"
import {
  message_10,
  message_11,
  message_12,
  message_13,
  message_14,
} from "std/cli/localization/models/batch_plan/part_2"
import {
  message_15,
  message_16,
  message_17,
  message_18,
  message_19,
} from "std/cli/localization/models/batch_plan/part_3"

/**
 * Select a registered CLI template without interpreting argument text.
 * @effects: []
 * @errors: ["Unregistered CLI localization message", "CLI localization argument count does not match its registered template"]
 */
pub fn cli_message(locale: string, source: string, values: list<string>) -> string {
  if source == "  groups: {0}" {
    return message_0(locale, values)
  }
  if source == "  jobs: {0}" {
    return message_1(locale, values)
  }
  if source == "  manifest sha256: {0}" {
    return message_2(locale, values)
  }
  if source == "  receipt sha256: {0}" {
    return message_3(locale, values)
  }
  if source == "  requests: {0}" {
    return message_4(locale, values)
  }
  if source == "  {0}  {1}/{2}  discount {3}  turnaround {4}  {5}" {
    return message_5(locale, values)
  }
  if source == "  {0} {1}/{2} {3} requests={4}" {
    return message_6(locale, values)
  }
  if source == "  {0} {1}/{2} {3} requests={4} file={5}" {
    return message_7(locale, values)
  }
  if source == "(no batch-capable models match)" {
    return message_8(locale, values)
  }
  if source == "Batch manifest failed" {
    return message_9(locale, values)
  }
  if source == "Batch manifest written: {0}" {
    return message_10(locale, values)
  }
  if source == "Batch prepare failed" {
    return message_11(locale, values)
  }
  if source == "Batch prepare receipt written: {0}" {
    return message_12(locale, values)
  }
  if source == "Batch-capable models for {0}" {
    return message_13(locale, values)
  }
  if source == "constraints" {
    return message_14(locale, values)
  }
  if source == "dry-run only" {
    return message_15(locale, values)
  }
  if source == "errors" {
    return message_16(locale, values)
  }
  if source == "live submit" {
    return message_17(locale, values)
  }
  if source == "planner constraints" {
    return message_18(locale, values)
  }
  if source == "warnings" {
    return message_19(locale, values)
  }
  throw "Unregistered CLI localization message"
}