Wraps together the data required to serialize into a PTE file.
| 52 | |
| 53 | @dataclass |
| 54 | class PTEFile: |
| 55 | """ |
| 56 | Wraps together the data required to serialize into a PTE file. |
| 57 | """ |
| 58 | |
| 59 | program: Program |
| 60 | # TODO(lfq): add constant data (currently restored in the program) |
| 61 | # TODO(lfq): update this to List[bytes] |
| 62 | mutable_data: Optional[List[Buffer]] = None |
| 63 | named_data: Optional[NamedDataStoreOutput] = None |
| 64 | |
| 65 | |
| 66 | @dataclass |
no outgoing calls