CVS difference for ai05s/ai05-0042-1.txt
--- ai05s/ai05-0042-1.txt 2008/11/27 00:04:12 1.7
+++ ai05s/ai05-0042-1.txt 2012/02/19 04:54:03 1.8
@@ -62,7 +62,7 @@
with the same identifier within the task declaration, whose profile is
type conformant with the prefixed view profile of the inherited subprogram,
the inherited subprogram is said to be implemented by the conforming
-task entry {using an implicitly declared non-abstract subprogram which
+task entry {using an implicitly declared nonabstract subprogram which
has the same profile as the inherited subprogram and which overrides it}.
AARM Reason: The part about the implicitly declared subprogram is needed so
@@ -83,7 +83,7 @@
protected declaration, whose profile is type conformant with the prefixed view
profile of the inherited subprogram, the inherited subprogram is said to be
implemented by the conforming protected subprogram or entry {using
-an implicitly declared non-abstract subprogram which has the same profile
+an implicitly declared nonabstract subprogram which has the same profile
as the inherited subprogram and which overrides it}.
!discussion
@@ -117,7 +117,7 @@
with the same identifier within the task declaration, whose profile is
type conformant with the prefixed view profile of the inherited subprogram,
the inherited subprogram is said to be @i<implemented> by the conforming
-task entry using an implicitly declared non-abstract subprogram which
+task entry using an implicitly declared nonabstract subprogram which
has the same profile as the inherited subprogram and which overrides it.
@@ -145,7 +145,7 @@
protected declaration, whose profile is type conformant with the prefixed view
profile of the inherited subprogram, the inherited subprogram is said to be
@i<implemented> by the conforming protected subprogram or entry using
-an implicitly declared non-abstract subprogram which has the same profile
+an implicitly declared nonabstract subprogram which has the same profile
as the inherited subprogram and which overrides it.
!ACATS test
Questions? Ask the ACAA Technical Agent