Holds data that should be aligned, for serialization. Attributes: data: The data to serialize, as a cord. alignment: The alignment required for the data.
| 65 | |
| 66 | @dataclass |
| 67 | class AlignedData: |
| 68 | """ |
| 69 | Holds data that should be aligned, for serialization. |
| 70 | |
| 71 | Attributes: |
| 72 | data: The data to serialize, as a cord. |
| 73 | alignment: The alignment required for the data. |
| 74 | """ |
| 75 | |
| 76 | data: Cord |
| 77 | alignment: int |
| 78 | |
| 79 | def __init__(self, data: Cord, alignment: Optional[int] = None) -> None: |
| 80 | self.data = data |
| 81 | self.alignment = alignment or 1 |
| 82 | |
| 83 | |
| 84 | def _program_to_json(program: Program) -> str: |
no outgoing calls
no test coverage detected