Skip to content

Commit 6486329

Browse files
committed
Remove commented out code that previously filtered out anonymous classes and lambdas
1 parent 069e3a5 commit 6486329

File tree

1 file changed

+0
-20
lines changed
  • utbot-framework/src/main/kotlin/org/utbot/engine

1 file changed

+0
-20
lines changed

utbot-framework/src/main/kotlin/org/utbot/engine/Traverser.kt

Lines changed: 0 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,6 @@ import kotlinx.collections.immutable.toPersistentSet
99
import org.utbot.common.WorkaroundReason.HACK
1010
import org.utbot.framework.UtSettings.ignoreStaticsFromTrustedLibraries
1111
import org.utbot.common.WorkaroundReason.IGNORE_STATICS_FROM_TRUSTED_LIBRARIES
12-
import org.utbot.common.WorkaroundReason.REMOVE_ANONYMOUS_CLASSES
1312
import org.utbot.common.unreachableBranch
1413
import org.utbot.common.withAccessibility
1514
import org.utbot.common.workaround
@@ -3380,25 +3379,6 @@ class Traverser(
33803379
val returnValue = (symbolicResult as? SymbolicSuccess)?.value as? ObjectValue
33813380
if (returnValue != null) {
33823381
queuedSymbolicStateUpdates += constructConstraintForType(returnValue, returnValue.possibleConcreteTypes).asSoftConstraint()
3383-
3384-
// TODO: do not remove anonymous classes for return value when it is the only option
3385-
// workaround(REMOVE_ANONYMOUS_CLASSES) {
3386-
// val sootClass = returnValue.type.sootClass
3387-
// val isInNestedMethod = environment.state.isInNestedMethod()
3388-
//
3389-
// if (!isInNestedMethod && sootClass.isArtificialEntity) {
3390-
// return
3391-
// }
3392-
//
3393-
// val onlyAnonymousTypesAndLambdasAvailable = returnValue.typeStorage.possibleConcreteTypes.all {
3394-
// // only ref types can be anonymous or lambdas
3395-
// val type = (it as? RefType)?.sootClass ?: return@all false
3396-
// type.isLambda || type.isAnonymous
3397-
// }
3398-
// if (!isInNestedMethod && sootClass.isAnonymous && !onlyAnonymousTypesAndLambdasAvailable) {
3399-
// return
3400-
// }
3401-
// }
34023382
}
34033383

34043384
//fill arrays with default 0/null and other stuff

0 commit comments

Comments
 (0)