Next: Partition Attribute Data_Location, Previous: Partition Attribute Self_Location, Up: The Configuration Language
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;