Lev Kozakov wrote:
<snip>
I thought that your intention was to emphasize that the old TAE output
format is not available any more.
I'm not trying to "emphasize". I thought, from previous comments, that
there
was a flag, called "-ae", which could be set "true" or "false".
So I thought there might be some code out there that was using this -ae flag
to generate a "TAE" by setting it to "false".
If a user wants to generate the old TAE
format by using the erroneous '-tae' flag, appropriate exception is
thrown.
I think it highly unlikely that a user will write flags that are not
documented anywhere.
The older -ae flag was documented, I think.
In any case, perhaps a better design is if the user types any -xxx flag
which is unrecognized, to give an
appropriate message about an unrecognized flag.
-Marshall
