Traceability Matrix

Each requirement paragraph in the Language Specification, the SC API Reference, and the other chapters of this manual 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 ❌. Informative paragraphs — those whose identifier contains a meta segment, and examples — are not listed; the examples are compiled by the doctests test instead.

Tests marked case: are executed test cases from api/slint-sc/tests/cases/, syntax: are compiler syntax tests from internal/compiler/tests/syntax/slint-sc/, and rust: are Rust unit tests and test drivers of the slint-sc crate and the compiler.

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

Slint Language Specification

Source Files

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

Lexical Structure

Paragraph	Tests
`sls.lex.tokens`	`rust: lexer.rs` ↗
`sls.lex.number`	`rust: lexer.rs` ↗
`sls.lex.identifier.classes`	`case: lexical/unicode_identifiers.slint` ↗ `rust: lexer.rs` ↗
`sls.lex.identifier.no-leading-digit`	`rust: lexer.rs` ↗
`sls.lex.identifier.no-leading-hyphen`	`syntax: identifier_leading_hyphen.slint` ↗ `syntax: identifier_leading_hyphen_element_id.slint` ↗ `syntax: identifier_leading_hyphen_inherits.slint` ↗ `syntax: identifier_leading_hyphen_property.slint` ↗ `rust: lexer.rs` ↗
`sls.lex.identifier.normalization`	`syntax: identifier_normalization_collision.slint` ↗ `syntax: identifier_normalization_distinct.slint` ↗
`sls.lex.identifier.normalization-example`	`syntax: identifier_normalization_collision.slint` ↗
`sls.lex.identifier.canonical-form`	`syntax: identifier_normalization_collision.slint` ↗
`sls.lex.contextual-keywords`	`case: lexical/contextual_keywords.slint` ↗ `syntax: contextual_keywords.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`	`case: import/named.slint` ↗ `syntax: enums.slint` ↗ `syntax: globals.slint` ↗ `syntax: source_file.slint` ↗ `syntax: structs.slint` ↗
`sls.file.component.definition-forms`	`case: component/user_component.slint` ↗
`sls.file.component.name`	`case: component/name.slint` ↗
`sls.file.component.inherits`	`case: component/inherits.slint` ↗
`sls.file.component.inherits.meaning`	`case: component/component_inheritance.slint` ↗
`sls.file.component.inherits.body-applies`	`case: component/inherits.slint` ↗
`sls.file.component.inherits.properties`	`case: component/inherits.slint` ↗
`sls.file.component.inherits.base`	`case: component/component_inheritance.slint` ↗ `case: import/named.slint` ↗ `syntax: inherits_not_yet_defined.slint` ↗ `syntax: inherits_unknown.slint` ↗
`sls.file.component.body-braces`	`syntax: component_braces_close.slint` ↗ `syntax: component_braces_open.slint` ↗
`sls.file.component.body`	`case: component/nested_rectangles.slint` ↗ `syntax: bindings.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` ↗
`sls.file.element.instantiation-typename`	`case: component/user_component.slint` ↗ `syntax: element_unknown_type.slint` ↗
`sls.file.element.id`	`syntax: element_id.slint` ↗
`sls.file.element.id.unique`	`syntax: element_id.slint` ↗
`sls.file.element.id.reserved`	`syntax: element_id.slint` ↗
`sls.file.element.no-window-instantiation`	`syntax: window_instantiation.slint` ↗
`sls.file.element.body`	`case: component/background_color.slint` ↗ `case: component/nested_rectangles.slint` ↗ `syntax: element_nesting.slint` ↗
`sls.file.element.tree`	`case: component/nested_rectangles.slint` ↗ `syntax: element_nesting.slint` ↗

Name Resolution

Paragraph	Tests
`sls.name.lookup`	`case: expr/predefined_names.slint` ↗ `syntax: element_id.slint` ↗ `syntax: expression_references.slint` ↗
`sls.name.lookup.qualified`	`syntax: expression_references.slint` ↗

Imports

