Next: , Previous: Partition Attribute Self_Location, Up: The Configuration Language


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;