| 2114 | assert dlv.annotations == None |
| 2115 | |
| 2116 | class ReceivedValue: |
| 2117 | def __init__(self, section_number, section_offset): |
| 2118 | self.section_number = section_number |
| 2119 | self.section_offset = section_offset |
| 2120 | |
| 2121 | def apply(self, dlv): |
| 2122 | dlv.section_number = self.section_number |
| 2123 | dlv.section_offset = self.section_offset |
| 2124 | |
| 2125 | def check(self, dlv): |
| 2126 | assert dlv.data == None, dlv.data |
| 2127 | assert dlv.section_number == self.section_number, (dlv.section_number, self.section_number) |
| 2128 | assert dlv.section_offset == self.section_offset |
| 2129 | assert dlv.condition == None |
| 2130 | assert dlv.failed == False |
| 2131 | assert dlv.undeliverable == False |
| 2132 | assert dlv.annotations == None |
| 2133 | |
| 2134 | class ModifiedValue: |
| 2135 | def __init__(self, failed, undeliverable, annotations): |