(kind)
| 511 | |
| 512 | |
| 513 | def read_file(kind): |
| 514 | kind = Kind(kind) |
| 515 | begin = get_comment(kind, 'BEGIN MATRIX') + '\n' |
| 516 | end = get_comment(kind, 'END MATRIX') + '\n' |
| 517 | mode = 0 |
| 518 | before = [] |
| 519 | after = [] |
| 520 | filename = kind.value[0] |
| 521 | with open(filename) as file: |
| 522 | for line in file: |
| 523 | if mode == 0: |
| 524 | before.append(line) |
| 525 | if line == begin: |
| 526 | mode = 1 |
| 527 | elif mode == 1: |
| 528 | if line == end: |
| 529 | after.append(line) |
| 530 | mode = 2 |
| 531 | else: |
| 532 | after.append(line) |
| 533 | return (filename, before, after) |
| 534 | |
| 535 | |
| 536 | class NullContext: |
no test coverage detected