Decision list scope is the context just inside the braces associated with a decision list definition.

DecisionListDefinition ::= (((StructKeyword | ‘block’ ) S Identifier S? ';' S?) | StructureDeclaration | BlockDeclaration)+

A decision list definition has at least one required list member.  List members include data structure types and block types.

The StructureDeclaration and BlockDeclaration semantics at decision list scope are identical to those at file scope.  You can choose to specify already-declared names, or you can embed the declarations within the decision list definition.

If a bit scan block names a decision list as its body, the decision list’s members are restricted to bit scan blocks and bit field structures.

  See also:  [Deserialization: Critical steps] [Serialization: Critical steps] [Fundamental components]
[Common declarations] [File scope] [Structure scope] [Block scope]
[Node list scope] [Decision list scope] [Function scope] [Expressions]
[Compiler errors] [Compiler warnings]