Paragraph	Tests
`sls.import.semantics`	`case: import/named.slint` ↗
`sls.import.subset`	`syntax: import_subset.slint` ↗
`sls.import.placement`	`case: import/named.slint` ↗
`sls.import.named-only`	`syntax: imports.slint` ↗
`sls.import.forms`	`case: import/named.slint` ↗
`sls.import.list`	`case: import/named.slint` ↗
`sls.import.item`	`case: import/named.slint` ↗
`sls.import.same-name`	`case: import/named.slint` ↗
`sls.import.rename`	`case: import/named.slint` ↗ `syntax: import_names.slint` ↗
`sls.import.left-must-exist`	`syntax: import_names.slint` ↗
`sls.import.no-clash`	`syntax: import_names.slint` ↗
`sls.import.kinds`	`case: import/named.slint` ↗
`sls.import.path-literal`	`case: import/named.slint` ↗
`sls.import.path-relative`	`case: import/named.slint` ↗ `syntax: import_paths.slint` ↗
`sls.import.path-verbatim`	`syntax: import_paths.slint` ↗
`sls.import.path-must-exist`	`syntax: import_paths.slint` ↗

Exports

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

Properties

Paragraph	Tests
`sls.prop.def`	`case: component/inherits.slint` ↗
`sls.prop.def.value`	`case: component/properties.slint` ↗
`sls.prop.decl.form`	`case: component/properties.slint` ↗ `syntax: properties.slint` ↗
`sls.prop.decl.visibility`	`syntax: properties.slint` ↗ `syntax: property_protected.slint` ↗
`sls.prop.decl.in`	`case: component/properties.slint` ↗
`sls.prop.decl.out`	`case: component/properties.slint` ↗
`sls.prop.decl.in-out`	`case: component/properties.slint` ↗
`sls.prop.decl.private`	`case: component/properties.slint` ↗
`sls.prop.decl.root-only`	`syntax: properties.slint` ↗
`sls.prop.decl.types`	`syntax: enums.slint` ↗ `syntax: properties.slint` ↗ `syntax: structs.slint` ↗
`sls.prop.decl.default`	`case: component/properties.slint` ↗

Bindings

Paragraph	Tests
`sls.binding.form`	`case: component/background_color.slint` ↗ `syntax: color_literals.slint` ↗
`sls.binding.target-must-exist`	`syntax: bindings.slint` ↗
`sls.type.conversions`	`syntax: binding_types.slint` ↗
`sls.binding.type`	`syntax: binding_types.slint` ↗

Expressions

Paragraph	Tests
`sls.expr.forms`	`syntax: bindings.slint` ↗
`sls.expr.grouping`	`case: expr/arithmetic.slint` ↗
`sls.expr.color.forms`	`syntax: color_literals.slint` ↗
`sls.expr.color.channels`	`case: expr/color_literals.slint` ↗
`sls.expr.color.short-forms`	`case: expr/color_literals.slint` ↗
`sls.expr.color.type`	`syntax: color_literals.slint` ↗
`sls.expr.length.form`	`case: component/rectangle_position.slint` ↗ `syntax: length_literal_space.slint` ↗ `syntax: units.slint` ↗
`sls.expr.length.integral`	`syntax: units.slint` ↗
`sls.expr.length.px-only`	`syntax: units.slint` ↗
`sls.expr.length.type`	`case: component/rectangle_position.slint` ↗
`sls.expr.int.form`	`case: component/properties.slint` ↗ `syntax: int_literal.slint` ↗
`sls.expr.int.type`	`case: component/properties.slint` ↗
`sls.expr.int.fractional`	`syntax: int_literal.slint` ↗
`sls.expr.image.form`	`case: expr/image.slint` ↗
`sls.expr.image.path`	`case: expr/image.slint` ↗
`sls.expr.image.empty`	`case: expr/image.slint` ↗
`sls.expr.image.type`	`case: expr/image.slint` ↗
`sls.expr.image.raster-only`	`syntax: image.slint` ↗
`sls.expr.image.path-only`	`syntax: expressions.slint` ↗
`sls.expr.image.no-nine-slice`	`syntax: expressions.slint` ↗
`sls.expr.image.dimensions`	`case: component/image_element.slint` ↗ `syntax: image.slint` ↗
`sls.expr.ref.form`	`syntax: expression_references.slint` ↗
`sls.expr.ref.element`	`case: expr/predefined_names.slint` ↗ `syntax: expression_references.slint` ↗
`sls.expr.bool`	`case: expr/bool.slint` ↗
`sls.expr.ref.lookup`	`case: expr/predefined_names.slint` ↗
`sls.expr.ref.target`	`syntax: expression_references.slint` ↗
`sls.expr.ref.value`	`case: expr/bool.slint` ↗ `case: expr/property_reference.slint` ↗

