CorrectnessVerificationResult

constructor(isCorrect: Boolean, syntaxValid: Boolean, semanticValid: Boolean, roundTripValid: Boolean, errors: List<String> = emptyList(), warnings: List<String> = emptyList())(source)