| OLD | NEW |
| 1 | 1 |
| 2 class _WebSocketJs extends _DOMTypeJs implements WebSocket native "*WebSocket" { | 2 class _WebSocketJs extends _DOMTypeJs implements WebSocket native "*WebSocket" { |
| 3 WebSocket(String url) native; | |
| 4 | |
| 5 | 3 |
| 6 static final int CLOSED = 3; | 4 static final int CLOSED = 3; |
| 7 | 5 |
| 8 static final int CLOSING = 2; | 6 static final int CLOSING = 2; |
| 9 | 7 |
| 10 static final int CONNECTING = 0; | 8 static final int CONNECTING = 0; |
| 11 | 9 |
| 12 static final int OPEN = 1; | 10 static final int OPEN = 1; |
| 13 | 11 |
| 14 final String URL; | 12 final String URL; |
| (...skipping 13 matching lines...) Expand all Loading... |
| 28 void addEventListener(String type, EventListener listener, [bool useCapture =
null]) native; | 26 void addEventListener(String type, EventListener listener, [bool useCapture =
null]) native; |
| 29 | 27 |
| 30 void close([int code = null, String reason = null]) native; | 28 void close([int code = null, String reason = null]) native; |
| 31 | 29 |
| 32 bool dispatchEvent(_EventJs evt) native; | 30 bool dispatchEvent(_EventJs evt) native; |
| 33 | 31 |
| 34 void removeEventListener(String type, EventListener listener, [bool useCapture
= null]) native; | 32 void removeEventListener(String type, EventListener listener, [bool useCapture
= null]) native; |
| 35 | 33 |
| 36 bool send(String data) native; | 34 bool send(String data) native; |
| 37 } | 35 } |
| OLD | NEW |