Revert "PEG Parser: under review at http://codereview.chromium.org/8399029"

client/dom/scripts/idlparser.dart

Index: client/dom/scripts/idlparser.dart
diff --git a/client/dom/scripts/idlparser.dart b/client/dom/scripts/idlparser.dart
deleted file mode 100644
index c65b6a4bd0883afd0034f47b593f18f1ca02a03e..0000000000000000000000000000000000000000
--- a/client/dom/scripts/idlparser.dart
+++ /dev/null
@@ -1,547 +0,0 @@
-// Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
-// for details. All rights reserved. Use of this source code is governed by a
-// BSD-style license that can be found in the LICENSE file.
-
-// IDL grammar variants.
-final int WEBIDL_SYNTAX = 0;
-final int WEBKIT_SYNTAX = 1;
-final int FREMONTCUT_SYNTAX = 2;
-
-/**
- * IDLFile is the top-level node in each IDL file. It may contain modules or
- * interfaces.
- */
-class IDLFile extends IDLNode {
-
-  String filename;
-  List<IDLModule> modules;
-  List<IDLInterface> interfaces;
-
-  IDLFile(this.filename, this.modules, this.interfaces);
-}
-
-/**
- * IDLModule has an id, and may contain interfaces, type defs andimplements
- * statements.
- */
-class IDLModule extends IDLNode {
-  String id;
-  List interfaces;
-  List typedefs;
-  List implementsStatements;
-
-  IDLModule(String this.id, IDLExtAttrs extAttrs, IDLAnnotations annotations,
-            List<IDLNode> elements) {
-    setExtAttrs(extAttrs);
-    this.annotations = annotations;
-    this.interfaces = elements.filter((e) => e is IDLInterface);
-    this.typedefs = elements.filter((e) => e is IDLTypeDef);
-    this.implementsStatements =
-        elements.filter((e) => e is IDLImplementsStatement);
-  }
-
-  toString() => '<IDLModule $id $extAttrs $annotations>';
-}
-
-class IDLNode {
-  IDLExtAttrs extAttrs;
-  IDLAnnotations annotations;
-  IDLNode();
-
-  setExtAttrs(IDLExtAttrs ea) {
-    assert(ea != null);
-    this.extAttrs = ea != null ? ea : new IDLExtAttrs();
-  }
-}
-
-class IDLType extends IDLNode {
-  String id;
-  IDLType parameter;
-  bool nullable = false;
-  IDLType(String this.id, [IDLType this.parameter, bool this.nullable = false]);
-
-  // TODO: Figure out why this constructor was failing in mysterious ways.
-  // IDLType.nullable(IDLType base) {
-  //   return new IDLType(base.id, base.parameter, true);
-  // }
-
-  //String toString() => '<IDLType $nullable $id $parameter>';
-  String toString() {
-    String nullableTag = nullable ? '?' : '';
-    return '<IDLType $id${parameter == null ? '' : ' $parameter'}$nullableTag>';
-  }
-}
-
-class IDLTypeDef extends IDLNode {
-  String id;
-  IDLType type;
-  IDLTypeDef(String this.id, IDLType this.type);
-
-  toString() => '<IDLTypeDef $id $type>';
-}
-
-class IDLImplementsStatement extends IDLNode {
-}
-
-class IDLInterface extends IDLNode {
-  String id;
-  List parents;
-  List operations;
-  List attributes;
-  List constants;
-  List snippets;
-
-  bool isSupplemental;
-  bool isNoInterfaceObject;
-  bool isFcSuppressed;
-
-  IDLInterface(String this.id, IDLExtAttrs ea, IDLAnnotations ann,
-               List this.parents, List members) {
-    setExtAttrs(ea);
-    this.annotations = ann;
-    if (this.parents == null) this.parents = [];
-
-    operations = members.filter((e) => e is IDLOperation);
-    attributes = members.filter((e) => e is IDLAttribute);
-    constants = members.filter((e) => e is IDLConstant);
-    snippets = members.filter((e) => e is IDLSnippet);
-
-    isSupplemental = extAttrs.has('Supplemental');
-    isNoInterfaceObject = extAttrs.has('NoInterfaceObject');
-    isFcSuppressed = extAttrs.has('Suppressed');
-  }
-
-  toString() => '<IDLInterface $id $extAttrs $annotations>';
-}
-
-class IDLMember extends IDLNode {
-  String id;
-  IDLType type;
-  bool isFcSuppressed;
-
-  IDLMember(String this.id, IDLType this.type, IDLExtAttrs ea, IDLAnnotations ann) {
-    setExtAttrs(ea);
-    this.annotations = ann;
-
-    isFcSuppressed = extAttrs.has('Suppressed');
-  }
-}
-
-class IDLOperation extends IDLMember {
-  List arguments;
-
-  // Ignore all forms of raises for now.
-  List specials;
-  bool isStringifier;
-
-  IDLOperation(String id, IDLType type, IDLExtAttrs ea, IDLAnnotations ann,
-               List this.arguments, List this.specials, bool this.isStringifier)
-      : super(id, type, ea, ann) {
-  }
-
-  toString() => '<IDLOperation $type $id ${printList(arguments)}>';
-}
-
-class IDLAttribute extends IDLMember {
-}
-
-class IDLConstant extends IDLMember {
-  var value;
-  IDLConstant(String id, IDLType type, IDLExtAttrs ea, IDLAnnotations ann,
-              var this.value)
-      : super(id, type, ea, ann);
-}
-
-class IDLSnippet extends IDLMember {
-  String text;
-  IDLSnippet(IDLAnnotations ann, String this.text)
-      : super(null, null, new IDLExtAttrs(), ann);
-}
-
-/** Maps string to something. */
-class IDLDictNode {
-  Map<String, Object> map;
-  IDLDictNode() {
-    map = new Map<String, Object>();
-  }
-
-  setMap(List associationList) {
-    if (associationList == null) return;
-    for (var element in associationList) {
-      var name = element[0];
-      var value = element[1];
-      map[name] = value;
-    }
-  }
-
-  bool has(String key) => map.containsKey(key);
-
-  formatMap() {
-    if (map.isEmpty())
-      return '';
-    StringBuffer sb = new StringBuffer();
-    map.forEach((k, v) {
-        sb.add(' $k');
-        if (v != null) {
-          sb.add('=$v');
-        }
-      });
-    return sb.toString();
-  }
-
-}
-
-class IDLExtAttrs extends IDLDictNode {
-  IDLExtAttrs([List attrs = const []]) {
-    setMap(attrs);
-  }
-
-  toString() => '<IDLExtAttrs${formatMap()}>';
-}
-
-class IDLArgument extends IDLNode {
-  String id;
-  IDLType type;
-  bool isOptional;
-  bool isIn;
-  bool hasElipsis;
-  IDLArgument(String this.id, IDLType this.type, IDLExtAttrs extAttrs,
-              bool this.isOptional, bool this.isIn, bool this.hasElipsis) {
-    setExtAttrs(extAttrs);
-  }
-
-  toString() => '<IDLArgument $id>';
-}
-
-class IDLAnnotations extends IDLDictNode {
-  IDLAnnotations(List annotations) {
-    for (var annotation in annotations) {
-      map[annotation.id] = annotation;
-    }
-  }
-
-  toString() => '<IDLAnnotations${formatMap()}>';
-}
-
-class IDLAnnotation extends IDLDictNode {
-  String id;
-  IDLAnnotation(String this.id, List args) {
-    setMap(args);
-  }
-
-  toString() => '<IDLAnnotation $id${formatMap()}>';
-}
-
-class IDLExtAttrFunctionValue extends IDLNode {
-  String name;
-  List arguments;
-  IDLExtAttrFunctionValue(String this.name, this.arguments);
-
-  toString() => '<IDLExtAttrFunctionValue $name(${arguments.length})>';
-}
-
-class IDLParentInterface extends IDLNode {}
-
-////////////////////////////////////////////////////////////////////////////////
-
-class IDLParser {
-  final int syntax;
-  Grammar grammar;
-  var axiom;
-
-  IDLParser([syntax=WEBIDL_SYNTAX]) : syntax = syntax {
-    grammar = new Grammar();
-    axiom = _makeParser();
-  }
-
-  _makeParser() {
-    Grammar g = grammar;
-
-    syntax_switch([WebIDL, WebKit, FremontCut]) {
-      assert(WebIDL != null && WebKit != null);  // Not options, just want names.
-      if (syntax == WEBIDL_SYNTAX)
-        return WebIDL;
-      if (syntax == WEBKIT_SYNTAX)
-        return WebKit;
-      if (syntax == FREMONTCUT_SYNTAX)
-        return FremontCut == null ?  WebIDL : FremontCut;
-      throw new Exception('unsupported IDL syntax $syntax');
-    }
-
-    var idStartCharSet = 'ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz_';
-    var idNextCharSet = idStartCharSet + '0123456789';
-    var hexCharSet = '0123456789ABCDEFabcdef';
-
-    var idStartChar = CHAR(idStartCharSet);
-    var idNextChar = CHAR(idNextCharSet);
-
-    var digit = CHAR('0123456789');
-
-    var Id = TEXT(LEX('an identifier',[idStartChar, MANY(idNextChar, min:0)]));
-
-    var IN = SKIP(LEX("'in'", ['in',NOT(idNextChar)]));
-
-    var BooleanLiteral = OR(['true', 'false']);
-    var IntegerLiteral = TEXT(LEX('hex-literal', OR([['0x', MANY(CHAR(hexCharSet))],
-                                      [MANY(digit)]])));
-    var FloatLiteral = TEXT(LEX('float-literal', [MANY(digit), '.', MANY(digit, min:0)]));
-
-
-    var Argument = g['Argument'];
-    var Module = g['Module'];
-    var Member = g['Member'];
-    var Interface = g['Interface'];
-    var ExceptionDef = g['ExceptionDef'];
-    var Type = g['Type'];
-    var TypeDef = g['TypeDef'];
-    var ImplStmt = g['ImplStmt'];
-    var ValueTypeDef = g['ValueTypeDef'];
-    var Const = g['Const'];
-    var Attribute = g['Attribute'];
-    var Operation = g['Operation'];
-    var Snippet = g['Snippet'];
-    var ExtAttrs = g['ExtAttrs'];
-    var MaybeExtAttrs = g['MaybeExtAttrs'];
-    var MaybeAnnotations = g['MaybeAnnotations'];
-    var ParentInterfaces = g['ParentInterfaces'];
-
-
-    final ScopedName = TEXT(LEX('scoped-name', MANY(CHAR(idStartCharSet + '_:.<>'))));
-
-    final ScopedNames = MANY(ScopedName, separator:',');
-
-    // Types
-
-    final IntegerTypeName = OR([
-        ['byte', () => 'byte'],
-        ['int', () => 'int'],
-        ['long', 'long', () => 'long long'],
-        ['long', () => 'long'],
-        ['octet', () => 'octet'],
-        ['short', () => 'short']]);
-
-    final IntegerType = OR([
-        ['unsigned', IntegerTypeName, (name) => new IDLType('unsigned $name')],
-        [IntegerTypeName, (name) => new IDLType(name)]]);
-
-    final BooleanType = ['boolean', () => new IDLType('boolean')];
-    final OctetType = ['octet', () => new IDLType('octet')];
-    final FloatType = ['float', () => new IDLType('float')];
-    final DoubleType = ['double', () => new IDLType('double')];
-
-    final SequenceType = ['sequence', '<', Type, '>',
-                          (type) => new IDLType('sequence', type)];
-
-    final ScopedNameType = [ScopedName, (name) => new IDLType(name)];
-
-    final NullableType =
-        [OR([IntegerType, BooleanType, OctetType, FloatType,
-             DoubleType, SequenceType, ScopedNameType]),
-         MAYBE('?'),
-         (type, nullable) =>
-             nullable ? new IDLType(type.id, type.parameter, true) : type];
-
-    final VoidType = ['void', () => new IDLType('void')];
-    final AnyType = ['any', () => new IDLType('any')];
-    final ObjectType = ['object', () => new IDLType('object')];
-
-    Type.def = OR([AnyType, ObjectType, NullableType]);
-
-    final ReturnType = OR([VoidType, Type]);
-
-    var Definition = syntax_switch(
-        WebIDL: OR([Module, Interface, ExceptionDef, TypeDef, ImplStmt,
-                    ValueTypeDef, Const]),
-        WebKit: OR([Module, Interface]));
-
-    var Definitions = MANY(Definition, min:0);
-
-    Module.def = syntax_switch(
-        WebIDL: [MaybeExtAttrs, 'module', Id, '{', Definitions, '}',
-                 SKIP(MAYBE(';')),
-                 (ea, id, defs) => new IDLModule(id, ea, null, defs)],
-        WebKit: ['module', MaybeExtAttrs, Id, '{', Definitions, '}',
-                 SKIP(MAYBE(';')),
-                 (ea, id, defs) => new IDLModule(id, ea, null, defs)],
-        FremontCut: [MaybeAnnotations, MaybeExtAttrs, 'module', Id,
-                     '{', Definitions, '}', SKIP(MAYBE(';')),
-                     (ann, ea, id, defs) => new IDLModule(id, ea, ann, defs)]);
-
-    Interface.def = syntax_switch(
-        WebIDL: [MaybeExtAttrs, 'interface', Id, MAYBE(ParentInterfaces),
-                 MAYBE(['{', MANY0(Member), '}']), ';',
-                 (ea, id, p, ms) => new IDLInterface(id, ea, null, p, ms)],
-        WebKit: ['interface', MaybeExtAttrs, Id, MAYBE(ParentInterfaces),
-                 MAYBE(['{', MANY0(Member), '}']), ';',
-                 (ea, id, p, ms) => new IDLInterface(id, ea, null, p, ms)],
-        FremontCut: [MaybeAnnotations, MaybeExtAttrs, 'interface',
-                     Id, MAYBE(ParentInterfaces),
-                     MAYBE(['{', MANY0(Member), '}']), ';',
-                     (ann, ea, id, p, ms) => new IDLInterface(id, ea, ann, p, ms)]);
-
-    Member.def = syntax_switch(
-        WebIDL: OR([Const, Attribute, Operation, ExtAttrs]),
-        WebKit: OR([Const, Attribute, Operation]),
-        FremontCut: OR([Const, Attribute, Operation, Snippet]));
-
-    var InterfaceType = ScopedName;
-
-    var ParentInterface = syntax_switch(
-        WebIDL: [InterfaceType],
-        WebKit: [InterfaceType],
-        FremontCut: [MaybeAnnotations, InterfaceType]);
-
-    ParentInterfaces.def = [':', MANY(ParentInterface, ',')];
-
-    // TypeDef (Web IDL):
-    TypeDef.def = ['typedef', Type, Id, ';', (type, id) => new IDLTypeDef(id, type)];
-
-    // TypeDef (Old-school W3C IDLs)
-    ValueTypeDef.def = ['valuetype', Id, Type, ';'];
-
-    // Implements Statement (Web IDL):
-    var ImplStmtImplementor = ScopedName;
-    var ImplStmtImplemented = ScopedName;
-
-    ImplStmt.def = [ImplStmtImplementor, 'implements', ImplStmtImplemented, ';'];
-
-    var ConstExpr = OR([BooleanLiteral, IntegerLiteral, FloatLiteral]);
-
-    Const.def = syntax_switch(
-        WebIDL: [MaybeExtAttrs, 'const', Type, Id, '=', ConstExpr, ';',
-                 (ea, type, id, v) => new IDLConstant(id, type, ea, null, v)],
-        WebKit: ['const', MaybeExtAttrs, Type, Id, '=', ConstExpr, ';',
-                 (ea, type, id, v) => new IDLConstant(id, type, ea, null, v)],
-        FremontCut: [MaybeAnnotations, MaybeExtAttrs,
-                     'const', Type, Id, '=', ConstExpr, ';',
-                     (ann, ea, type, id, v) =>
-                         new IDLConstant(id, type, ea, ann, v)]);
-
-    // Attributes
-
-    var Stringifier = 'stringifier';
-    var AttrGetter = 'getter';
-    var AttrSetter = 'setter';
-    var ReadOnly = 'readonly';
-    var AttrGetterSetter = OR([AttrGetter, AttrSetter]);
-
-    var GetRaises = syntax_switch(
-        WebIDL: ['getraises', '(', ScopedNames, ')'],
-        WebKit: ['getter', 'raises', '(', ScopedNames, ')']);
-
-    var SetRaises = syntax_switch(
-        WebIDL: ['setraises', '(', ScopedNames, ')'],
-        WebKit: ['setter', 'raises', '(', ScopedNames, ')']);
-
-    var Raises = ['raises', '(', ScopedNames, ')'];
-
-    var AttrRaises = syntax_switch(
-        WebIDL: MANY(OR([GetRaises, SetRaises])),
-        WebKit: MANY(OR([GetRaises, SetRaises, Raises]), separator:','));
-
-    Attribute.def = syntax_switch(
-        WebIDL: [MaybeExtAttrs, MAYBE(Stringifier), MAYBE(ReadOnly),
-                 'attribute', Type, Id, MAYBE(AttrRaises), ';'],
-        WebKit: [MAYBE(Stringifier), MAYBE(ReadOnly), 'attribute',
-                 MaybeExtAttrs, Type, Id, MAYBE(AttrRaises), ';'],
-        FremontCut: [MaybeAnnotations, MaybeExtAttrs,
-                     MAYBE(AttrGetterSetter), MAYBE(Stringifier), MAYBE(ReadOnly),
-                     'attribute', Type, Id, MAYBE(AttrRaises), ';'
-                     ]);
-
-    // Operations
-
-    final Special = TEXT(OR(['getter', 'setter', 'creator', 'deleter', 'caller']));
-    final Specials = MANY(Special);
-
-    final Optional = 'optional';
-    final AnEllipsis = '...';
-
-    Argument.def = syntax_switch(
-        WebIDL: SEQ(MaybeExtAttrs, MAYBE(Optional), MAYBE(IN),
-                    MAYBE(Optional), Type, MAYBE(AnEllipsis), Id,
-                    (e, opt1, isin, opt2, type, el, id) =>
-                        new IDLArgument(id, type, e, opt1 || opt2, isin, el)),
-
-        WebKit: SEQ(MAYBE(Optional), MAYBE('in'), MAYBE(Optional),
-                    MaybeExtAttrs, Type, Id
-                    (opt1, isin, opt2, e, type, id) =>
-                        new IDLArgument(id, type, e, opt1 || opt2, isin, false)));
-
-    final Arguments = MANY0(Argument, ',');
-
-    Operation.def = syntax_switch(
-        WebIDL: [MaybeExtAttrs, MAYBE(Stringifier), MAYBE(Specials),
-                 ReturnType, MAYBE(Id), '(', Arguments, ')', MAYBE(Raises), ';',
-                 (ea, isStringifier, specials, type, id, args, raises) =>
-                     new IDLOperation(id, type, ea, null, args, specials, isStringifier)
-                 ],
-        WebKit: [MaybeExtAttrs, ReturnType, MAYBE(Id), '(', Arguments, ')',
-                 MAYBE(Raises), ';',
-                 (ea, type, id, args, raises) =>
-                     new IDLOperation(id, type, ea, null, args, [], false)
-                 ],
-        FremontCut: [MaybeAnnotations, MaybeExtAttrs, MAYBE(Stringifier),
-                     MAYBE(Specials), ReturnType, MAYBE(Id), '(', Arguments, ')',
-                     MAYBE(Raises), ';',
-                     (ann, ea, isStringifier, specials, type, id, args, raises) =>
-                       new IDLOperation(id, type, ea, ann, args, specials, isStringifier)
-                     ]);
-
-    // Exceptions
-
-    final ExceptionField = [Type, Id, ';'];
-    final ExceptionMember = OR([Const, ExceptionField, ExtAttrs]);
-    ExceptionDef.def = ['exception', Id, '{', MANY0(ExceptionMember), '}', ';'];
-
-    // ExtendedAttributes
-
-    var ExtAttrArgList = ['(', MANY0(Argument, ','), ')'];
-
-    var ExtAttrFunctionValue =
-        [Id, '(', MANY0(Argument, ','), ')',
-         (name, args) => new IDLExtAttrFunctionValue(name, args)
-         ];
-
-    var ExtAttrValue = OR([ExtAttrFunctionValue,
-                           TEXT(LEX('value', MANY(CHAR(idNextCharSet + '&:-|'))))]);
-
-    var ExtAttr = [Id, MAYBE(OR([['=', ExtAttrValue], ExtAttrArgList]))];
-
-    ExtAttrs.def = ['[', MANY(ExtAttr, ','), ']',
-                    (list) => new IDLExtAttrs(list)];;
-
-    MaybeExtAttrs.def = OR(ExtAttrs,
-                           [ () => new IDLExtAttrs() ] );
-
-    // Annotations - used in the FremontCut IDL grammar.
-
-    var AnnotationArgValue = TEXT(LEX('xx', MANY(CHAR(idNextCharSet + '&:-|'))));
-
-    var AnnotationArg = [Id, MAYBE(['=', AnnotationArgValue])];
-
-    var AnnotationBody = ['(', MANY0(AnnotationArg, ','), ')'];
-
-    var Annotation = ['@', Id, MAYBE(AnnotationBody),
-                      (id, body) => new IDLAnnotation(id, body)];
-
-    MaybeAnnotations.def = [MANY0(Annotation), (list) => new IDLAnnotations(list)];
-
-    // Snippets - used in the FremontCut IDL grammar.
-
-    final SnippetText = TEXT(LEX('snippet body', MANY0([NOT('}'), CHAR()])));
-    Snippet.def = [MaybeAnnotations, 'snippet', '{', SnippetText, '}', ';',
-                   (ann, text) => new IDLSnippet(ann, text)];
-
-
-    grammar.whitespace =
-        OR([MANY(CHAR(' \t\r\n')),
-            ['//', MANY0([NOT(CHAR('\r\n')), CHAR()])],
-            ['#', MANY0([NOT(CHAR('\r\n')), CHAR()])],
-            ['/*', MANY0([NOT('*/'), CHAR()]), '*/']]);
-
-    // Top level - at least one definition.
-    return MANY(Definition);
-
-  }
-}