Next: No_Unchecked_Access, Previous: No_Tasking, Up: Partition-Wide Restrictions [Contents][Index]
[RM D.7] There are no selective accepts with terminate alternatives.