Issue 7469: Errors in the abstract syntax chapter 1. -- [1] Integer conforms to real.                                                                                                                               (ocl2-ftf)
Source: Klasse Objecten (Dr. Jos Warmer, j.warmer@klasse.nl)
Nature: Uncategorized Issue
Severity: 
Summary: context Primitive
inv: (self.name = ’Integer’) implies
Primitive.allInstances()->forAll (p | (p.name = ’Real’) implies
(self.conformsTo(p))))
==> one closing bracket ’)’ too many
Resolution: 
Revised Text: 
Actions taken:
June 10, 2004: received issue
November 1, 2005: closed issue
Discussion: 
Resolution:
Typo error. The extra unmatched bracket should be removed.
Revised Text:
1) In page 37, replacing:
context Primitive
inv: (self.name = ’Integer’) implies
Primitive.allInstances()->forAll (p | (p.name = ’Real’) implies
(self.conformsTo(p))))
by
context Primitive
inv: (self.name = ’Integer’) implies
Primitive.allInstances()->forAll (p | (p.name = ’Real’) implies
(self.conformsTo(p)))
End of Annotations:=====

rs in the abstract syntax chapter
1. -- [1] Integer conforms to real.
context Primitive
inv: (self.name = .Integer.) implies
Primitive.allInstances()->forAll (p | (p.name = .Real.) implies
(self.conformsTo(p))))
==> one closing bracket .). too many