1) Mantis 3278 _x__Yes ___No
http://www.eda.org/svdb/view.php?id=3278
[virtual method type rules]
[proposal: 3278-v3.pdf]
(2) Mantis 3279 _x__Yes ___No
http://www.eda.org/svdb/view.php?id=3279
CLOSE: [already merged into 3278]
(3) Mantis 3293 ___Yes __x_No
http://www.eda.org/svdb/view.php?id=3293
[Clarify $cast behaviour on class handles]
[proposal: Mantis_3293_proposal_v3.pdf]
An ancestor is not a term defined in the LRM. Is it different from a superclass?
I would like the text to be more precise and differentiate the static declared type of the handle variable versus the dynamic type of the object pointed to by the handle variable.
Proposed modifications:
FROM:
It is always legal
TO:
It shall always be legal...
FROM :
to a variable of a class higher in ...
TO:
to a variable of a class type higher in...
FROM:
a superclass variable to a variable of one of its subclasses
TO:
a variable of a superclass type to a variable of one of its subclass types.
FROM:
However, the $cast function may be used to assign a superclass handle to a subclass variable if the superclass handle refers to an object of the given subclass.
TO:
However, the $cast function may be used to assign a handle of a superclass type to a variable of a subclass type if the source handle refers to an object of the given subclass type.
CHANGE:
1. The source expression and the destination type are assignment compatible, that is, the destination is the same type or a superclass of the source expression.
TO:
1. .. types are assignment compatible, that is, the destination type is the same type or a superclass type of the type of the source expression.
CHANGE:
2. The type of the source expression is cast-compatible with the destination type, that is, the type of the source expression is a superclass of the destination type and the source is an object that is assignment compatible with the destination type. This type of assignment requires a run-time check as provided by $cast.
TO:
2. ... is a superclass type of the destination type and the source is an object which type is assignment compatible with the destination type. This type of assignment requires a run-time check as provided by $cast.
-- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Mon Jun 6 08:11:07 2011
This archive was generated by hypermail 2.1.8 : Mon Jun 06 2011 - 08:11:10 PDT