| <?xml version="1.0" encoding="UTF-8"?> |
| <!DOCTYPE Definitions SYSTEM "widlprocxml.dtd"> |
| <Definitions> |
| <webidl>interface Counter { |
| [Replaceable] readonly attribute unsigned long value; |
| void increment(); |
| };</webidl> |
| <Interface name="Counter" id="::Counter"> |
| <webidl>interface Counter { |
| [Replaceable] readonly attribute unsigned long value; |
| void increment(); |
| };</webidl> |
| <Attribute readonly="readonly" name="value" id="::Counter::value"> |
| <webidl> [Replaceable] readonly attribute unsigned long value;</webidl> |
| <ExtendedAttributeList> |
| <ExtendedAttribute name="Replaceable"> |
| <webidl>Replaceable</webidl> |
| </ExtendedAttribute> |
| </ExtendedAttributeList> |
| <Type type="unsigned long"/> |
| </Attribute> |
| <Operation name="increment" id="::Counter::increment"> |
| <webidl> void increment();</webidl> |
| <Type type="void"/> |
| <ArgumentList/> |
| </Operation> |
| </Interface> |
| </Definitions> |