(evaluation, requestId, status, body)
| 71 | } |
| 72 | |
| 73 | sendResponse(evaluation, requestId, status, body) { |
| 74 | let response = this.requestToResponse[requestId]; |
| 75 | response.statusCode = status; |
| 76 | response.end(body); |
| 77 | } |
| 78 | |
| 79 | onFixpoint(evaluation: Evaluation, changes: Changes) { |
| 80 | let name = evaluation.databaseToName(this); |