Issue 7537: result value of an attribute call expression (ocl2-rtf)
Source: OpenModeling (Mr. Jos Warmer, jos.warmer(at)openmodeling.nl)
Nature: Uncategorized Issue
Severity: 
Summary: 29. -- [1] The result value of an attribute call expression is the value bound to the
-- name of the attribute to which it refers.
context AttributeCallExpEval inv:
resultValue = if source.resultValue->isOclType(
OCLDomain::Values::ObjectValue) then
source.resultValue->asOclType( ObjectValue )
.getCurrentValueOf(referredAttribute.name)
else -- must be a tuple value
source.resultValue->asOclType( TupleValue )
.getValueOf(referredAttribute.name)
endif
==> ’isOclType’ should be ’oclIsTypeOf’
==> ’asOclType’ should be ’oclAsType’
==> ’name’ should be ’value’ (twice)
Resolution: ’isOclType’ and ’asOclType’ were fixed in OCL 2.3.
Yes. value rather than name
Revised Text: In 10.3.2.3 AttributeCallExpEval replace
.getCurrentValueOf(referredAttribute.name)
by
.getCurrentValueOf(referredAttribute.value)
and
.getValueOf(referredAttribute.name)
by
.getValueOf(referredAttribute.value)
Actions taken:
June 10, 2004: received issue
December 23, 2013: closed issue
Discussion: 

End of Annotations:=====
s is issue # 7537

result value of an attribute call expression

29. -- [1] The result value of an attribute call expression is the value bound to the
-- name of the attribute to which it refers.
context AttributeCallExpEval inv:
resultValue = if source.resultValue->isOclType(
OCLDomain::Values::ObjectValue) then
source.resultValue->asOclType( ObjectValue )
.getCurrentValueOf(referredAttribute.name)
else -- must be a tuple value
source.resultValue->asOclType( TupleValue )
.getValueOf(referredAttribute.name)
endif
==> .isOclType. should be .oclIsTypeOf.
==> .asOclType. should be .oclAsType.
==> .name. should be .value. (twice)