Unknown Pragmas in Ada 9X

[cis.ohio-state.edu!magnus.acs.ohio-state.edu!csn!news.usafa.af.mil!kirk!c warack@ucbvax.berkeley.edu (Chris Warack <cis.ohio-state.edu!magnus.acs.ohio-s]

Someone here noted a while back that bad pragmas will be rejected by
compilers in Ada 9X (rather than ignored).  Looking at "Introducing
Ada 9X), this appears to occur when a pragma has bad arguments.  This
all sounds fine.

I want to make sure, however, that an unknown pragma is still ignored.
The description of the change doesn't mention unsupported pragmas, but
it doesn't mention that they are still ignored either...  This is 
important if code is submitted to more than one compiler, or (in my
case) where pragmas are used as annotations for other "tools," not 
necessarily the compiler.  Anyone on the inside know this for sure?

Furthermore, for the ASIS people.  Does the ASIS standard under
discussion imply that pragmas unsupported by the compiler will be
"supported" by ASIS?  (I.e., ASIS packages will be able to process
pragmas even though the compiler ignores them...)

-- 
Christopher A. Warack, Capt, USAF
Computer Science Department, US Air Force Academy

cwarack@kirk.usafa.af.mil                (719) 472-2401