[
https://issues.apache.org/jira/browse/COLLECTIONS-860?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel
]
Daniele updated COLLECTIONS-860:
--------------------------------
Description:
*CollectionBag.add(E):*
Using "null" as parameter the method throws a "NullPointerException", but not
signed into the specification.
*CollectionBag.add(E, int):*
A "ClassCastException" can be generated, but not signed into the specification.
*Test used:*
{code:java}
TreeBag<Predicate<Object>> treeBag0 = new TreeBag<Predicate<Object>>();
CollectionBag<Predicate<Object>> collectionBag0 = new
CollectionBag<Predicate<Object>>(treeBag0);
Predicate<Object> predicate0 = NonePredicate.nonePredicate((Collection<?
extends Predicate<? super Object>>) collectionBag0);
boolean methodResult_ = collectionBag0.add(predicate0, 24);
{code}
was:
*CollectionBag.add(E):*
Using "null" as parameter the method throws a "NullPointerException", but not
signed into the specification.
*CollectionBag.add(E, int):*
A "ClassCastException" can be generated, but not signed into the specification.
*Test used (generated by EvoSuite):*
{code:java}
/*
* This file was automatically generated by EvoSuite
* Sun May 05 21:30:41 GMT 2024
*/
package org.apache.commons.collections4.bag;
import org.junit.Test;
import static org.junit.Assert.*;
import static shaded.org.evosuite.runtime.EvoAssertions.*;
import java.util.Collection;
import org.apache.commons.collections4.Predicate;
import org.apache.commons.collections4.bag.CollectionBag;
import org.apache.commons.collections4.bag.TreeBag;
import org.apache.commons.collections4.functors.NonePredicate;
import org.junit.runner.RunWith;
import shaded.org.evosuite.runtime.EvoRunner;
import shaded.org.evosuite.runtime.EvoRunnerParameters;
@RunWith(EvoRunner.class)
@EvoRunnerParameters(mockJVMNonDeterminism = true, useVNET = true,
separateClassLoader = true)
public class CollectionBag_4_failure_Test extends
CollectionBag_4_failure_Test_scaffolding {
//Covered goal:
org.apache.commons.collections4.bag.CollectionBag.add(Ljava/lang/Object;I)Z:
true ---> methodResultID==true – path condition
org.apache.commons.collections4.bag.EvoSuiteEvaluator_4_failure (id = 7)
@Test(timeout = 4000)
public void testAdd_Always() throws Throwable {
TreeBag<Predicate<Object>> treeBag0 = new TreeBag<Predicate<Object>>();
CollectionBag<Predicate<Object>> collectionBag0 = new
CollectionBag<Predicate<Object>>(treeBag0);
Predicate<Object> predicate0 =
NonePredicate.nonePredicate((Collection<? extends Predicate<? super Object>>)
collectionBag0);
// Undeclared exception!
try
{ //** Guard on which the oracle of method add depends: true
org.junit.Assume.assumeTrue(true); //** Automatically
generated test oracle is: true, always., with guard: \{ description: true,
always., conditionText: true }
boolean //** Automatically generated test oracle is: true, always.,
with guard: { description: true, always., conditionText: true }
methodResult_ = collectionBag0.add(predicate0, 24);
//** Postcondition on which the oracle of method add depends:
methodResultID==true
org.junit.Assert.assertTrue(methodResult_ == true);
} catch (ClassCastException e)
{ // //
org.apache.commons.collections4.functors.TruePredicate cannot be cast to
java.lang.Comparable //
verifyException("java.util.TreeMap", e); org.junit.Assert.fail();
}
if (true)
throw new RuntimeException("Failure-driven test case completed
without pinpointing any failure. This should not happen. Please check");
}
}
{code}
> Documentation Bug: CollectionBag.add(E), CollectionBag.add(E, int)
> ------------------------------------------------------------------
>
> Key: COLLECTIONS-860
> URL: https://issues.apache.org/jira/browse/COLLECTIONS-860
> Project: Commons Collections
> Issue Type: Bug
> Reporter: Daniele
> Priority: Minor
>
> *CollectionBag.add(E):*
> Using "null" as parameter the method throws a "NullPointerException", but not
> signed into the specification.
> *CollectionBag.add(E, int):*
> A "ClassCastException" can be generated, but not signed into the
> specification.
> *Test used:*
> {code:java}
> TreeBag<Predicate<Object>> treeBag0 = new TreeBag<Predicate<Object>>();
> CollectionBag<Predicate<Object>> collectionBag0 = new
> CollectionBag<Predicate<Object>>(treeBag0);
> Predicate<Object> predicate0 = NonePredicate.nonePredicate((Collection<?
> extends Predicate<? super Object>>) collectionBag0);
> boolean methodResult_ = collectionBag0.add(predicate0, 24);
> {code}
>
--
This message was sent by Atlassian Jira
(v8.20.10#820010)
