madmats@elma.epfl.ch (Mats Weber) (10/03/88)
This is a reply to Frank Prindle's last message (his net address
Prindle@NADC.ARPA is rejected by our mailer):
quote from 4.8(7):
"... Moreover, if an object or one of its subcomponents belongs to
a task type, it is considered to be accessible as long as the task is
not terminated."
"belongs to a task type" here does not mean that "an object" or one of its
subcomponents is of a task type, but that "an object" is declared in the
body of a task or task type.
Mats Weber
EPFL DI LITh (Swiss Polytechnic Institute)
1015 Lausanne
Switzerland
e-mail : madmats@elma.epfl.ch