Repository navigation
Sourav Hota — R45-T030: Strengthen the tests of isEmpty (GenericArrayListQueue.java) [src/main/java/com/thealgorithms/datastructures/queues/GenericArrayListQueue.java] #30
Description
Student: Sourav Hota
Task: R45-T030 · 10 of 10
Repository: https://github.com/S-AI-Projects/TheAlgorithms-Java
Assigned working branch: student/e26b07f0855
Goal
Work on src/main/java/com/thealgorithms/datastructures/queues/GenericArrayListQueue.java. Prove that a regression test can detect a plausible one-line mistake in isEmpty. Use the fixture and invariant: FIFO order and size agree after each operation; separate instances do not share contents. Fixture: Enqueue A, B and C; remove twice; insert D; drain the queue. The removal order must be A, B, C, D. Exercise the documented empty-state behavior.
Steps
- Read src/main/java/com/thealgorithms/datastructures/queues/GenericArrayListQueue.java, especially
isEmptynear line 29. Record its public inputs, result, mutation behavior and any external dependencies before changing it. - In a temporary copy, alter one boundary comparison, accumulation or return condition relevant to the algorithm.
- Find a valid input for which the original and mutant differ; independently establish the correct output and reduce the input.
- Implement work/R45-T030/check.py as a focused runner that executes the new checks and propagates failures. Native check to incorporate: mvn test (JDK 21 as specified in pom.xml); use JUnit in the corresponding src/test/java package. Record the actual command and nonzero test count.
- Create the checks specified below and run
python3 work/R45-T030/check.py. Save inputs, expected versus actual results and tool versions in work/R45-T030/; a check must exit non-zero when an assertion fails. - Commit the repository change on branch R45-T030; prepare a PR to the organisation fork explaining the result and linking the checks. Keep each task independently reviewable. Remove work/R45-T030/ from a later upstream branch.
Done when
☐ The checked behavior is tied to isEmpty in src/main/java/com/thealgorithms/datastructures/queues/GenericArrayListQueue.java; every assertion has an explicit expected value.
☐ Enqueue A, B and C; remove twice; insert D; drain the queue. The removal order must be A, B, C, D. Exercise the documented empty-state behavior.
☐ Existing supported behavior and the public interface are preserved unless a failing regression demonstrates and documents a defect.
☐ The original passes and the mutant fails the same named assertion for a semantic reason.
☐ The final implementation contains no mutation or test-only branch.
Additional task guidance
Additional curated task guidance
Item:
src/main/java/com/thealgorithms/datastructures/queues/GenericArrayListQueue.java
Task type:
Mutation-resistant tests
Code change (goes into the PR):
Add a focused regression in the normal tests for src/main/java/com/thealgorithms/datastructures/queues/GenericArrayListQueue.java and document the protected condition. Keep the deliberate mutant out of the final source.
Automated check:
python3 work/R45-T030/check.py
Prerequisites:
JDK 21, Maven and Python 3.
Upstream PR rules:
Follow the Java style and Maven checks. The project does not accept standalone LeetCode problem additions; a new feature requires an upstream issue first. Submit coursework to the organisation fork first; keep work/ evidence out of any later upstream PR. Upstream acceptance is not a grading requirement. Policy: https://github.com/TheAlgorithms/Java/blob/6edd2d878947c7fb08a6f3286b316eca09fe9200/CONTRIBUTING.md
Change:
Replaces the shared task template with an item-specific contribution brief.
PR destination:
Upstream candidate after review
Submission checklist
- Complete this task and its checks.
- Add the required evidence and link your pull request here.
- Select this S-AI-Projects fork as the PR base repository.
- Request instructor review.
Keep this PR focused on this task. Do not submit assignment PRs to the upstream repository.
Activity