IDL parser: implement Stringifier production

tools/idl_parser/idl_parser.py

 #!/usr/bin/env python
 # Copyright (c) 2013 The Chromium Authors. All rights reserved.
 # Use of this source code is governed by a BSD-style license that can be
 # found in the LICENSE file.
 
 """ Parser for PPAPI IDL """
 
 #
 # IDL Parser
 #
@@ skipping 419 matching lines @@
       val = p[1]
     p[0] = ListFromConcat(self.BuildAttribute('TYPE', 'float'),
                           self.BuildAttribute('VALUE', val))
 
   # [30]
   def p_AttributeOrOperation(self, p):
     """AttributeOrOperation : STRINGIFIER StringifierAttributeOrOperation
                             | Attribute
                             | Operation"""
     if len(p) > 2:
-      p[0] = p[2]
+      p[0] = self.BuildProduction('Stringifier', p, 1, ListFromConcat(p[2]))

[Jens Widell, 2014/06/11 15:28:51]

Modifying p_AttributeOrOperation() like this is slightly unfortunate, because
Blink's parser overrides it, and thus needs to duplicate this line, or otherwise
handle it itself.

I did it primarily so that I could use the 'stringifier' token's source code
location (the "p, 1," bit.)

[Nils Barth (inactive), 2014/06/12 04:20:27]

This is fine; we only override this b/c we want to support
StaticAttribute,
but that's now part of the reference grammar:
http://heycam.github.io/webidl/#idl-grammar
...so we can move it into the base parser!
(Such cleanup will be *much* easier once repos are merged.)

Specifically:
  AttributeOrOperation
has been replaced by:
  AttributeOrOperationOrIterator
http://heycam.github.io/webidl/#proddef-AttributeOrOperationOrIterator

...which includes
  StaticMember
as a possible expansion.

     else:
       p[0] = p[1]
 
   # [31]
   def p_StringifierAttributeOrOperation(self, p):
     """StringifierAttributeOrOperation : Attribute
                                        | OperationRest
                                        | ';'"""
     if p[1] == ';':
-      p[0] = self.BuildAttribute('STRINGIFIER', Boolean(True))
+      p[0] = None
     else:
-      p[0] = ListFromConcat(self.BuildAttribute('STRINGIFIER', p[1]), p[1])
+      p[0] = p[1]
 
   # [32]
   def p_Attribute(self, p):
     """Attribute : Inherit ReadOnly ATTRIBUTE Type identifier ';'"""
     p[0] = self.BuildNamed('Attribute', p, 5,
                            ListFromConcat(p[1], p[2], p[4]))
 
   # [33]
   def p_Inherit(self, p):
     """Inherit : INHERIT
@@ skipping 581 matching lines @@
 
   print '\n'.join(ast.Tree(accept_props=['PROD']))
   if errors:
     print '\nFound %d errors.\n' % errors
 
   return errors
 
 
 if __name__ == '__main__':
   sys.exit(main(sys.argv[1:]))