Idea detail
check_qualified_missing_idea
reqlan rq/core_analysis/check.rq:267
block
done
Summary
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
Navigation
Attributes
| Key | Value |
|---|---|
| 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 |
Ancestor context
No ancestor chain recorded.
Outbound references
Inbound references
| Kind | Idea | Path | Snippet |
|---|---|---|---|
| references | check | reqlan rq/core_analysis/check.rq | check_qualified_missing_idea |
| references | check_qualified_missing_file | reqlan rq/core_analysis/check.rq | check_qualified_missing_idea |
| references | local_symbolic_analysis | reqlan rq/indexer/indexer.rq | check_qualified_missing_idea |
| references | import_namespace | reqlan rq/language/imports.rq | check_qualified_missing_idea |
Unresolved references
| Kind | Idea | Path | Snippet |
|---|---|---|---|
| None | |||
Local graph
Initialising graph…