Issue 6533: Template return types in operation signatures (ocl2-rtf)
Source:  (, )
Nature: Uncategorized Issue
Severity: 
Summary: Description: At some places, template parameter T appears in operation signatures, e.g., oclAsType(typename:OclType) : T (e.g., Sect. 6.2.1). At other places, this is denoted by "instance of OclType" or <<the return type of the invoked operation>>.  It would be more meaningful when these informal return type descriptions are replaced by "OclAny". An additional constraint about the actual return type should be given when necessary.
Resolution: 
Revised Text: 
Actions taken:
November 10, 2003: received issue
Discussion: 
Deferred for timing reasons
End of Annotations:=====
te return types in operation signatures.
Author: Stephan Flake (flake@c-lab.de)
Description: At some places, template parameter T appears in operation signatures, e.g., oclAsType(typename:OclType) : T (e.g., Sect. 6.2.1). At other places, this is denoted by "instance of OclType" or <<the return type of the invoked operation>>.  It would be more meaningful when these informal return type descriptions are replaced by "OclAny". An additional constraint about the actual return type should be given when necessary.