NexyMetricAvailability
object NexyMetricAvailability
Functions
Link copied to clipboard
fun diagnostics(descriptors: Iterable<MetricDescriptor>, scope: MetricScope, analyzerEvidenceAvailable: Boolean, z3EvidenceAvailable: Boolean): List<MetricAvailabilityDiagnostic>
Link copied to clipboard
fun isAvailable(descriptor: MetricDescriptor, scope: MetricScope, analyzerEvidenceAvailable: Boolean, z3EvidenceAvailable: Boolean): Boolean
Link copied to clipboard
fun unavailableReason(descriptor: MetricDescriptor, scope: MetricScope, analyzerEvidenceAvailable: Boolean, z3EvidenceAvailable: Boolean): String?