| Modifier and Type | Annotation and Description |
|---|---|
| public @interface | |
| public @interface | |
| public @interface | MADRs
Required for |
| public @interface | YStatementJustification
See IEEE Software/InfoQ article and SATURN 2012 presentation for introduction of Y statements. |
| public @interface | YStatementJustifications
Required for |