Issue 6542: Flagging insecure cast from Set to Sequence                                                                                                                                                             (ocl2-ftf)
Source:  (, )
Nature: Uncategorized Issue
Severity: 
Summary: Author: Jörn Guy Süß (jgsuess@cs.tu-berlin.de)
Description: Interpreter to warn of nondeterministic cast 
Rationale:
If an OCL expression contains a cast from Set to Sequence types, nondeterminism is introduced through the order of the new sequence. Either such casts should be disallowed, or the specification should require that implementations give feedback that nondeterministic behavior is to be expected

Resolution: 
Revised Text: 
Actions taken:
November 10, 2003: received issue
November 1, 2005: closed issue
Discussion: 
Discussion:
We believe it is up to an implementation to decide whether to send a warning or not.
Disposition: Closed, no change
End of Annotations:=====
gging insecure cast from Set to Sequence
Author: Jörn Guy Süß (jgsuess@cs.tu-berlin.de)
Description: Interpreter to warn of nondeterministic cast 
Rationale:
If an OCL expression contains a cast from Set to Sequence types, nondeterminism is introduced through the order of the new sequence. Either such casts should be disallowed, or the specification should require that implementations give feedback that nondeterministic behavior is to be expected.