Operators

Paragraph	Tests
`sls.op.form`	`syntax: arithmetic.slint` ↗
`sls.op.additive`	`case: expr/arithmetic.slint` ↗ `syntax: arithmetic.slint` ↗
`sls.op.multiplicative`	`case: expr/arithmetic.slint` ↗ `syntax: arithmetic.slint` ↗
`sls.op.precedence`	`case: expr/arithmetic.slint` ↗
`sls.op.saturating`	`case: expr/arithmetic.slint` ↗ `case: expr/unary.slint` ↗
`sls.op.comparison`	`case: expr/comparison.slint` ↗
`sls.op.comparison.equality`	`case: expr/comparison.slint` ↗
`sls.op.comparison.ordering`	`case: expr/comparison.slint` ↗
`sls.op.logical`	`case: expr/logical.slint` ↗
`sls.op.not`	`case: expr/logical.slint` ↗
`sls.op.bool-operands`	`syntax: logical.slint` ↗
`sls.op.prefix`	`case: expr/unary.slint` ↗
`sls.op.unary`	`case: expr/unary.slint` ↗
`sls.op.ternary`	`case: expr/ternary.slint` ↗
`sls.op.ternary.type`	`case: expr/ternary.slint` ↗
`sls.op.ternary.assoc`	`case: expr/ternary.slint` ↗

Callbacks

Paragraph	Tests
`sls.callback.def`	`case: callback/clicked.slint` ↗
`sls.callback.decl.form`	`case: callback/clicked.slint` ↗ `syntax: callbacks.slint` ↗
`sls.callback.decl.root-only`	`syntax: callbacks.slint` ↗
`sls.callback.decl.no-params`	`syntax: callbacks.slint` ↗
`sls.callback.decl.plain`	`syntax: callbacks.slint` ↗
`sls.callback.decl.unique`	`case: callback/declaration.slint` ↗ `syntax: callbacks.slint` ↗
`sls.callback.call.form`	`case: callback/clicked.slint` ↗ `syntax: callbacks.slint` ↗
`sls.callback.call.handler`	`case: callback/no_handler.slint` ↗
`sls.callback.handler.form`	`case: callback/clicked.slint` ↗ `syntax: callbacks.slint` ↗
`sls.callback.handler.one`	`syntax: callbacks.slint` ↗
`sls.callback.handler.target`	`case: callback/clicked.slint` ↗
`sls.callback.handler.body`	`syntax: callbacks.slint` ↗
`sls.callback.handler.not-root`	`syntax: callbacks.slint` ↗
`sls.callback.handler.no-cycle`	`syntax: callback_loop.slint` ↗

Structs and Enums

Paragraph	Tests
`sls.struct.decl`	`case: component/struct_property.slint` ↗ `syntax: structs.slint` ↗
`sls.struct.field-type`	`syntax: structs.slint` ↗
`sls.struct.no-field-default`	`syntax: structs.slint` ↗
`sls.struct.default`	`case: component/struct_property.slint` ↗
`sls.struct.literal`	`case: component/struct_construction.slint` ↗
`sls.struct.literal.exact`	`syntax: struct_literal.slint` ↗
`sls.struct.field-access`	`case: component/struct_construction.slint` ↗
`sls.enum.decl`	`case: component/enum_property.slint` ↗ `syntax: enums.slint` ↗
`sls.enum.nonempty`	`syntax: enums.slint` ↗
`sls.enum.value-name`	`syntax: enums.slint` ↗
`sls.enum.distinct`	`syntax: enums.slint` ↗
`sls.enum.name-collision`	`syntax: enums.slint` ↗
`sls.enum.value`	`case: component/enum_property.slint` ↗ `syntax: enums.slint` ↗
`sls.enum.default`	`case: component/enum_property.slint` ↗

