Next: , Previous: , Up: The Configuration Language   [Contents][Index]


8.5.4.12 Partition Attribute Passive

By default, a partition is an active partition. This attribute allows to define a passive partition. In this case, po_gnatdist checks that only shared passive units are mapped on the partition. As this partition cannot register itself, its location is hard-coded in all the partitions that depend on its shared passive units.


REPRESENTATION_CLAUSE ::=
   for PARTITION_IDENTIFIER'Passive use BOOLEAN_LITERAL;