dtzrttp/moonbit-rtl/src/lint does not have a README file

    LintConfig

    pub(all) struct LintConfig {
    disabled : Array[String]
    warnings_as_errors : Bool
    } derive(Eq,
    Debug
    )

    LintConfig::active_rules

    fn LintConfig::active_rules(self : LintConfig) -> Array[Rule]

    Return the active rules in their stable declaration order.

    LintConfig::describe

    fn LintConfig::describe(self : LintConfig) -> String

    Return a short stable configuration description for logs.

    LintConfig::disable

    fn LintConfig::disable(self : LintConfig, code : String) -> LintConfig

    Disable one rule code in a copy of a lint configuration.

    LintConfig::disable_category

    fn LintConfig::disable_category(self : LintConfig, category : RuleCategory) -> LintConfig

    LintConfig::disabled_codes

    fn LintConfig::disabled_codes(self : LintConfig) -> Array[String]

    LintConfig::enable

    fn LintConfig::enable(self : LintConfig, code : String) -> LintConfig

    Re-enable one rule code in a copy of a lint configuration.

    LintConfig::enable_category

    fn LintConfig::enable_category(self : LintConfig, category : RuleCategory) -> LintConfig

    LintConfig::enabled_code_count

    fn LintConfig::enabled_code_count(self : LintConfig) -> Int

    LintConfig::has_unknown_rules

    fn LintConfig::has_unknown_rules(self : LintConfig) -> Bool

    LintConfig::is_enabled

    fn LintConfig::is_enabled(self : LintConfig, code : String) -> Bool

    Return whether a rule code will run under this configuration.

    LintConfig::unknown_disabled_rules

    fn LintConfig::unknown_disabled_rules(self : LintConfig) -> Array[String]

    Return disabled codes which are not recognized by this release.

    LintConfig::warnings_as_errors

    fn LintConfig::warnings_as_errors(self : LintConfig, enabled : Bool) -> LintConfig

    Turn warnings-as-errors on or off in a copy of a lint configuration.

    Rule

    pub(all) enum Rule {
    UndrivenSignal
    MultipleDrivers
    UnresolvedInstance
    DuplicateDeclaration
    OutputNotAssigned
    WidthMismatch
    ContractWidthMismatch
    UnknownContract
    ConditionalAssignment
    } derive(Eq,
    Debug
    )

    Rule::category

    fn Rule::category(self : Rule) -> RuleCategory

    Rule::code

    fn Rule::code(self : Rule) -> String

    RuleCategory

    pub(all) enum RuleCategory {
    Structure
    Connectivity
    Width
    Driving
    ControlFlow
    } derive(Eq,
    Debug
    )

    category_codes

    fn category_codes(category : RuleCategory) -> Array[String]

    compare_configs

    fn compare_configs(index :
    SemanticIndex
    , first : LintConfig, second : LintConfig) -> (Int, Int)

    config_for_category

    fn config_for_category(config : LintConfig, category : RuleCategory) -> LintConfig

    default_config

    fn default_config() -> LintConfig

    default_rules

    fn default_rules() -> Array[Rule]

    lint_category_summary

    fn lint_category_summary(config : LintConfig) -> String

    lint_codes

    lint_has_errors

    fn lint_has_errors(index :
    SemanticIndex
    , config : LintConfig) -> Bool

    lint_report_summary

    fn lint_report_summary(index :
    SemanticIndex
    , config : LintConfig) -> String

    rule_category

    fn rule_category(code : String) -> RuleCategory

    rule_codes

    fn rule_codes() -> Array[String]

    Return all known rule codes, including disabled rules.

    rules_in_category

    fn rules_in_category(category : RuleCategory) -> Array[Rule]

    strict_config

    fn strict_config() -> LintConfig