Issue 18319: OclAny::oclAsType postcondition implies type change (ocl2-rtf)
Source: Nomos Software (Dr. Edward Willink, ed(at)willink.me.uk)
Nature: Clarification
Severity: Minor
Summary: post: (result = self) and result.oclIsTypeOf( t )


requires oclAsType to change the type of self.


The constraint should be:


post: (result = self) and result.oclIsKindOf(t)


[Review all usage of oclIsType() since it's nearly always wrong to use oclIsType rather than oclIsKindOf.]
Resolution: 
Revised Text: 
Actions taken:
December 14, 2012: received issue
Discussion: 

End of Annotations:=====

m: webmaster@omg.org
Date: 14 Dec 2012 09:40:44 -0500
To: <issues@omg.org>
Subject: Issue/Bug Report
X-Brightmail-Tracker: AAAAARy2NIA=
X-Brightmail-Tracker: AAAAAA==


*******************************************************************************
Name:            Edward Willink
Employer:        
mailFrom:        ed@willink.me.uk
Terms_Agreement: I agree
Specification:   OCL
Section:         11
FormalNumber:    12-01-01
Version:         2.3.1
Doc_Year:        2012
Doc_Month:       January
Doc_Day:         01
Page:            147
Title:           OclAny::oclAsType postcondition implies type change
Nature:          Clarification
Severity:        Minor
CODE:            3TMw8
B1:              Report Issue


Description:


post: (result = self) and result.oclIsTypeOf( t )


requires oclAsType to change the type of self.


The constraint should be:


post: (result = self) and result.oclIsKindOf(t)


[Review all usage of oclIsType() since it's nearly always wrong to use oclIsType rather than oclIsKindOf.]