not-reached (message string-expression)?
You can use the
not-reached statement to verify that a position in your code that you do not expect to be reached is in fact not reached. OmniMark throws to
#program-error (error code 6133) if a
not-reached statement is executed. You can add a message to the throw by specifying a message parameter.
not-reached can be useful in branching constructs where all the values used to select a particular action fall within a certain range: