(evaluation: Evaluation, changes: Changes)
| 353 | } |
| 354 | |
| 355 | onFixpoint(evaluation: Evaluation, changes: Changes) { |
| 356 | super.onFixpoint(evaluation, changes); |
| 357 | let name = evaluation.databaseToName(this); |
| 358 | let index = this.index; |
| 359 | let comments = index.alookup("tag", "comment"); |
| 360 | if(comments) { |
| 361 | for(let commentId of Object.keys(comments.index)) { |
| 362 | let comment = index.asObject(commentId, false, true); |
| 363 | this.spans.push(comment.start, comment.stop, "document_comment", commentId); |
| 364 | comment.spanId = commentId; |
| 365 | this.extraInfo[commentId] = comment; |
| 366 | } |
| 367 | } |
| 368 | } |
| 369 | } |
| 370 | |
| 371 | function makeEveAnalyzer() { |
nothing calls this directly
no test coverage detected