SourceCodeAnalysisHarnessArtifacts
data class SourceCodeAnalysisHarnessArtifacts(val source: String, val interfaceHeader: String, val contract: SourceCodeAnalysisHarnessContract, val diagnostics: List<SourceCodeAnalysisHarnessDiagnostic> = emptyList())
Constructors
Link copied to clipboard
constructor(source: String, interfaceHeader: String, contract: SourceCodeAnalysisHarnessContract, diagnostics: List<SourceCodeAnalysisHarnessDiagnostic> = emptyList())