From b1b8e91d11ca39505d7b693d89e43ad20eddb85c Mon Sep 17 00:00:00 2001 From: Mike Gerwitz Date: Tue, 30 Jul 2013 09:07:02 -0400 Subject: [PATCH] Clarified shall and shall not definitions to state that the results are undefined if the requirement is not obeyed --- dfn/spec.tex | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/dfn/spec.tex b/dfn/spec.tex index ee804b8..2be2533 100644 --- a/dfn/spec.tex +++ b/dfn/spec.tex @@ -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