// Extracted from http://dev.w3.org/2006/webapi/WebIDL/ on 2011-05-06
  // Typedef identifier: "number"
  // Qualified name:    "::framework::number"
  typedef float number;

  // Interface identifier: "System"
  // Qualified name:       "::framework::System"
  interface System {

    // Operation identifier:          "createObject"
    // Operation argument identifier: "interface"
    object createObject(DOMString _interface);

    // Operation has no identifier; it declares a getter.
    getter DOMString (DOMString keyName);
  };


    // Interface identifier: "TextField"
    // Qualified name:       "::framework::gui::TextField"
    interface TextField {

      // Attribute identifier: "const"
      attribute boolean _const;

      // Attribute identifier: "value"
      attribute DOMString? _value;
    };

interface Foo {
 void op(object interface);
};