Traceability Matrix

Each requirement paragraph in the Language Specification carries a unique identifier, shown as a [sls.…] badge at the end of the paragraph. A test case declares which requirements it verifies by listing their identifiers in //#sls.… comments. This matrix lists every requirement paragraph with the test cases that declare it. Requirements not yet covered by any test are marked ❌.

Tests marked case: are executed test cases from api/slint-sc/tests/cases/, tests marked syntax: are compiler syntax tests from internal/compiler/tests/syntax/slint-sc/.

Coverage: 29 of 45 requirement paragraphs are covered by at least one test.

Slint Language Specification

Paragraph	Tests
`sls.meta.purpose`	❌
`sls.meta.purpose-vs-reference`	❌
`sls.meta.conventions.normative`	❌
`sls.meta.conventions.examples`	❌

Source Files

Paragraph	Tests
`sls.source.file-extension`	❌
`sls.source.encoding.utf8`	`syntax: bom-encoding.slint` ↗
`sls.source.encoding.bom`	`syntax: bom-encoding.slint` ↗
`sls.source.line-terminators`	❌
`sls.source.bare-cr`	❌
`sls.source.whitespace.chars`	`syntax: whitespace.slint` ↗
`sls.source.whitespace.collapse`	`syntax: whitespace.slint` ↗
`sls.source.comment.line`	`case: component/with_comments.slint` ↗ `syntax: comments.slint` ↗
`sls.source.comment.block`	`case: component/with_comments.slint` ↗ `syntax: comments.slint` ↗
`sls.source.comment.whitespace-equivalent`	`case: component/with_comments.slint` ↗ `syntax: comments.slint` ↗
`sls.source.comment.no-doc-comments`	`syntax: comments.slint` ↗

Lexical Structure

Paragraph	Tests
`sls.lex.tokens`	❌
`sls.lex.identifier.classes`	`syntax: identifiers.slint` ↗
`sls.lex.identifier.no-leading-hyphen`	❌
`sls.lex.identifier.normalization`	`syntax: identifiers.slint` ↗
`sls.lex.identifier.normalization-example`	❌
`sls.lex.identifier.canonical-form`	❌
`sls.lex.contextual-keywords`	`syntax: identifiers.slint` ↗

File Structure

Paragraph	Tests
`sls.file.source-file`	`syntax: source_file.slint` ↗
`sls.file.source-file.empty`	`syntax: empty_file.slint` ↗
`sls.file.top-level-item`	`syntax: enums.slint` ↗ `syntax: globals.slint` ↗ `syntax: source_file.slint` ↗ `syntax: structs.slint` ↗
`sls.file.component.definition-forms`	`case: component/empty.slint` ↗ `syntax: component_declaration.slint` ↗
`sls.file.component.name`	`syntax: source_file.slint` ↗
`sls.file.component.inherits`	`syntax: inheritance.slint` ↗
`sls.file.component.body-braces`	`syntax: source_file.slint` ↗
`sls.file.component.body`	`case: component/nested_rectangles.slint` ↗ `syntax: element_nesting.slint` ↗ `syntax: for_and_if.slint` ↗
`sls.file.component.body.empty`	`case: component/empty.slint` ↗
`sls.file.element.instantiation-form`	`case: component/nested_rectangles.slint` ↗ `syntax: element_nesting.slint` ↗ `syntax: elements.slint` ↗
`sls.file.element.instantiation-typename`	`syntax: element_nesting.slint` ↗ `syntax: elements.slint` ↗
`sls.file.element.body`	`case: component/nested_rectangles.slint` ↗ `syntax: element_nesting.slint` ↗ `syntax: elements.slint` ↗
`sls.file.element.tree`	`case: component/nested_rectangles.slint` ↗ `syntax: element_nesting.slint` ↗ `syntax: elements.slint` ↗
`sls.file.example.intro`	❌
`sls.file.example.description`	❌

Exports

Paragraph	Tests
`sls.export.placement`	❌
`sls.export.default-private`	`syntax: component_declaration.slint` ↗
`sls.export.forms`	`syntax: export_specifiers.slint` ↗
`sls.export.declaration-site`	`case: component/empty.slint` ↗ `syntax: component_declaration.slint` ↗
`sls.export.list`	`syntax: export_specifiers.slint` ↗
`sls.export.rename`	❌
`sls.export.left-must-exist`	❌
`sls.export.no-duplicates`	`syntax: component_declaration.slint` ↗