// Generated source.
// Generator: org.chromium.sdk.internal.wip.tools.protocolgenerator.Generator
// Origin: http://svn.webkit.org/repository/webkit/trunk/Source/WebCore/inspector/Inspector.json@102140
package org.chromium.sdk.internal.wip.protocol.input.network;
/**
Fired when WebSocket is closed.
*/
@org.chromium.sdk.internal.protocolparser.JsonType
public interface WebSocketClosedEventData {
/**
Request identifier.
*/
String/*See org.chromium.sdk.internal.wip.protocol.common.network.RequestIdTypedef*/ requestId();
/**
Timestamp.
*/
Number/*See org.chromium.sdk.internal.wip.protocol.common.network.TimestampTypedef*/ timestamp();
public static final org.chromium.sdk.internal.wip.protocol.input.WipEventType<org.chromium.sdk.internal.wip.protocol.input.network.WebSocketClosedEventData> TYPE
= new org.chromium.sdk.internal.wip.protocol.input.WipEventType<org.chromium.sdk.internal.wip.protocol.input.network.WebSocketClosedEventData>("Network.webSocketClosed", org.chromium.sdk.internal.wip.protocol.input.network.WebSocketClosedEventData.class) {
@Override public org.chromium.sdk.internal.wip.protocol.input.network.WebSocketClosedEventData parse(org.chromium.sdk.internal.wip.protocol.input.WipGeneratedParserRoot parser, org.json.simple.JSONObject obj) throws org.chromium.sdk.internal.protocolparser.JsonProtocolParseException {
return parser.parseNetworkWebSocketClosedEventData(obj);
}
};
}