comp.lang.ada
 help / color / mirror / Atom feed
From: stt@houdini.camb.inmet.com (Tucker Taft)
Subject: Re: subtype of value passed to pragma Interrupt_Priority
Date: 1998/09/30
Date: 1998-09-30T00:00:00+00:00	[thread overview]
Message-ID: <F046xt.Mpt.0.-s@inmet.camb.inmet.com> (raw)
In-Reply-To: 6utver$30u$1@uuneo.neosoft.com

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




  reply	other threads:[~1998-09-30  0:00 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1998-09-30  0:00 subtype of value passed to pragma Interrupt_Priority Pat Rogers
1998-09-30  0:00 ` Tucker Taft [this message]
1998-10-01  0:00 ` Frank Ecke
1998-10-01  0:00   ` Pat Rogers
1998-10-01  0:00     ` Jean-Pierre Rosen
1998-10-02  0:00       ` Robert I. Eachus
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox