136def test_header_properties() -> int:
137 frame = TDEEthFrame()
138 hdr_alias = frame.get_tdeheader()
139
140 if hdr_alias is None:
141 print("FAIL: get_tdeheader() returned None")
142 return 1
143
144 frame.header.channel = 42
145 if frame.header.channel != 42:
146 print(f"FAIL: TDEEthHeader.channel: set 42, got {frame.header.channel}")
147 return 1
148
149 frame.header.version = 3
150 if frame.header.version != 3:
151 print(f"FAIL: TDEEthHeader.version: set 3, got {frame.header.version}")
152 return 1
153
154 frame.header.tde_header = 0x1F
155 if frame.header.tde_header != 0x1F:
156 print(f"FAIL: TDEEthHeader.tde_header: set 0x1F, got {frame.header.tde_header:#x}")
157 return 1
158
159 frame.header.tde_errors = 0xAB
160 if frame.header.tde_errors != 0xAB:
161 print(f"FAIL: TDEEthHeader.tde_errors: set 0xAB, got {frame.header.tde_errors:#x}")
162 return 1
163
164 frame.header.TAItime = 0xFEDCBA9876543210
165 if frame.header.TAItime != 0xFEDCBA9876543210:
166 print(f"FAIL: TDEEthHeader.TAItime: set 0xFEDCBA9876543210, got {frame.header.TAItime:#x}")
167 return 1
168 if hdr_alias.TAItime != 0xFEDCBA9876543210:
169 print(f"FAIL: get_tdeheader alias mismatch, got {hdr_alias.TAItime:#x}")
170 return 1
171
172 print("PASS: TDEEthHeader property read/write and get_tdeheader alias")
173 return 0
174
175