From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,a170b67591224b59 X-Google-Attributes: gid103376,public From: stt@houdini.camb.inmet.com (Tucker Taft) Subject: Re: subtype of value passed to pragma Interrupt_Priority Date: 1998/09/30 Message-ID: #1/1 X-Deja-AN: 396483093 Sender: news@inmet.camb.inmet.com (USENET news) X-Nntp-Posting-Host: houdini.camb.inmet.com References: <6utver$30u$1@uuneo.neosoft.com> Organization: Intermetrics, Inc. Newsgroups: comp.lang.ada Date: 1998-09-30T00:00:00+00:00 List-Id: Pat Rogers (progers@acm.org) wrote: : RM 95 D.1(17) says: : "The expression in a Priority or Interrupt_Priority pragma that : appears in a task_definition is evaluated for each task object (see : 9.1). For a Priority pragma, the value of the expression is : converted to the subtype Priority; for an Interrupt_Priority pragma, : this value is converted to the subtype Any_Priority. The priority : value is then associated with the task object whose task_definition : contains the pragma." : Why isn't the subtype Interrupt_Priority the target for the : conversion for pragma Interrupt_Priority, instead of subtype : Any_Priority? Because the pragma Interrupt_Priority can be used to specify any priority, including, but not limited to, priorities in the interrupt range. Otherwise, if the priority were determined by an expression, and the value of the expression might or might not be in the interrupt priority range, there wouldn't be a pragma which you could use. : I didn't see an AI for this... : -- pat : Patrick Rogers : progers@acm.org : http://www.neosoft.com/~progers -- -Tucker Taft stt@inmet.com http://www.inmet.com/~stt/ Intermetrics, Inc. Burlington, MA USA An AverStar Company