Annotated
Ada Reference Manual
—
Legal Information
J.15 Aspect-related Pragmas
1/3
{
AI05-0229-1
} Pragmas can be used as an alternative to aspect_specifications to specify certain aspects.
Wording Changes from Ada 2005
1.a/3
{
AI05-0229-1
} {
AI05-0299-1
} This subclause is new. Many existing pragmas have been converted into aspects; the pragmas have moved here.
Ada 2005 and 2012 Editions sponsored in part by
Ada-Europe