1117def nativeTelemetrySinkAfterClose =
1118 (lambda unrestricted response : (family LinuxSyscallResponse) .
1119 (lambda unrestricted state : (family NativeTelemetrySinkState) .
1120 (eliminate
1121 LinuxSyscallResponse
1122 (lambda unrestricted current : (family LinuxSyscallResponse) .
1123 (family NativeTelemetrySinkDecision))
1124 response
1125 (branch
1126 LinuxOpenSucceeded
1127 descriptor
1128 .
1129 (constructor
1130 NativeTelemetrySinkDecision
1131 NativeTelemetrySinkRejected
1132 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
1133 state))
1134 (branch
1135 LinuxReadSucceeded
1136 bytes
1137 .
1138 (constructor
1139 NativeTelemetrySinkDecision
1140 NativeTelemetrySinkRejected
1141 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
1142 state))
1143 (branch
1144 LinuxSeekSucceeded
1145 position
1146 .
1147 (constructor
1148 NativeTelemetrySinkDecision
1149 NativeTelemetrySinkRejected
1150 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
1151 state))
1152 (branch
1153 LinuxWriteSucceeded
1154 written
1155 .
1156 (constructor
1157 NativeTelemetrySinkDecision
1158 NativeTelemetrySinkRejected
1159 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
1160 state))
1161 (branch
1162 LinuxIoctlSucceeded
1163 output
1164 .
1165 (constructor
1166 NativeTelemetrySinkDecision
1167 NativeTelemetrySinkRejected
1168 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
1169 state))
1170 (branch
1171 LinuxMmapSucceeded
1172 address
1173 .
1174 (constructor
1175 NativeTelemetrySinkDecision
1176 NativeTelemetrySinkRejected
1177 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
1178 state))
1179 (branch
1180 LinuxUnitSucceeded
1181 .
1182 (eliminate
1183 NativeTelemetrySinkState
1184 (lambda unrestricted current : (family NativeTelemetrySinkState) .
1185 (family NativeTelemetrySinkDecision))
1186 state
1187 (branch
1188 NativeTelemetrySinkStateValue
1189 path
1190 record
1191 phase
1192 descriptor
1193 telemetry
1194 .
1195 (eliminate
1196 NativeTelemetrySinkTelemetry
1197 (lambda unrestricted current : (family NativeTelemetrySinkTelemetry) .
1198 (family NativeTelemetrySinkDecision))
1199 telemetry
1200 (branch
1201 NativeTelemetrySinkTelemetryValue
1202 planned
1203 completed
1204 plannedBytes
1205 written
1206 syncs
1207 closes
1208 failures
1209 fallbacks
1210 .
1211 (constructor
1212 NativeTelemetrySinkDecision
1213 NativeTelemetrySinkFinished
1214 record
1215 (constructor
1216 NativeTelemetrySinkTelemetry
1217 NativeTelemetrySinkTelemetryValue
1218 planned
1219 (succ completed)
1220 plannedBytes
1221 written
1222 syncs
1223 (succ closes)
1224 failures
1225 fallbacks)))))))
1226 (branch
1227 LinuxSyscallFailed
1228 error
1229 errno
1230 .
1231 (constructor
1232 NativeTelemetrySinkDecision
1233 NativeTelemetrySinkRejected
1234 (constructor NativeTelemetryErrorCode NativeTelemetryCloseFailed)
1235 state)))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.