897def nativeTelemetrySinkAfterSync =
898 (lambda unrestricted response : (family LinuxSyscallResponse) .
899 (lambda unrestricted state : (family NativeTelemetrySinkState) .
900 (eliminate
901 LinuxSyscallResponse
902 (lambda unrestricted current : (family LinuxSyscallResponse) .
903 (family NativeTelemetrySinkDecision))
904 response
905 (branch
906 LinuxOpenSucceeded
907 descriptor
908 .
909 (constructor
910 NativeTelemetrySinkDecision
911 NativeTelemetrySinkRejected
912 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
913 state))
914 (branch
915 LinuxReadSucceeded
916 bytes
917 .
918 (constructor
919 NativeTelemetrySinkDecision
920 NativeTelemetrySinkRejected
921 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
922 state))
923 (branch
924 LinuxSeekSucceeded
925 position
926 .
927 (constructor
928 NativeTelemetrySinkDecision
929 NativeTelemetrySinkRejected
930 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
931 state))
932 (branch
933 LinuxWriteSucceeded
934 written
935 .
936 (constructor
937 NativeTelemetrySinkDecision
938 NativeTelemetrySinkRejected
939 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
940 state))
941 (branch
942 LinuxIoctlSucceeded
943 output
944 .
945 (constructor
946 NativeTelemetrySinkDecision
947 NativeTelemetrySinkRejected
948 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
949 state))
950 (branch
951 LinuxMmapSucceeded
952 address
953 .
954 (constructor
955 NativeTelemetrySinkDecision
956 NativeTelemetrySinkRejected
957 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
958 state))
959 (branch
960 LinuxUnitSucceeded
961 .
962 (eliminate
963 NativeTelemetrySinkState
964 (lambda unrestricted current : (family NativeTelemetrySinkState) .
965 (family NativeTelemetrySinkDecision))
966 state
967 (branch
968 NativeTelemetrySinkStateValue
969 path
970 record
971 phase
972 optionalDescriptor
973 telemetry
974 .
975 (eliminate
976 NativeTelemetryOptionalDescriptor
977 (lambda unrestricted current : (family NativeTelemetryOptionalDescriptor) .
978 (family NativeTelemetrySinkDecision))
979 optionalDescriptor
980 (branch
981 NativeTelemetryNoDescriptor
982 .
983 (constructor
984 NativeTelemetrySinkDecision
985 NativeTelemetrySinkRejected
986 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
987 state))
988 (branch
989 NativeTelemetrySomeDescriptor
990 descriptor
991 .
992 (eliminate
993 NativeTelemetrySinkTelemetry
994 (lambda unrestricted current : (family NativeTelemetrySinkTelemetry) .
995 (family NativeTelemetrySinkDecision))
996 telemetry
997 (branch
998 NativeTelemetrySinkTelemetryValue
999 planned
1000 completed
1001 plannedBytes
1002 written
1003 syncs
1004 closes
1005 failures
1006 fallbacks
1007 .
1008 (constructor
1009 NativeTelemetrySinkDecision
1010 NativeTelemetrySinkContinue
1011 (constructor
1012 NativeTelemetrySinkState
1013 NativeTelemetrySinkStateValue
1014 path
1015 record
1016 (constructor NativeTelemetrySinkPhase NativeTelemetrySinkClosing)
1017 optionalDescriptor
1018 (constructor
1019 NativeTelemetrySinkTelemetry
1020 NativeTelemetrySinkTelemetryValue
1021 (succ planned)
1022 (succ completed)
1023 plannedBytes
1024 written
1025 (succ syncs)
1026 closes
1027 failures
1028 fallbacks))
1029 (constructor
1030 NativeTelemetrySinkAction
1031 NativeTelemetrySinkIssueSyscall
1032 (constructor LinuxSyscallRequest LinuxClose descriptor))))))))))
1033 (branch
1034 LinuxSyscallFailed
1035 error
1036 errno
1037 .
1038 (constructor
1039 NativeTelemetrySinkDecision
1040 NativeTelemetrySinkRejected
1041 (constructor NativeTelemetryErrorCode NativeTelemetrySyncFailed)
1042 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.