parameters: (self, elem, info, infoName, dictionary)
docstring: Add information about an element to the corresponding dictionary.
  
          Intended for internal use only.
  
          - elem - `<type>`/`<enums>`/`<enum>`/`<command>`/`<feature>`/`<extension>`/`<spirvextension>`/`<spirvcapability>`/`<format>` Element
          - info - corresponding {Type|Group|Enum|Cmd|Feature|Spirv}Info object
          - infoName - 'type' / 'group' / 'enum' / 'command' / 'feature' / 'extension' / 'spirvextension' / 'spirvcapability' / 'format'
          - dictionary - self.{type|group|enum|cmd|api|ext|format|spirvext|spirvcap}dict
  
          The dictionary key is the element 'name' attribute.
docstring_summary: Add information about an element to the corresponding dictionary.
docstring_tokens: Add information about an element to the corresponding dictionary .
function: def addElementInfo(self, elem, info, infoName, dictionary):
          """Add information about an element to the corresponding dictionary.
  
          Intended for internal use only.
  
          - elem - `<type>`/`<enums>`/`<enum>`/`<command>`/`<feature>`/`<extension>`/`<spirvextension>`/`<spirvcapability>`/`<format>` Element
          - info - corresponding {Type|Group|Enum|Cmd|Feature|Spirv}Info object
          - infoName - 'type' / 'group' / 'enum' / 'command' / 'feature' / 'extension' / 'spirvextension' / 'spirvcapability' / 'format'
          - dictionary - self.{type|group|enum|cmd|api|ext|format|spirvext|spirvcap}dict
  
          The dictionary key is the element 'name' attribute."""
  
          # self.gen.logMsg('diag', 'Adding ElementInfo.required =',
          #     info.required, 'name =', elem.get('name'))
          key = elem.get('name')
          if key in dictionary:
              if not dictionary[key].compareElem(info, infoName):
                  self.gen.logMsg('warn', 'Attempt to redefine', key,
                                  '(this should not happen)')
          else:
              dictionary[key] = info
function_tokens: def addElementInfo ( self , elem , info , infoName , dictionary ) : # self.gen.logMsg('diag', 'Adding ElementInfo.required =', #     info.required, 'name =', elem.get('name')) key = elem . get ( 'name' ) if key in dictionary : if not dictionary [ key ] . compareElem ( info , infoName ) : self . gen . logMsg ( 'warn' , 'Attempt to redefine' , key , '(this should not happen)' ) else : dictionary [ key ] = info