Catalogue

Catalogue is the built-in message catalogue for Reified.Constraint: one canonical source for every interpreted rule's key segments, argument names, neutral English predicate, and plural operand. Violation rendering and the public coverage data both read this table, so a rule cannot ship with its message undeclared. Entries are bare predicates, never whole sentences; the attribute noun and the optional actual-value clause are separate composition entries.

Every built-in key Reified can produce is listed below. Constraint.customLocalized and customLocalizedWith name your own catalogue entries, which no table here can enumerate. actual is not listed as an argument on any predicate: it arrives through the separate constraint.actual entry.

Built-in keys

Unsupported-operand keys

A built-in whose operand Reified cannot describe reports the relation rather than approximating the operand. These carry no arguments:

Composition and joining keys

Runtime access

The same data is available at runtime, so a coverage test never has to copy this page:

let keys : string list = Catalogue.keys
let arguments : Map<string, string list> = Catalogue.arguments
let english : Map<string, string> = Catalogue.english
let pluralArgument : Map<string, string option> = Catalogue.pluralArgument

Arguments are ConstraintValue, the closed value model every interpreter understands: text, char, boolean, integer, decimal, big integer, float, GUID, timespan, date-time, date-time-offset, null, and lists of those. ConstraintValue.render gives the invariant rendering of one; a renderer formats through its value culture instead.

See The key catalogue for how a language skeleton consumes these entries.