(codes: CharacterDiff[], txt: string)
| 182 | const [beforeCodes, afterCodes] = codes; |
| 183 | |
| 184 | const process = function (codes: CharacterDiff[], txt: string) { |
| 185 | return codes |
| 186 | .map(function (code) { |
| 187 | let part = txt.substring(code[1], code[2]); |
| 188 | if (code[0] != null) part = '[' + part + ']'; |
| 189 | return part; |
| 190 | }) |
| 191 | .join(''); |
| 192 | }; |
| 193 | |
| 194 | const beforeActual = process(beforeCodes, beforeText), |
| 195 | afterActual = process(afterCodes, afterText); |