[Test] Migrate IrTextTestGenerated to new infrastructure
This commit is contained in:
Dmitriy Novozhilov
committed by
TeamCityServer
TeamCityServer
parent
5ae5f660f6
commit
aaa3fa5845
@@ -0,0 +1,201 @@
|
||||
/*
|
||||
* Copyright 2010-2021 JetBrains s.r.o. and Kotlin Programming Language contributors.
|
||||
* Use of this source code is governed by the Apache 2.0 license that can be found in the license/LICENSE.txt file.
|
||||
*/
|
||||
|
||||
package org.jetbrains.kotlin.ir
|
||||
|
||||
import org.jetbrains.kotlin.descriptors.DeclarationDescriptor
|
||||
import org.jetbrains.kotlin.descriptors.TypeParameterDescriptor
|
||||
import org.jetbrains.kotlin.ir.declarations.*
|
||||
import org.jetbrains.kotlin.ir.expressions.*
|
||||
import org.jetbrains.kotlin.ir.symbols.IrSymbol
|
||||
import org.jetbrains.kotlin.ir.util.dump
|
||||
import org.jetbrains.kotlin.ir.util.render
|
||||
import org.jetbrains.kotlin.ir.visitors.IrElementVisitorVoid
|
||||
import org.jetbrains.kotlin.ir.visitors.acceptChildrenVoid
|
||||
import org.jetbrains.kotlin.test.Assertions
|
||||
|
||||
class IrVerifier(private val assertions: Assertions) : IrElementVisitorVoid {
|
||||
private val errors = ArrayList<String>()
|
||||
|
||||
private val symbolForDeclaration = HashMap<IrElement, IrSymbol>()
|
||||
|
||||
val hasErrors get() = errors.isNotEmpty()
|
||||
|
||||
val errorsAsMessage get() = errors.joinToString(prefix = "IR verifier errors:\n", separator = "\n")
|
||||
|
||||
private fun error(message: String) {
|
||||
errors.add(message)
|
||||
}
|
||||
|
||||
private inline fun require(condition: Boolean, message: () -> String) {
|
||||
if (!condition) {
|
||||
errors.add(message())
|
||||
}
|
||||
}
|
||||
|
||||
private val elementsAreUniqueChecker = object : IrElementVisitorVoid {
|
||||
private val elements = HashSet<IrElement>()
|
||||
|
||||
override fun visitElement(element: IrElement) {
|
||||
require(elements.add(element)) { "Non-unique element: ${element.render()}" }
|
||||
element.acceptChildrenVoid(this)
|
||||
}
|
||||
}
|
||||
|
||||
fun verifyWithAssert(irFile: IrFile) {
|
||||
irFile.acceptChildrenVoid(this)
|
||||
irFile.acceptChildrenVoid(elementsAreUniqueChecker)
|
||||
assertions.assertFalse(hasErrors) { errorsAsMessage + "\n\n\n" + irFile.dump() }
|
||||
}
|
||||
|
||||
override fun visitElement(element: IrElement) {
|
||||
element.acceptChildrenVoid(this)
|
||||
}
|
||||
|
||||
@OptIn(ObsoleteDescriptorBasedAPI::class)
|
||||
override fun visitDeclaration(declaration: IrDeclarationBase) {
|
||||
declaration.symbol.checkBinding("decl", declaration)
|
||||
|
||||
require(declaration.symbol.owner == declaration) {
|
||||
"Symbol is not bound to declaration: ${declaration.render()}"
|
||||
}
|
||||
|
||||
val containingDeclarationDescriptor = declaration.descriptor.containingDeclaration
|
||||
if (containingDeclarationDescriptor != null) {
|
||||
val parent = declaration.parent
|
||||
if (parent is IrDeclaration) {
|
||||
require(parent.descriptor == containingDeclarationDescriptor) {
|
||||
"In declaration ${declaration.descriptor}: " +
|
||||
"Mismatching parent descriptor (${parent.descriptor}) " +
|
||||
"and containing declaration descriptor ($containingDeclarationDescriptor)"
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
override fun visitProperty(declaration: IrProperty) {
|
||||
visitDeclaration(declaration)
|
||||
|
||||
require((declaration.origin == IrDeclarationOrigin.FAKE_OVERRIDE) == declaration.isFakeOverride) {
|
||||
"${declaration.render()}: origin: ${declaration.origin}; isFakeOverride: ${declaration.isFakeOverride}"
|
||||
}
|
||||
}
|
||||
|
||||
@OptIn(ObsoleteDescriptorBasedAPI::class)
|
||||
override fun visitFunction(declaration: IrFunction) {
|
||||
visitDeclaration(declaration)
|
||||
|
||||
val functionDescriptor = declaration.descriptor
|
||||
|
||||
checkTypeParameters(functionDescriptor, declaration, functionDescriptor.typeParameters)
|
||||
|
||||
val expectedDispatchReceiver = functionDescriptor.dispatchReceiverParameter
|
||||
val actualDispatchReceiver = declaration.dispatchReceiverParameter?.descriptor
|
||||
require(expectedDispatchReceiver == actualDispatchReceiver) {
|
||||
"$functionDescriptor: Dispatch receiver parameter mismatch: " +
|
||||
"expected $expectedDispatchReceiver, actual $actualDispatchReceiver"
|
||||
|
||||
}
|
||||
|
||||
val expectedExtensionReceiver = functionDescriptor.extensionReceiverParameter
|
||||
val actualExtensionReceiver = declaration.extensionReceiverParameter?.descriptor
|
||||
require(expectedExtensionReceiver == actualExtensionReceiver) {
|
||||
"$functionDescriptor: Extension receiver parameter mismatch: " +
|
||||
"expected $expectedExtensionReceiver, actual $actualExtensionReceiver"
|
||||
|
||||
}
|
||||
|
||||
val declaredValueParameters = declaration.valueParameters.map { it.descriptor }
|
||||
val actualValueParameters = functionDescriptor.valueParameters
|
||||
if (declaredValueParameters.size != actualValueParameters.size) {
|
||||
error("$functionDescriptor: Value parameters mismatch: $declaredValueParameters != $actualValueParameters")
|
||||
} else {
|
||||
declaredValueParameters.zip(actualValueParameters).forEach { (declaredValueParameter, actualValueParameter) ->
|
||||
require(declaredValueParameter == actualValueParameter) {
|
||||
"$functionDescriptor: Value parameters mismatch: $declaredValueParameter != $actualValueParameter"
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
override fun visitSimpleFunction(declaration: IrSimpleFunction) {
|
||||
visitFunction(declaration)
|
||||
|
||||
require((declaration.origin == IrDeclarationOrigin.FAKE_OVERRIDE) == declaration.isFakeOverride) {
|
||||
"${declaration.render()}: origin: ${declaration.origin}; isFakeOverride: ${declaration.isFakeOverride}"
|
||||
}
|
||||
}
|
||||
|
||||
override fun visitDeclarationReference(expression: IrDeclarationReference) {
|
||||
expression.symbol.checkBinding("ref", expression)
|
||||
}
|
||||
|
||||
override fun visitFunctionReference(expression: IrFunctionReference) {
|
||||
expression.symbol.checkBinding("ref", expression)
|
||||
}
|
||||
|
||||
override fun visitPropertyReference(expression: IrPropertyReference) {
|
||||
expression.field?.checkBinding("field", expression)
|
||||
expression.getter?.checkBinding("getter", expression)
|
||||
expression.setter?.checkBinding("setter", expression)
|
||||
}
|
||||
|
||||
override fun visitLocalDelegatedPropertyReference(expression: IrLocalDelegatedPropertyReference) {
|
||||
expression.delegate.checkBinding("delegate", expression)
|
||||
expression.getter.checkBinding("getter", expression)
|
||||
expression.setter?.checkBinding("setter", expression)
|
||||
}
|
||||
|
||||
private fun IrSymbol.checkBinding(kind: String, irElement: IrElement) {
|
||||
if (!isBound) {
|
||||
error("${javaClass.simpleName} descriptor is unbound @$kind ${irElement.render()}")
|
||||
} else {
|
||||
val irDeclaration = owner as? IrDeclaration
|
||||
if (irDeclaration != null) {
|
||||
try {
|
||||
irDeclaration.parent
|
||||
} catch (e: Throwable) {
|
||||
error("Referenced declaration has no parent: ${irDeclaration.render()}")
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
val otherSymbol = symbolForDeclaration.getOrPut(owner) { this }
|
||||
if (this != otherSymbol) {
|
||||
error("Multiple symbols for descriptor of @$kind ${irElement.render()}")
|
||||
}
|
||||
}
|
||||
|
||||
@OptIn(ObsoleteDescriptorBasedAPI::class)
|
||||
override fun visitClass(declaration: IrClass) {
|
||||
visitDeclaration(declaration)
|
||||
|
||||
checkTypeParameters(declaration.descriptor, declaration, declaration.descriptor.declaredTypeParameters)
|
||||
}
|
||||
|
||||
@ObsoleteDescriptorBasedAPI
|
||||
private fun checkTypeParameters(
|
||||
descriptor: DeclarationDescriptor,
|
||||
declaration: IrTypeParametersContainer,
|
||||
expectedTypeParameters: List<TypeParameterDescriptor>
|
||||
) {
|
||||
val declaredTypeParameters = declaration.typeParameters.map { it.descriptor }
|
||||
|
||||
if (declaredTypeParameters.size != expectedTypeParameters.size) {
|
||||
error("$descriptor: Type parameters mismatch: $declaredTypeParameters != $expectedTypeParameters")
|
||||
} else {
|
||||
declaredTypeParameters.zip(expectedTypeParameters).forEach { (declaredTypeParameter, expectedTypeParameter) ->
|
||||
require(declaredTypeParameter == expectedTypeParameter) {
|
||||
"$descriptor: Type parameters mismatch: $declaredTypeParameter != $expectedTypeParameter"
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
override fun visitTypeOperator(expression: IrTypeOperatorCall) {
|
||||
expression.typeOperandClassifier.checkBinding("type operand", expression)
|
||||
}
|
||||
}
|
||||
|
||||
+8
-2
@@ -21,7 +21,13 @@ import javax.tools.ToolProvider
|
||||
|
||||
@JvmOverloads
|
||||
@Throws(IOException::class)
|
||||
fun compileJavaFiles(files: Collection<File>, options: List<String?>?, javaErrorFile: File? = null, assertions: Assertions): Boolean {
|
||||
fun compileJavaFiles(
|
||||
files: Collection<File>,
|
||||
options: List<String?>?,
|
||||
javaErrorFile: File? = null,
|
||||
assertions: Assertions,
|
||||
ignoreJavaErrors: Boolean = false
|
||||
): Boolean {
|
||||
val javaCompiler = ToolProvider.getSystemJavaCompiler()
|
||||
val diagnosticCollector = DiagnosticCollector<JavaFileObject>()
|
||||
javaCompiler.getStandardFileManager(diagnosticCollector, Locale.ENGLISH, Charset.forName("utf-8")).use { fileManager ->
|
||||
@@ -36,7 +42,7 @@ fun compileJavaFiles(files: Collection<File>, options: List<String?>?, javaError
|
||||
)
|
||||
val success = task.call() // do NOT inline this variable, call() should complete before errorsToString()
|
||||
if (javaErrorFile == null || !javaErrorFile.exists()) {
|
||||
assertions.assertTrue(success) { errorsToString(diagnosticCollector, true) }
|
||||
assertions.assertTrue(success || ignoreJavaErrors) { errorsToString(diagnosticCollector, true) }
|
||||
} else {
|
||||
assertions.assertEqualsToFile(javaErrorFile, errorsToString(diagnosticCollector, false))
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user