[ibis-editorial] Typ value confusion...
- From: "Mirmak, Michael" <michael.mirmak@xxxxxxxxx>
- To: "ibis-editorial@xxxxxxxxxxxxx" <ibis-editorial@xxxxxxxxxxxxx>
- Date: Fri, 2 Mar 2012 23:36:48 +0000
(this may require cross-posting to ibis-macro)
In reviewing Section 10A in the draft 5.1 document, I have a question about
the "typ value" of a Model Specific parameter: for List, etc., must one list
a *duplicate* value for the typ value? In other words, are repeats
required?
This should not be affected by the presence of "Default" (though "Default"
makes it confusing).
Here's an example in four variations. Which is correct? My own vote is for
(1) and (4) being correct. However, we only say that the Default value has
to be a member of the list, *not* that the typ value has to be a member of
the list! ("Also, if Default is specified, <value> must be a member of the
set of allowed values of the parameter. If Default is not specified, the
default value of the parameters will be the <typ> value.")
1)
(Informative_String (Usage In)(List B A B C D)(Type String)(Default B)
(Description "This is an example with a repeated item, because the
first in the list should be the Typ Value"))
2)
(Informative_String (Usage In)(List A B C D)(Type String)(Default B)
(Description "This is an example without a repeated item, because the
first in the list shouldn't have to be the Typ Value, as I have a Default
declared; but I risk declaring a typ that isn't actually in my list, if the
typ is A and the list consists only of B, C and D"))
3)
(Informative_String (Usage In)(List A B C D)(Type String)
(Description "This is an example without a repeated item, and without
a Default, I risk declaring a typ that isn't actually in my list, if the typ
is A and the list consists only of B, C and D"))
4)
(Informative_String (Usage In)(List B A B C D)(Type String)
(Description "This is an example with a repeated item, and without a
Default; this technically matches the spirit and letter of the 5.1 law"))
- MM
Other related posts:
