employer
/
lvspec
1
0
Fork 0
Code Releases Activity

Clarified shall and shall not definitions to state that the results are undefined if the requirement is not obeyed

master
Mike Gerwitz 2013-07-30 09:07:02 -04:00
parent 1db8d756bb
commit b1b8e91d11
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
dfn/spec.tex
View File

@ -39,10 +39,14 @@ specification to resolve implementation issues and should exercise that ability.
it.
\dt{Shall; Must}
Denotes a mandatory requirement.
Denotes a mandatory requirement. If an implementation does not implement such
a requirement, then the implementation is not conforming and the results under
such a requirement are \undefined.
\dt{Shall Not; Must Not}
Denotes an absolute prohibition.
Denotes an absolute prohibition. If an implementation does not honor such a
prohibition, then the implementation is not conforming and the results under
such a requirement are \undefined.
\dt{Superseded}
The feature or requirement mentioned in an earlier revision of this