| Index: plugins/org.chromium.sdk/src-wip-generated/org/chromium/sdk/internal/wip/protocol/input/page/InspectedURLChangedEventData.java
|
| diff --git a/plugins/org.chromium.sdk/src-wip-generated/org/chromium/sdk/internal/wip/protocol/input/page/InspectedURLChangedEventData.java b/plugins/org.chromium.sdk/src-wip-generated/org/chromium/sdk/internal/wip/protocol/input/page/InspectedURLChangedEventData.java
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..fe6bb279c32e5edb1f4591773dbd559fa3b330b4
|
| --- /dev/null
|
| +++ b/plugins/org.chromium.sdk/src-wip-generated/org/chromium/sdk/internal/wip/protocol/input/page/InspectedURLChangedEventData.java
|
| @@ -0,0 +1,13 @@
|
| +// Generated source.
|
| +// Generator: org.chromium.sdk.internal.wip.tools.protocolgenerator.Generator
|
| +// Origin: http://svn.webkit.org/repository/webkit/trunk/Source/WebCore/inspector/Inspector.json@84080
|
| +
|
| +package org.chromium.sdk.internal.wip.protocol.input.page;
|
| +
|
| +@org.chromium.sdk.internal.protocolparser.JsonType
|
| +public interface InspectedURLChangedEventData {
|
| + String url();
|
| +
|
| + public static final org.chromium.sdk.internal.wip.protocol.input.WipEventType<org.chromium.sdk.internal.wip.protocol.input.page.InspectedURLChangedEventData> TYPE
|
| + = new org.chromium.sdk.internal.wip.protocol.input.WipEventType<org.chromium.sdk.internal.wip.protocol.input.page.InspectedURLChangedEventData>("Page.inspectedURLChanged", org.chromium.sdk.internal.wip.protocol.input.page.InspectedURLChangedEventData.class);
|
| +}
|
|
|