| OLD | NEW |
| 1 // Copyright 2015 The Chromium Authors. All rights reserved. | 1 // Copyright 2015 The Chromium Authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 [DartPackage="mojo_services"] |
| 5 module mojo; | 6 module mojo; |
| 6 | 7 |
| 8 import "mojo/public/interfaces/network/network_error.mojom"; |
| 7 import "network/interfaces/http_message.mojom"; | 9 import "network/interfaces/http_message.mojom"; |
| 8 import "network/interfaces/web_socket.mojom"; | 10 import "network/interfaces/web_socket.mojom"; |
| 9 import "third_party/mojo/src/mojo/public/interfaces/network/network_error.mojom"
; | |
| 10 | 11 |
| 11 interface HttpConnection { | 12 interface HttpConnection { |
| 12 // Sets the OS send buffer size (in bytes) for the underlying socket. | 13 // Sets the OS send buffer size (in bytes) for the underlying socket. |
| 13 SetSendBufferSize(uint32 size) => (NetworkError result); | 14 SetSendBufferSize(uint32 size) => (NetworkError result); |
| 14 | 15 |
| 15 // Sets the OS receive buffer size (in bytes) for the underlying socket. | 16 // Sets the OS receive buffer size (in bytes) for the underlying socket. |
| 16 SetReceiveBufferSize(uint32 size) => (NetworkError result); | 17 SetReceiveBufferSize(uint32 size) => (NetworkError result); |
| 17 }; | 18 }; |
| 18 | 19 |
| 19 interface HttpConnectionDelegate { | 20 interface HttpConnectionDelegate { |
| (...skipping 13 matching lines...) Expand all Loading... |
| 33 // following are not supported: | 34 // following are not supported: |
| 34 // - negotiating subprotocol or extension; | 35 // - negotiating subprotocol or extension; |
| 35 // - fragmented or non-text messages; | 36 // - fragmented or non-text messages; |
| 36 // - failure or close notification; | 37 // - failure or close notification; |
| 37 // - flow control. | 38 // - flow control. |
| 38 OnReceivedWebSocketRequest(HttpRequest request) | 39 OnReceivedWebSocketRequest(HttpRequest request) |
| 39 => (WebSocket&? web_socket, | 40 => (WebSocket&? web_socket, |
| 40 handle<data_pipe_consumer>? send_stream, | 41 handle<data_pipe_consumer>? send_stream, |
| 41 WebSocketClient? client); | 42 WebSocketClient? client); |
| 42 }; | 43 }; |
| OLD | NEW |