Path:

outer_doc_attrs.rs

Lines:

26

Non-empty lines:

23

Non-empty lines covered with requirements:

23 / 23 (100.0%)

Functions:

5

Functions covered by requirements:

5 / 5 (100.0%)

1 - 26 | trait Processor

• "5. Outer doc attributes" (REQUIREMENT)

RUST-OUTER-DOC-ATTR

5. Outer doc attributes UID: RUST-OUTER-DOC-ATTR RELATIONS (Parent):

• RUST-DOC-COMMENT Auto-scoped relation markers in Rust docs

RELATIONS (File):

• outer_doc_attrs.rs, lines: 1-26, trait Processor
• outer_doc_attrs.rs, lines: 5-8, associated type Output
• outer_doc_attrs.rs, lines: 10-13, const MAX_SIZE
• outer_doc_attrs.rs, lines: 15-18, function process()
• outer_doc_attrs.rs, lines: 20-25, fn validate()

STATEMENT: StrictDoc shall support auto-scoped relation markers in outer_ `doc attribute`_ s.

.. _outer: https://doc.rust-lang.org/reference/attributes.html#r-attributes.outer
.. _doc attribute: https://doc.rust-lang.org/rustdoc/write-documentation/the-doc-attribute.html#the-doc-attribute

1

#[doc = "Trait definition with"]

2

#[doc = "@relation(RUST-OUTER-DOC-ATTR)"]

3

#[doc = "Description: behavioral interface contract"]

4

pub trait Processor {

5 - 8 | associated type Output

• "5. Outer doc attributes" (REQUIREMENT)

RUST-OUTER-DOC-ATTR

5. Outer doc attributes UID: RUST-OUTER-DOC-ATTR RELATIONS (Parent):

• RUST-DOC-COMMENT Auto-scoped relation markers in Rust docs

RELATIONS (File):

• outer_doc_attrs.rs, lines: 1-26, trait Processor
• outer_doc_attrs.rs, lines: 5-8, associated type Output
• outer_doc_attrs.rs, lines: 10-13, const MAX_SIZE
• outer_doc_attrs.rs, lines: 15-18, function process()
• outer_doc_attrs.rs, lines: 20-25, fn validate()

STATEMENT: StrictDoc shall support auto-scoped relation markers in outer_ `doc attribute`_ s.

.. _outer: https://doc.rust-lang.org/reference/attributes.html#r-attributes.outer
.. _doc attribute: https://doc.rust-lang.org/rustdoc/write-documentation/the-doc-attribute.html#the-doc-attribute

5

    #[doc = "Associated type with"]

6

    #[doc = "@relation(RUST-OUTER-DOC-ATTR)"]

7

    #[doc = "Random: output data type"]

8

    type Output;

5 - 8 | associated type Output

9

10 - 13 | const MAX_SIZE

• "5. Outer doc attributes" (REQUIREMENT)

RUST-OUTER-DOC-ATTR

5. Outer doc attributes UID: RUST-OUTER-DOC-ATTR RELATIONS (Parent):

• RUST-DOC-COMMENT Auto-scoped relation markers in Rust docs

RELATIONS (File):

• outer_doc_attrs.rs, lines: 1-26, trait Processor
• outer_doc_attrs.rs, lines: 5-8, associated type Output
• outer_doc_attrs.rs, lines: 10-13, const MAX_SIZE
• outer_doc_attrs.rs, lines: 15-18, function process()
• outer_doc_attrs.rs, lines: 20-25, fn validate()

STATEMENT: StrictDoc shall support auto-scoped relation markers in outer_ `doc attribute`_ s.

.. _outer: https://doc.rust-lang.org/reference/attributes.html#r-attributes.outer
.. _doc attribute: https://doc.rust-lang.org/rustdoc/write-documentation/the-doc-attribute.html#the-doc-attribute

10

    #[doc = "Associated const with"]

11

    #[doc = "@relation(RUST-OUTER-DOC-ATTR)"]

12

    #[doc = "Text: maximum buffer capacity"]

13

    const MAX_SIZE: usize;

10 - 13 | const MAX_SIZE

14

15 - 18 | function process()

• "5. Outer doc attributes" (REQUIREMENT)

RUST-OUTER-DOC-ATTR

5. Outer doc attributes UID: RUST-OUTER-DOC-ATTR RELATIONS (Parent):

• RUST-DOC-COMMENT Auto-scoped relation markers in Rust docs

RELATIONS (File):

• outer_doc_attrs.rs, lines: 1-26, trait Processor
• outer_doc_attrs.rs, lines: 5-8, associated type Output
• outer_doc_attrs.rs, lines: 10-13, const MAX_SIZE
• outer_doc_attrs.rs, lines: 15-18, function process()
• outer_doc_attrs.rs, lines: 20-25, fn validate()

STATEMENT: StrictDoc shall support auto-scoped relation markers in outer_ `doc attribute`_ s.

.. _outer: https://doc.rust-lang.org/reference/attributes.html#r-attributes.outer
.. _doc attribute: https://doc.rust-lang.org/rustdoc/write-documentation/the-doc-attribute.html#the-doc-attribute

15

    #[doc = "Trait method with"]

16

    #[doc = "@relation(RUST-OUTER-DOC-ATTR)"]

17

    #[doc = "Words: processing operation handler"]

18

    fn process(&self, input: &str) -> Self::Output;

15 - 18 | function process()

19

20 - 25 | fn validate()

• "5. Outer doc attributes" (REQUIREMENT)

RUST-OUTER-DOC-ATTR

5. Outer doc attributes UID: RUST-OUTER-DOC-ATTR RELATIONS (Parent):

• RUST-DOC-COMMENT Auto-scoped relation markers in Rust docs

RELATIONS (File):

• outer_doc_attrs.rs, lines: 1-26, trait Processor
• outer_doc_attrs.rs, lines: 5-8, associated type Output
• outer_doc_attrs.rs, lines: 10-13, const MAX_SIZE
• outer_doc_attrs.rs, lines: 15-18, function process()
• outer_doc_attrs.rs, lines: 20-25, fn validate()

STATEMENT: StrictDoc shall support auto-scoped relation markers in outer_ `doc attribute`_ s.

.. _outer: https://doc.rust-lang.org/reference/attributes.html#r-attributes.outer
.. _doc attribute: https://doc.rust-lang.org/rustdoc/write-documentation/the-doc-attribute.html#the-doc-attribute

20

    #[doc = "Default method with"]

21

    #[doc = "@relation(RUST-OUTER-DOC-ATTR)"]

22

    #[doc = "Description: validation check routine"]

23

    fn validate(&self) -> bool {

24

        true

25

    }

20 - 25 | fn validate()

26

}

1 - 26 | trait Processor