654def nativeTelemetrySinkAfterOpen =
655 (lambda unrestricted response : (family LinuxSyscallResponse) .
656 (lambda unrestricted state : (family NativeTelemetrySinkState) .
657 (eliminate
658 LinuxSyscallResponse
659 (lambda unrestricted current : (family LinuxSyscallResponse) .
660 (family NativeTelemetrySinkDecision))
661 response
662 (branch
663 LinuxOpenSucceeded
664 descriptor
665 .
666 (eliminate
667 NativeTelemetrySinkState
668 (lambda unrestricted current : (family NativeTelemetrySinkState) .
669 (family NativeTelemetrySinkDecision))
670 state
671 (branch
672 NativeTelemetrySinkStateValue
673 path
674 record
675 phase
676 oldDescriptor
677 telemetry
678 .
679 (eliminate
680 NativeTelemetryEncodedRecord
681 (lambda unrestricted current : (family NativeTelemetryEncodedRecord) .
682 (family NativeTelemetrySinkDecision))
683 record
684 (branch
685 NativeTelemetryEncodedRecordValue
686 bytes
687 extent
688 digest
689 identity
690 .
691 (eliminate
692 NativeTelemetrySinkTelemetry
693 (lambda unrestricted current : (family NativeTelemetrySinkTelemetry) .
694 (family NativeTelemetrySinkDecision))
695 telemetry
696 (branch
697 NativeTelemetrySinkTelemetryValue
698 planned
699 completed
700 plannedBytes
701 written
702 syncs
703 closes
704 failures
705 fallbacks
706 .
707 (constructor
708 NativeTelemetrySinkDecision
709 NativeTelemetrySinkContinue
710 (constructor
711 NativeTelemetrySinkState
712 NativeTelemetrySinkStateValue
713 path
714 record
715 (constructor NativeTelemetrySinkPhase NativeTelemetrySinkWriting)
716 (constructor
717 NativeTelemetryOptionalDescriptor
718 NativeTelemetrySomeDescriptor
719 descriptor)
720 (constructor
721 NativeTelemetrySinkTelemetry
722 NativeTelemetrySinkTelemetryValue
723 (succ planned)
724 (succ completed)
725 plannedBytes
726 written
727 syncs
728 closes
729 failures
730 fallbacks))
731 (constructor
732 NativeTelemetrySinkAction
733 NativeTelemetrySinkIssueSyscall
734 (constructor LinuxSyscallRequest LinuxWrite descriptor bytes))))))))))
735 (branch
736 LinuxReadSucceeded
737 bytes
738 .
739 (constructor
740 NativeTelemetrySinkDecision
741 NativeTelemetrySinkRejected
742 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
743 state))
744 (branch
745 LinuxSeekSucceeded
746 position
747 .
748 (constructor
749 NativeTelemetrySinkDecision
750 NativeTelemetrySinkRejected
751 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
752 state))
753 (branch
754 LinuxWriteSucceeded
755 written
756 .
757 (constructor
758 NativeTelemetrySinkDecision
759 NativeTelemetrySinkRejected
760 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
761 state))
762 (branch
763 LinuxIoctlSucceeded
764 output
765 .
766 (constructor
767 NativeTelemetrySinkDecision
768 NativeTelemetrySinkRejected
769 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
770 state))
771 (branch
772 LinuxMmapSucceeded
773 address
774 .
775 (constructor
776 NativeTelemetrySinkDecision
777 NativeTelemetrySinkRejected
778 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
779 state))
780 (branch
781 LinuxUnitSucceeded
782 .
783 (constructor
784 NativeTelemetrySinkDecision
785 NativeTelemetrySinkRejected
786 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
787 state))
788 (branch
789 LinuxSyscallFailed
790 error
791 errno
792 .
793 (constructor
794 NativeTelemetrySinkDecision
795 NativeTelemetrySinkRejected
796 (constructor NativeTelemetryErrorCode NativeTelemetryOpenFailed)
797 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.