Lines Matching full:inferred
484 *inferred-submodule-declaration*
488 A *submodule-declaration* that is an *inferred-submodule-declaration* describes a set of submodules that correspond to any headers that are part of the module but are not explicitly described by a *header-declaration*.
492 *inferred-submodule-declaration*:
493 ``explicit``:sub:`opt` ``framework``:sub:`opt` ``module`` '*' *attributes*:sub:`opt` '{' *inferred-submodule-member** '}'
495 *inferred-submodule-member*:
498 A module containing an *inferred-submodule-declaration* shall have either an umbrella header or an umbrella directory. The headers to which the *inferred-submodule-declaration* applies are exactly those headers included by the umbrella header (transitively) or included in the module because they reside within the umbrella directory (or its subdirectories).
500 For each header included by the umbrella header or in the umbrella directory that is not named by a *header-declaration*, a module declaration is implicitly generated from the *inferred-submodule-declaration*. The module will:
503 * Have the ``explicit`` specifier, if the *inferred-submodule-declaration* has the ``explicit`` specifier
505 *inferred-submodule-declaration* has the ``framework`` specifier
506 * Have the attributes specified by the \ *inferred-submodule-declaration*
508 * Contain a single *export-declaration* ``export *``, if the \ *inferred-submodule-declaration* contains the \ *inferred-submodule-member* ``export *``
