Add identifier syntax to attributes.testing

Author: chorman0773

src/attributes/testing.md

@@ -1,15 +1,25 @@
 # Testing attributes
 
+r[attributes.testing]
+
 The following [attributes] are used for specifying functions for performing
 tests. Compiling a crate in "test" mode enables building the test functions
 along with a test harness for executing the tests. Enabling the test mode also
 enables the [`test` conditional compilation option].
 
 ## The `test` attribute
 
-The *`test` attribute* marks a function to be executed as a test. These
-functions are only compiled when in test mode. Test functions must be free,
-monomorphic functions that take no arguments, and the return type must implement the [`Termination`] trait, for example:
+r[attributes.testing.test]
+
+
+r[attributes.testing.test.general]
+The *`test` attribute* marks a function to be executed as a test. 
+
+r[attributes.testing.test.enabled]
+These functions are only compiled when in test mode. 
+
+r[attributes.testing.test.restriction]
+Test functions must be free, monomorphic functions that take no arguments, and the return type must implement the [`Termination`] trait, for example:
 
 * `()`
 * `Result<T, E> where T: Termination, E: Debug`
@@ -21,6 +31,7 @@ monomorphic functions that take no arguments, and the return type must implement
 > Note: The test mode is enabled by passing the `--test` argument to `rustc`
 > or using `cargo test`.
 
+r[attributes.testing.success]
 The test harness calls the returned value's [`report`] method, and classifies the test as passed or failed depending on whether the resulting [`ExitCode`] represents successful termination.
 In particular:
 * Tests that return `()` pass as long as they terminate and do not panic.
@@ -42,10 +53,15 @@ fn test_the_thing() -> io::Result<()> {
 
 ## The `ignore` attribute
 
+r[attributes.testing.ignore]
+
+
+r[attributes.testing.ignore.general]
 A function annotated with the `test` attribute can also be annotated with the
 `ignore` attribute. The *`ignore` attribute* tells the test harness to not
 execute that function as a test. It will still be compiled when in test mode.
 
+r[attributes.testing.ignore.syntax]
 The `ignore` attribute may optionally be written with the [_MetaNameValueStr_]
 syntax to specify a reason why the test is ignored.
 
@@ -62,10 +78,17 @@ fn mytest() {
 
 ## The `should_panic` attribute
 
+r[attributes.testing.should_panic]
+
+r[attributes.testing.should_panic.restriction]
 A function annotated with the `test` attribute that returns `()` can also be
-annotated with the `should_panic` attribute. The *`should_panic` attribute*
+annotated with the `should_panic` attribute. 
+
+r[attributes.testing.should_panic.behaviour]
+The *`should_panic` attribute*
 makes the test only pass if it actually panics.
 
+r[attributes.testing.should_panic.syntax]
 The `should_panic` attribute may optionally take an input string that must
 appear within the panic message. If the string is not found in the message,
 then the test will fail. The string may be passed using the