stig-engine/com.stigway.engine.llvm/GeneratedHarnessLlvmContractResult

GeneratedHarnessLlvmContractResult

data class GeneratedHarnessLlvmContractResult(val generatedLifecycleEntrySymbol: String?, val configuredAnalyzerEntrySymbols: List<String>, val expectedMarkerCount: Int, val definedMarkerCount: Int, val calledMarkerCount: Int, val violations: List<String>, val markerSymbols: List<String> = emptyList())

Constructors

constructor(generatedLifecycleEntrySymbol: String?, configuredAnalyzerEntrySymbols: List<String>, expectedMarkerCount: Int, definedMarkerCount: Int, calledMarkerCount: Int, violations: List<String>, markerSymbols: List<String> = emptyList())

Properties

calledMarkerCount

val calledMarkerCount: Int

configuredAnalyzerEntrySymbols

val configuredAnalyzerEntrySymbols: List<String>

definedMarkerCount

val definedMarkerCount: Int

expectedMarkerCount

val expectedMarkerCount: Int

generatedLifecycleEntrySymbol

val generatedLifecycleEntrySymbol: String?

markerSymbols

val markerSymbols: List<String>

violations

val violations: List<String>