Support Promise<T> syntax in the IDL parser.

tools/idl_parser/idl_parser.py

Index: tools/idl_parser/idl_parser.py
diff --git a/tools/idl_parser/idl_parser.py b/tools/idl_parser/idl_parser.py
index a19785bfb1b54792ab99cd2fdfad7d25aaabb726..a39d6bce9223354b5ccb3b8100d8444c8d60e383 100755
--- a/tools/idl_parser/idl_parser.py
+++ b/tools/idl_parser/idl_parser.py
@@ -729,6 +729,7 @@ class IDLParser(object):
   # both cases.
   def p_NonAnyType(self, p):
     """NonAnyType : PrimitiveType TypeSuffix
+                  | PromiseType Null
                   | identifier TypeSuffix
                   | SEQUENCE '<' Type '>' Null"""
     if len(p) == 3:
@@ -901,6 +902,20 @@ class IDLParser(object):
 
   # [96] NOT IMPLEMENTED (ExtendedAttributeTypePair)
 
+  # [97]

[Jens Widell, 2014/10/15 07:22:17]

Supposed to be [87]. Looks like a lot of these production numbers are wrong now,
though. Renumber and reorder?

Keeping the numbers synced could be a good idea since it (often) gives you a
rather quick way to check if and where we're missing some update in the spec.

Also, extensions/non-compliances are typically summarized in this comment rather
than (just) in the implementation. So make it "[87] Add unqualified 'Promise'"
or something such?

[noelallen1, 2014/10/15 18:12:32]

Agreed to both.  If you change to a different version of the spec, then please
update the numbers and change the link above so we can have a consistent
reference.  Also, a comment above helps us find this:
# [87] Add unqualified Promise

Next time someone updates the spec, having these notes helps us verify the
feature is still an exception or perhaps it has made it into the spec in a
slightly different form.

[yhirano, 2014/10/16 05:25:47]

Done. I removed numbers from idl_ppapi_parser.py, because they seem useless.

+  def p_PromiseType(self, p):
+    """PromiseType : PROMISE '<' ReturnType '>'
+                   | PROMISE"""
+    if len(p) == 2:
+      # Promise without resolution type is not specified in the Web IDL spec.
+      # As it is used in some specs and in the blink implementation,
+      # we allow that here.
+      type = self.BuildAttribute('ResolutionType',
+                                 self.BuildProduction('Any', p, 1))
+    else:
+      type = self.BuildAttribute('ResolutionType', p[3])
+    p[0] = self.BuildNamed('Promise', p, 1, type)
+
 #
 # Parser Errors
 #