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