Geometry

Paragraph	Tests
`sls.geom.properties`	`syntax: units.slint` ↗
`sls.geom.relative`	`case: component/rectangle_nesting.slint` ↗
`sls.geom.window.root`	`case: component/rectangle_position.slint` ↗ `syntax: geometry_root.slint` ↗
`sls.geom.window.size`	`case: component/window_size.slint` ↗
`sls.geom.window`	`case: component/window_size.slint` ↗ `syntax: elements.slint` ↗ `syntax: geometry_root.slint` ↗
`sls.geom.default-position`	`case: component/baseless_implicit_size.slint` ↗ `case: component/image_element.slint` ↗ `case: component/rectangle_centered.slint` ↗ `case: component/rectangle_nesting.slint` ↗
`sls.geom.default-size`	`case: component/rectangle_nesting.slint` ↗

Colors and Brushes

Paragraph	Tests
`sls.type.color`	`case: component/properties.slint` ↗
`sls.type.color.alpha`	`case: component/blend.slint` ↗
`sls.type.brush`	`case: component/rectangle_position.slint` ↗
`sls.type.convert.color-to-brush`	`case: component/rectangle_position.slint` ↗ `syntax: binding_types.slint` ↗

Images

Paragraph	Tests
`sls.type.image`	`case: expr/image.slint` ↗
`sls.type.image.none`	`case: expr/image.slint` ↗
`sls.type.image.sources`	`case: component/image_element.slint` ↗
`sls.type.image.width`	`case: component/image_element.slint` ↗
`sls.type.image.height`	`case: component/image_element.slint` ↗

Primitive & Numeric Types

Paragraph	Tests
`sls.type.bool`	`case: expr/bool.slint` ↗
`sls.type.int`	`case: component/properties.slint` ↗
`sls.type.length`	`case: component/properties.slint` ↗ `case: component/rectangle_position.slint` ↗

SC API Reference

Image

Paragraph	Tests
`sls.ref.image.draw`	`case: component/image_element.slint` ↗
`sls.ref.image.size`	`case: component/image_element.slint` ↗ `syntax: elements.slint` ↗
`sls.ref.image.source`	`case: component/image_element.slint` ↗
`sls.ref.image.source.dimensions`	`case: component/image_element.slint` ↗

Rectangle

Paragraph	Tests
`sls.ref.rectangle.background`	`case: component/rectangle_position.slint` ↗
`sls.ref.rectangle.empty`	`case: component/rectangle_position.slint` ↗
`sls.ref.rectangle.translucent`	`case: component/blend.slint` ↗

TouchArea

Paragraph	Tests
`sls.ref.toucharea.size`	`case: callback/clicked.slint` ↗
`sls.ref.toucharea.members`	`case: callback/clicked.slint` ↗ `syntax: elements.slint` ↗
`sls.ref.toucharea.clicked`	`case: callback/clicked.slint` ↗
`sls.ref.toucharea.clicked.input`	`case: callback/clicked.slint` ↗

Window

Paragraph	Tests
`sls.ref.window.width`	`case: component/window_size.slint` ↗
`sls.ref.window.width-out`	`case: component/window_size.slint` ↗ `syntax: geometry_root.slint` ↗
`sls.ref.window.height`	`case: component/window_size.slint` ↗
`sls.ref.window.height-out`	`syntax: geometry_root.slint` ↗
`sls.ref.window.background`	`case: component/rectangle_position.slint` ↗
`sls.ref.window.opaque`	`syntax: window_background.slint` ↗

Safety Manual

Generated Code

