581def nativeTelemetrySinkAfterOpen =
582 (lambda unrestricted response : (family LinuxSyscallResponse) .
583 (lambda unrestricted state : (family NativeTelemetrySinkState) .
584 (eliminate
585 LinuxSyscallResponse
586 (lambda unrestricted current : (family LinuxSyscallResponse) .
587 (family NativeTelemetrySinkDecision))
588 response
589 (branch
590 LinuxOpenSucceeded
591 descriptor
592 .
593 (eliminate
594 NativeTelemetrySinkState
595 (lambda unrestricted current : (family NativeTelemetrySinkState) .
596 (family NativeTelemetrySinkDecision))
597 state
598 (branch
599 NativeTelemetrySinkStateValue
600 path
601 record
602 phase
603 oldDescriptor
604 telemetry
605 .
606 (eliminate
607 NativeTelemetryEncodedRecord
608 (lambda unrestricted current : (family NativeTelemetryEncodedRecord) .
609 (family NativeTelemetrySinkDecision))
610 record
611 (branch
612 NativeTelemetryEncodedRecordValue
613 bytes
614 extent
615 digest
616 identity
617 .
618 (eliminate
619 NativeTelemetrySinkTelemetry
620 (lambda unrestricted current : (family NativeTelemetrySinkTelemetry) .
621 (family NativeTelemetrySinkDecision))
622 telemetry
623 (branch
624 NativeTelemetrySinkTelemetryValue
625 planned
626 completed
627 plannedBytes
628 written
629 syncs
630 closes
631 failures
632 fallbacks
633 .
634 (constructor
635 NativeTelemetrySinkDecision
636 NativeTelemetrySinkContinue
637 (constructor
638 NativeTelemetrySinkState
639 NativeTelemetrySinkStateValue
640 path
641 record
642 (constructor NativeTelemetrySinkPhase NativeTelemetrySinkWriting)
643 (constructor
644 NativeTelemetryOptionalDescriptor
645 NativeTelemetrySomeDescriptor
646 descriptor)
647 (constructor
648 NativeTelemetrySinkTelemetry
649 NativeTelemetrySinkTelemetryValue
650 (succ planned)
651 (succ completed)
652 plannedBytes
653 written
654 syncs
655 closes
656 failures
657 fallbacks))
658 (constructor
659 NativeTelemetrySinkAction
660 NativeTelemetrySinkIssueSyscall
661 (constructor LinuxSyscallRequest LinuxWrite descriptor bytes))))))))))
662 (branch
663 LinuxReadSucceeded
664 bytes
665 .
666 (constructor
667 NativeTelemetrySinkDecision
668 NativeTelemetrySinkRejected
669 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
670 state))
671 (branch
672 LinuxSeekSucceeded
673 position
674 .
675 (constructor
676 NativeTelemetrySinkDecision
677 NativeTelemetrySinkRejected
678 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
679 state))
680 (branch
681 LinuxWriteSucceeded
682 written
683 .
684 (constructor
685 NativeTelemetrySinkDecision
686 NativeTelemetrySinkRejected
687 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
688 state))
689 (branch
690 LinuxIoctlSucceeded
691 output
692 .
693 (constructor
694 NativeTelemetrySinkDecision
695 NativeTelemetrySinkRejected
696 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
697 state))
698 (branch
699 LinuxMmapSucceeded
700 address
701 .
702 (constructor
703 NativeTelemetrySinkDecision
704 NativeTelemetrySinkRejected
705 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
706 state))
707 (branch
708 LinuxUnitSucceeded
709 .
710 (constructor
711 NativeTelemetrySinkDecision
712 NativeTelemetrySinkRejected
713 (constructor NativeTelemetryErrorCode NativeTelemetryUnexpectedResponse)
714 state))
715 (branch
716 LinuxSyscallFailed
717 error
718 errno
719 .
720 (constructor
721 NativeTelemetrySinkDecision
722 NativeTelemetrySinkRejected
723 (constructor NativeTelemetryErrorCode NativeTelemetryOpenFailed)
724 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.