| // Extracted from http://dev.w3.org/2006/webapi/WebIDL/ on 2011-05-06 |
| // Typedef identifier: "number" |
| // Qualified name: "::framework::number" |
| typedef float number; |
| |
| // Exception identifier: "FrameworkException" |
| // Qualified name: "::framework::FrameworkException" |
| exception FrameworkException { |
| |
| // Constant identifier: "ERR_NOT_FOUND" |
| // Qualified name: "::framework::FrameworkException::ERR_NOT_FOUND" |
| const long ERR_NOT_FOUND = 1; |
| |
| // Exception field identifier: "code" |
| long code; |
| }; |
| |
| // 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); |
| }; |