Issue 6543: Flagging recursive definitions                                                                                                                                                                          (ocl2-ftf)
Source:  (, )
Nature: Uncategorized Issue
Severity: 
Summary: Author: Jörn Guy Süß (jgsuess@cs.tu-berlin.de)
Description: Interpreter to warn of recursive definitions
Rationale:
While recursive definitions are necessary to express certain constructs, they may lack a fixpoint. Specification should require implementations to provide either an occurs check or structured time-out/stack-trace to handle these situations.

Resolution: 
Revised Text: 
Actions taken:
November 10, 2003: received issue
November 1, 2005: closed issue
Discussion: 
We believe it is up to an implementation to decide whether to send a warning or not.
Revised Text:
Disposition: Closed, no change
End of Annotations:=====
gging recursive definitions
Author: Jörn Guy Süß (jgsuess@cs.tu-berlin.de)
Description: Interpreter to warn of recursive definitions
Rationale:
While recursive definitions are necessary to express certain constructs, they may lack a fixpoint. Specification should require implementations to provide either an occurs check or structured time-out/stack-trace to handle these situations.