Skip to content

Add concrete execution specification #1722

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
SBOne-Kenobi wants to merge 2 commits into
base: main
Choose a base branch
from
Open

Add concrete execution specification #1722

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
c4ec50e
add specification
SBOne-Kenobi Jan 19, 2023
a0722aa
add force exception
SBOne-Kenobi Jan 19, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
add force exception
  • Loading branch information
@SBOne-Kenobi
SBOne-Kenobi committed Jan 19, 2023
commit a0722aa3e75fe5f86e1ac76fc6485e776d4c35c6
48 changes: 31 additions & 17 deletions .../org/utbot/instrumentation/instrumentation/execution/constructors/MockValueConstructor.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -53,6 +53,7 @@ import org.utbot.framework.plugin.api.util.jField
import org.utbot.framework.plugin.api.util.method
import org.utbot.framework.plugin.api.util.utContext
import org.utbot.framework.plugin.api.util.anyInstance
import org.utbot.instrumentation.instrumentation.execution.phases.withForceException
import org.utbot.instrumentation.process.runSandbox

/**
Expand Down Expand Up @@ -234,7 +235,10 @@ class MockValueConstructor(
}

private fun generateMockitoMock(clazz: Class<*>, mocks: Map<ExecutableId, List<UtModel>>): Any {
return Mockito.mock(clazz, generateMockitoAnswer(mocks))
val answer = generateMockitoAnswer(mocks)
return withForceException {
Mockito.mock(clazz, answer)
}
}

private fun computeConcreteValuesForMethods(
Expand All @@ -261,13 +265,15 @@ class MockValueConstructor(
if (method !is MethodId) {
throw IllegalArgumentException("Expected MethodId, but got: $method")
}
MethodMockController(
method.classId.jClass,
method.method,
instance,
values,
instrumentationContext
)
withForceException {
MethodMockController(
method.classId.jClass,
method.method,
instance,
values,
instrumentationContext
)
}
}

}
Expand All @@ -289,11 +295,13 @@ class MockValueConstructor(
instrumentations: List<UtNewInstanceInstrumentation>,
) {
controllers += instrumentations.map { mock ->
InstanceMockController(
mock.classId,
mock.instances.map { mockAndGet(it) },
mock.callSites.map { Type.getType(it.jClass).internalName }.toSet()
)
withForceException {
InstanceMockController(
mock.classId,
mock.instances.map { mockAndGet(it) },
mock.callSites.map { Type.getType(it.jClass).internalName }.toSet()
)
}
}
}

Expand Down Expand Up @@ -393,7 +401,9 @@ class MockValueConstructor(
val capturedArguments = lambdaModel.capturedValues
.map { model -> CapturedArgument(type = model.classId.jClass, value = value(model)) }
.toTypedArray()
constructStaticLambda(samType, declaringClass, lambdaName, *capturedArguments)
withForceException {
constructStaticLambda(samType, declaringClass, lambdaName, *capturedArguments)
}
} else {
val capturedReceiverModel = lambdaModel.capturedValues.firstOrNull()
?: error("Non-static lambda must capture `this` instance, so there must be at least one captured value")
Expand All @@ -403,7 +413,9 @@ class MockValueConstructor(
val capturedArguments = lambdaModel.capturedValues.subList(1, lambdaModel.capturedValues.size)
.map { model -> CapturedArgument(type = model.classId.jClass, value = value(model)) }
.toTypedArray()
constructLambda(samType, declaringClass, lambdaName, capturedReceiver, *capturedArguments)
withForceException {
constructLambda(samType, declaringClass, lambdaName, capturedReceiver, *capturedArguments)
}
}
constructedObjects[lambdaModel] = lambda
return lambda
Expand Down Expand Up @@ -495,7 +507,7 @@ class MockValueConstructor(

private fun javaClass(id: ClassId) = kClass(id).java

private fun kClass(id: ClassId) =
private fun kClass(id: ClassId) = withForceException {
if (id.elementClassId != null) {
arrayClassOf(id.elementClassId!!)
} else {
Expand All @@ -511,8 +523,9 @@ class MockValueConstructor(
else -> classLoader.loadClass(id.name).kotlin
}
}
}

private fun arrayClassOf(elementClassId: ClassId): KClass<*> =
private fun arrayClassOf(elementClassId: ClassId): KClass<*> = withForceException {
if (elementClassId.elementClassId != null) {
val elementClass = arrayClassOf(elementClassId.elementClassId!!)
java.lang.reflect.Array.newInstance(elementClass.java, 0)::class
Expand All @@ -532,6 +545,7 @@ class MockValueConstructor(
}
}
}
}

override fun close() {
controllers.forEach { it.close() }
Expand Down
14 changes: 14 additions & 0 deletions ...ain/kotlin/org/utbot/instrumentation/instrumentation/execution/phases/PhasesController.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,18 @@ import org.utbot.instrumentation.instrumentation.Instrumentation
import org.utbot.instrumentation.instrumentation.et.TraceHandler
import org.utbot.instrumentation.instrumentation.execution.data.UtConcreteExecutionSpecification

internal class UtConcreteExecutionForceException(override val cause: Throwable) : Exception()

internal inline fun <reified T> withForceException(block: () -> T): T {
try {
return block()
} catch (e: UtConcreteExecutionForceException) {
throw e
} catch (e: Throwable) {
throw UtConcreteExecutionForceException(e)
}
}

class PhasesController(
instrumentationContext: InstrumentationContext,
traceHandler: TraceHandler,
Expand All @@ -39,6 +51,8 @@ class PhasesController(
return use {
try {
block()
} catch (e: UtConcreteExecutionForceException) {
throw e.cause
} catch (e: PhaseError) {
if (e.cause.cause is AccessControlException) {
return@use UtConcreteExecutionResult(
Expand Down