unknownRuleOption
open fun unknownRuleOption(database: DatabaseContext, ruleId: QualifiedRuleId, optionName: String, knownOptionNames: Set<String>)
Signals that user configuration contains an option not declared by the rule.
Signals that user configuration contains an option not declared by the rule.