View on GitHub
RequirementPrinter
struct RequirementPrinter : SendableAn object creating textual descriptions of requirement rewriting systems.
-
The program defining the symbols represented by the terms.
Declaration
Swift
let program: TypedProgram -
A factory for making unique type names.
Declaration
Swift
private var disambiguator: DistinctNameGenerator<AnyDeclID> -
Creates an instance for creating textual descriptions of symbols defined in
program.Declaration
Swift
init(program: TypedProgram) -
Returns a textual description of
rule.Declaration
Swift
mutating func describe(_ rule: RequirementRule) -> String -
Returns a textual description of
term.Declaration
Swift
mutating func describe(_ term: RequirementTerm) -> String