Paragraph	Tests
`sls.gen.output`	`rust: tests/driver.rs` ↗
`sls.gen.component`	`case: component/empty.slint` ↗ `case: component/name.slint` ↗ `case: component/user_component.slint` ↗
`sls.gen.window-root`	`syntax: window_root.slint` ↗
`sls.gen.new`	`case: component/empty.slint` ↗ `case: component/window_background.slint` ↗
`sls.gen.render-rgb8`	`case: component/window_background.slint` ↗
`sls.gen.render-error`	`case: component/window_background.slint` ↗
`sls.gen.prop.names`	`case: component/properties.slint` ↗
`sls.gen.prop.get`	`case: component/properties.slint` ↗
`sls.gen.prop.set`	`case: component/properties.slint` ↗
`sls.gen.prop.types`	`case: component/properties.slint` ↗
`sls.gen.prop.types.image`	`case: expr/image.slint` ↗ `rust: lib.rs` ↗
`sls.gen.image.static`	`case: expr/image.slint` ↗
`sls.gen.callback.trait`	`case: callback/declaration.slint` ↗
`sls.gen.callback.names`	`case: callback/declaration.slint` ↗
`sls.gen.callback.required`	`case: callback/declaration.slint` ↗
`sls.gen.callback.args`	`case: callback/clicked.slint` ↗
`sls.gen.dispatch-touch-event`	`case: callback/clicked.slint` ↗
`sls.gen.types`	`case: component/enum_property.slint` ↗ `case: component/struct_property.slint` ↗
`sls.gen.types.struct`	`case: component/struct_property.slint` ↗
`sls.gen.types.enum`	`case: component/enum_property.slint` ↗
`sls.gen.types.enum.default`	`case: component/enum_property.slint` ↗
`sls.gen.types.enum.names`	`case: component/enum_property.slint` ↗

Touch Input

Paragraph	Tests
`sls.input.invocation`	`case: callback/clicked.slint` ↗
`sls.input.model`	`case: callback/clicked.slint` ↗
`sls.input.events`	`case: callback/clicked.slint` ↗
`sls.input.hit`	`case: callback/clicked.slint` ↗
`sls.input.hit.current`	`case: callback/hit_test.slint` ↗
`sls.input.hit.no-parent-clip`	`case: callback/hit_test.slint` ↗
`sls.input.hit.topmost`	`case: callback/hit_test.slint` ↗
`sls.input.press`	`case: callback/clicked.slint` ↗
`sls.input.click`	`case: callback/clicked.slint` ↗
`sls.input.click.mismatch`	`case: callback/hit_test.slint` ↗
`sls.input.press.replace`	`case: callback/hit_test.slint` ↗

Rendering

Paragraph	Tests
`sls.paint.invocation`	`case: component/window_background.slint` ↗
`sls.paint.model`	`case: component/rectangle_nesting.slint` ↗ `case: component/rectangle_position.slint` ↗
`sls.paint.order`	`case: component/rectangle_nesting.slint` ↗
`sls.paint.blend`	`case: component/blend.slint` ↗ `case: component/blend_property.slint` ↗
`sls.paint.blend.formula`	`case: component/blend.slint` ↗ `rust: lib.rs` ↗
`sls.paint.blend.transparent`	`case: component/blend.slint` ↗ `case: component/blend_property.slint` ↗
`sls.paint.blend.opaque`	`case: component/blend.slint` ↗ `case: component/blend_property.slint` ↗
`sls.paint.no-group-opacity`	`case: component/blend.slint` ↗
`sls.paint.window-opaque`	`case: component/blend.slint` ↗ `syntax: window_background.slint` ↗
`sls.paint.image`	`case: component/image_element.slint` ↗ `rust: private_unstable_api/renderer.rs` ↗
`sls.paint.image.blend`	`case: component/image_element.slint` ↗ `rust: private_unstable_api/renderer.rs` ↗
`sls.paint.image.none`	`case: component/image_element.slint` ↗ `rust: private_unstable_api/renderer.rs` ↗
`sls.paint.clip`	`case: component/rectangle_nesting.slint` ↗ `case: component/rectangle_wider_than_window.slint` ↗ `rust: private_unstable_api/renderer.rs` ↗
`sls.paint.no-parent-clip`	`case: component/rectangle_nesting.slint` ↗