Whenever the Effects
element specifies that the semantics of some function
are Equivalent to
some code sequence, then the various elements are
interpreted as follows.
's semantics specifies any Constraints
then those requirements are logically imposed prior to the equivalent-to
Next, the semantics of the code sequence are determined by the
, and Error conditions
specified for the function invocations contained in the code sequence.
The value returned from F
is specified by F
or if F
has no Returns
return from F
is specified by the
) in the code sequence.
's semantics contains a Throws
, or Complexity
then that supersedes any occurrences of that element in the code sequence.