Path: utzoo!attcan!uunet!ncrlnk!ncrcae!hubcap!gatech!rutgers!mailrus!ames!pasteur!agate!ucbvax!elma.epfl.ch!madmats
From: madmats@elma.epfl.ch (Mats Weber)
Newsgroups: comp.lang.ada
Subject: Unchecked_Deallocation for task types
Message-ID: <881003142814.210000ae@elcc.epfl.ch>
Date: 3 Oct 88 13:28:14 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The Internet
Lines: 20


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