check_qualified_missing_idea

Katz 0.278

A qualified reference names a file and an idea. Example: `graph-analysers.rq".not_an_idea`.
The same rule applies to a namespace alias: `idea` ( import_namespace ).
check reports an error when that file is an `.rq` file, the file does not declare the idea, and the file does not bind that name as an import alias.
The issue kind is `references`. The label is the missing idea name.
A path with no extension means `.rq` first ( implicit_file_extension ).
A qualified reference to an idea that the `.rq` file declares is not this error.
A qualified reference to an import alias bound in that file is not this error.
A namespace import binds its `as` name.
A from-import or qualified import binds its `as` name, or the idea name when `as` is absent.
A from-import of an import alias stays check_unresolved_imports. The alias is not an idea.
A qualified reference to a code file is not this error. That form uses check_qualified_missing_file.
A missing file stays check_qualified_missing_idea. check_qualified_missing_idea does not also report a missing idea for that file.
comment_reference_ignore suppresses this error.
Related: check check_qualified_missing_file reference_qualified

implementation

broken.rs, ast.rs, analysis.rs, session.rs, reqlan-neighbor-parse.ts, reqlan-outbound-presentation.ts

status

done

tests

broken_references.rs:check_reports_qualified_reference_to_a_missing_idea, broken_references.rs:check_reports_namespace_qualified_reference_to_a_missing_idea, broken_references.rs:check_skips_qualified_missing_idea_on_rq_ignore_error, broken_references.rs:check_accepts_qualified_reference_when_the_file_exists, broken_references.rs:check_reports_qualified_reference_to_a_missing_file, golden_corpus.rs:qualified_reference_to_an_import_alias_is_not_a_missing_idea, parity.rs:golden_corpus_import_alias_is_not_an_unresolved_idea

Interactive page: check_qualified_missing_idea