SourceCodeAnalysisHarnessArtifacts

constructor(source: String, interfaceHeader: String, contract: SourceCodeAnalysisHarnessContract, diagnostics: List<SourceCodeAnalysisHarnessDiagnostic> = emptyList())
Generated with STIG