1044def nativeTelemetrySinkAfterClose =
1045 (lambda unrestricted response : (family LinuxSyscallResponse) .
1046 (lambda unrestricted state : (family NativeTelemetrySinkState) .
1047 (eliminate
1048 LinuxSyscallResponse
1049 (lambda unrestricted current : (family LinuxSyscallResponse) .
1050 (family NativeTelemetrySinkDecision))
1051 response
1052 (branch
1053 LinuxOpenSucceeded
1054 descriptor
1055 .
1056 (constructor
1057 NativeTelemetrySinkDecision
1058 NativeTelemetrySinkRejected
1059 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
1060 state))
1061 (branch
1062 LinuxReadSucceeded
1063 bytes
1064 .
1065 (constructor
1066 NativeTelemetrySinkDecision
1067 NativeTelemetrySinkRejected
1068 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
1069 state))
1070 (branch
1071 LinuxSeekSucceeded
1072 position
1073 .
1074 (constructor
1075 NativeTelemetrySinkDecision
1076 NativeTelemetrySinkRejected
1077 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
1078 state))
1079 (branch
1080 LinuxWriteSucceeded
1081 written
1082 .
1083 (constructor
1084 NativeTelemetrySinkDecision
1085 NativeTelemetrySinkRejected
1086 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
1087 state))
1088 (branch
1089 LinuxIoctlSucceeded
1090 output
1091 .
1092 (constructor
1093 NativeTelemetrySinkDecision
1094 NativeTelemetrySinkRejected
1095 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
1096 state))
1097 (branch
1098 LinuxMmapSucceeded
1099 address
1100 .
1101 (constructor
1102 NativeTelemetrySinkDecision
1103 NativeTelemetrySinkRejected
1104 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
1105 state))
1106 (branch
1107 LinuxUnitSucceeded
1108 .
1109 (eliminate
1110 NativeTelemetrySinkState
1111 (lambda unrestricted current : (family NativeTelemetrySinkState) .
1112 (family NativeTelemetrySinkDecision))
1113 state
1114 (branch
1115 NativeTelemetrySinkStateValue
1116 path
1117 record
1118 phase
1119 descriptor
1120 telemetry
1121 .
1122 (eliminate
1123 NativeTelemetrySinkTelemetry
1124 (lambda unrestricted current : (family NativeTelemetrySinkTelemetry) .
1125 (family NativeTelemetrySinkDecision))
1126 telemetry
1127 (branch
1128 NativeTelemetrySinkTelemetryValue
1129 planned
1130 completed
1131 plannedBytes
1132 written
1133 syncs
1134 closes
1135 failures
1136 fallbacks
1137 .
1138 (constructor
1139 NativeTelemetrySinkDecision
1140 NativeTelemetrySinkFinished
1141 record
1142 (constructor
1143 NativeTelemetrySinkTelemetry
1144 NativeTelemetrySinkTelemetryValue
1145 planned
1146 (succ completed)
1147 plannedBytes
1148 written
1149 syncs
1150 (succ closes)
1151 failures
1152 fallbacks)))))))
1153 (branch
1154 LinuxSyscallFailed
1155 error
1156 errno
1157 .
1158 (constructor
1159 NativeTelemetrySinkDecision
1160 NativeTelemetrySinkRejected
1161 (constructor NativeTelemetryErrorCode NativeTelemetryCloseFailed)
1162 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.