(event)
| 247 | } |
| 248 | |
| 249 | onMessage(event) { |
| 250 | let data = JSON.parse(event.data); |
| 251 | let handler = this["_" + data.type]; |
| 252 | if(handler) { |
| 253 | handler.call(this, data); |
| 254 | } else if(!this.ide || !this.ide.languageService.handleMessage(data)) { |
| 255 | console.error(`Unknown client message type: ${data.type}`); |
| 256 | } |
| 257 | } |
| 258 | |
| 259 | _result(data) { |
| 260 | let state = {entities: indexes.records.index, dirty: indexes.dirty.index}; |
no test coverage detected