ArticlesController.java

package edu.ucsb.cs156.example.controllers;

import edu.ucsb.cs156.example.entities.Articles;
import edu.ucsb.cs156.example.entities.UCSBDate;
import edu.ucsb.cs156.example.errors.EntityNotFoundException;
import edu.ucsb.cs156.example.repositories.ArticlesRepository;
import edu.ucsb.cs156.example.repositories.UCSBDateRepository;

import io.swagger.v3.oas.annotations.Operation;
import io.swagger.v3.oas.annotations.Parameter;
import io.swagger.v3.oas.annotations.tags.Tag;
import lombok.extern.slf4j.Slf4j;

import com.fasterxml.jackson.core.JsonProcessingException;

import org.springframework.beans.factory.annotation.Autowired;
import org.springframework.format.annotation.DateTimeFormat;
import org.springframework.security.access.prepost.PreAuthorize;
import org.springframework.web.bind.annotation.DeleteMapping;
import org.springframework.web.bind.annotation.GetMapping;
import org.springframework.web.bind.annotation.PostMapping;
import org.springframework.web.bind.annotation.PutMapping;
import org.springframework.web.bind.annotation.RequestBody;
import org.springframework.web.bind.annotation.RequestMapping;
import org.springframework.web.bind.annotation.RequestParam;
import org.springframework.web.bind.annotation.RestController;

import jakarta.validation.Valid;

import java.time.LocalDateTime;

/**
 * This is a REST controller for Articles
 */

@Tag(name = "Articles")
@RequestMapping("/api/Articles")
@RestController
@Slf4j
public class ArticlesController extends ApiController {
    @Autowired
    ArticlesRepository articlesRepository;

    @Operation(summary= "List all articles")
    @PreAuthorize("hasRole('ROLE_USER')")
    @GetMapping("/all")
    public Iterable<Articles> allArticles() {
        Iterable<Articles> articles = articlesRepository.findAll();
        return articles;
    }

    /**
     * Get a single article by id
     * 
     * @param id the id of the article
     * @return a article
     */
    @Operation(summary= "Get a single article")
    @PreAuthorize("hasRole('ROLE_USER')")
    @GetMapping("")
    public Articles getById(
            @Parameter(name="id") @RequestParam Long id) {
        Articles article = articlesRepository.findById(id)
                .orElseThrow(() -> new EntityNotFoundException(Articles.class, id));

        return article;
    }

    @Operation(summary= "Create a new article")
    @PreAuthorize("hasRole('ROLE_ADMIN')")
    @PostMapping("/post")
    public Articles postArticlesDate(
            @Parameter(name="title") @RequestParam String title,
            @Parameter(name="url") @RequestParam String url,
            @Parameter(name="explanation") @RequestParam String explanation,
            @Parameter(name="email") @RequestParam String email,
            @Parameter(name="dateAdded", description="date (in iso format, e.g. YYYY-mm-ddTHH:MM:SS; see https://en.wikipedia.org/wiki/ISO_8601)") @RequestParam("dateAdded") @DateTimeFormat(iso = DateTimeFormat.ISO.DATE_TIME) LocalDateTime dateAdded)
            throws JsonProcessingException {

        log.info("dateAdded={}", dateAdded);

        Articles article = new Articles();
        article.setTitle(title);
        article.setUrl(url);
        article.setExplanation(explanation);
        article.setEmail(email);
        article.setDateAdded(dateAdded);

        Articles savedArticles = articlesRepository.save(article);

        return savedArticles;
    }

    /**
     * Update a single article
     * 
     * @param id       id of the article to update
     * @param incoming the new article
     * @return the updated article object
     */

    @Operation(summary= "Update a single article")
    @PreAuthorize("hasRole('ROLE_ADMIN')")
    @PutMapping("")
    public Articles updateArticle(
            @Parameter(name="id") @RequestParam Long id,
            @RequestBody @Valid Articles incoming) {

        Articles article = articlesRepository.findById(id)
                .orElseThrow(() -> new EntityNotFoundException(Articles.class, id));

        article.setTitle(incoming.getTitle());
        article.setUrl(incoming.getUrl());
        article.setExplanation(incoming.getExplanation());
        article.setEmail(incoming.getEmail());
        article.setDateAdded(incoming.getDateAdded());

        articlesRepository.save(article);

        return article;
    }

    /**
     * Delete an article
     * 
     * @param id the id of the article to delete
     * @return a message indicating the article was deleted
     */
    @Operation(summary = "Delete an article")
    @PreAuthorize("hasRole('ROLE_ADMIN')")
    @DeleteMapping("")
    public Object deleteArticle(
            @Parameter(name = "id") @RequestParam Long id) {
        Articles article = articlesRepository.findById(id)
                .orElseThrow(() -> new EntityNotFoundException(Articles.class, id));

        articlesRepository.delete(article);
        return genericMessage("Article with id %s deleted".formatted(id));
    }

}





















Active mutators

CONDITIONALS_BOUNDARY
EMPTY_RETURNS
FALSE_RETURNS
INCREMENTS
INVERT_NEGS
MATH
NEGATE_CONDITIONALS
NULL_RETURNS
PRIMITIVE_RETURNS
TRUE_RETURNS
VOID_METHOD_CALLS

Tests examined

edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:logged_in_users_can_get_all()] (33 ms)
edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:logged_in_user_can_get_all_articles()] (35 ms)
edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:admin_can_edit_an_existing_article()] (33 ms)
edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:test_that_logged_in_user_can_get_by_id_when_the_id_does_not_exist()] (14 ms)
edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:admin_cannot_edit_article_that_does_not_exist()] (21 ms)
edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:an_admin_user_can_post_a_new_article()] (22 ms)
edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:admin_tries_to_delete_non_existant_article_and_gets_right_error_message()] (37 ms)
edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:test_that_logged_in_user_can_get_by_id_when_the_id_exists()] (10 ms)
edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:admin_can_delete_an_article()] (13 ms)

Report generated by PIT 1.17.0

1		package edu.ucsb.cs156.example.controllers;
2
3		import edu.ucsb.cs156.example.entities.Articles;
4		import edu.ucsb.cs156.example.entities.UCSBDate;
5		import edu.ucsb.cs156.example.errors.EntityNotFoundException;
6		import edu.ucsb.cs156.example.repositories.ArticlesRepository;
7		import edu.ucsb.cs156.example.repositories.UCSBDateRepository;
8
9		import io.swagger.v3.oas.annotations.Operation;
10		import io.swagger.v3.oas.annotations.Parameter;
11		import io.swagger.v3.oas.annotations.tags.Tag;
12		import lombok.extern.slf4j.Slf4j;
13
14		import com.fasterxml.jackson.core.JsonProcessingException;
15
16		import org.springframework.beans.factory.annotation.Autowired;
17		import org.springframework.format.annotation.DateTimeFormat;
18		import org.springframework.security.access.prepost.PreAuthorize;
19		import org.springframework.web.bind.annotation.DeleteMapping;
20		import org.springframework.web.bind.annotation.GetMapping;
21		import org.springframework.web.bind.annotation.PostMapping;
22		import org.springframework.web.bind.annotation.PutMapping;
23		import org.springframework.web.bind.annotation.RequestBody;
24		import org.springframework.web.bind.annotation.RequestMapping;
25		import org.springframework.web.bind.annotation.RequestParam;
26		import org.springframework.web.bind.annotation.RestController;
27
28		import jakarta.validation.Valid;
29
30		import java.time.LocalDateTime;
31
32		/**
33		* This is a REST controller for Articles
34		*/
35
36		@Tag(name = "Articles")
37		@RequestMapping("/api/Articles")
38		@RestController
39		@Slf4j
40		public class ArticlesController extends ApiController {
41		@Autowired
42		ArticlesRepository articlesRepository;
43
44		@Operation(summary= "List all articles")
45		@PreAuthorize("hasRole('ROLE_USER')")
46		@GetMapping("/all")
47		public Iterable<Articles> allArticles() {
48		Iterable<Articles> articles = articlesRepository.findAll();
49	1 1. allArticles : replaced return value with Collections.emptyList for edu/ucsb/cs156/example/controllers/ArticlesController::allArticles → KILLED	return articles;
50		}
51
52		/**
53		* Get a single article by id
54		*
55		* @param id the id of the article
56		* @return a article
57		*/
58		@Operation(summary= "Get a single article")
59		@PreAuthorize("hasRole('ROLE_USER')")
60		@GetMapping("")
61		public Articles getById(
62		@Parameter(name="id") @RequestParam Long id) {
63		Articles article = articlesRepository.findById(id)
64	1 1. lambda$getById$0 : replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::lambda$getById$0 → KILLED	.orElseThrow(() -> new EntityNotFoundException(Articles.class, id));
65
66	1 1. getById : replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::getById → KILLED	return article;
67		}
68
69		@Operation(summary= "Create a new article")
70		@PreAuthorize("hasRole('ROLE_ADMIN')")
71		@PostMapping("/post")
72		public Articles postArticlesDate(
73		@Parameter(name="title") @RequestParam String title,
74		@Parameter(name="url") @RequestParam String url,
75		@Parameter(name="explanation") @RequestParam String explanation,
76		@Parameter(name="email") @RequestParam String email,
77		@Parameter(name="dateAdded", description="date (in iso format, e.g. YYYY-mm-ddTHH:MM:SS; see https://en.wikipedia.org/wiki/ISO_8601)") @RequestParam("dateAdded") @DateTimeFormat(iso = DateTimeFormat.ISO.DATE_TIME) LocalDateTime dateAdded)
78		throws JsonProcessingException {
79
80		log.info("dateAdded={}", dateAdded);
81
82		Articles article = new Articles();
83	1 1. postArticlesDate : removed call to edu/ucsb/cs156/example/entities/Articles::setTitle → KILLED	article.setTitle(title);
84	1 1. postArticlesDate : removed call to edu/ucsb/cs156/example/entities/Articles::setUrl → KILLED	article.setUrl(url);
85	1 1. postArticlesDate : removed call to edu/ucsb/cs156/example/entities/Articles::setExplanation → KILLED	article.setExplanation(explanation);
86	1 1. postArticlesDate : removed call to edu/ucsb/cs156/example/entities/Articles::setEmail → KILLED	article.setEmail(email);
87	1 1. postArticlesDate : removed call to edu/ucsb/cs156/example/entities/Articles::setDateAdded → KILLED	article.setDateAdded(dateAdded);
88
89		Articles savedArticles = articlesRepository.save(article);
90
91	1 1. postArticlesDate : replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::postArticlesDate → KILLED	return savedArticles;
92		}
93
94		/**
95		* Update a single article
96		*
97		* @param id id of the article to update
98		* @param incoming the new article
99		* @return the updated article object
100		*/
101
102		@Operation(summary= "Update a single article")
103		@PreAuthorize("hasRole('ROLE_ADMIN')")
104		@PutMapping("")
105		public Articles updateArticle(
106		@Parameter(name="id") @RequestParam Long id,
107		@RequestBody @Valid Articles incoming) {
108
109		Articles article = articlesRepository.findById(id)
110	1 1. lambda$updateArticle$1 : replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::lambda$updateArticle$1 → KILLED	.orElseThrow(() -> new EntityNotFoundException(Articles.class, id));
111
112	1 1. updateArticle : removed call to edu/ucsb/cs156/example/entities/Articles::setTitle → KILLED	article.setTitle(incoming.getTitle());
113	1 1. updateArticle : removed call to edu/ucsb/cs156/example/entities/Articles::setUrl → KILLED	article.setUrl(incoming.getUrl());
114	1 1. updateArticle : removed call to edu/ucsb/cs156/example/entities/Articles::setExplanation → KILLED	article.setExplanation(incoming.getExplanation());
115	1 1. updateArticle : removed call to edu/ucsb/cs156/example/entities/Articles::setEmail → KILLED	article.setEmail(incoming.getEmail());
116	1 1. updateArticle : removed call to edu/ucsb/cs156/example/entities/Articles::setDateAdded → KILLED	article.setDateAdded(incoming.getDateAdded());
117
118		articlesRepository.save(article);
119
120	1 1. updateArticle : replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::updateArticle → KILLED	return article;
121		}
122
123		/**
124		* Delete an article
125		*
126		* @param id the id of the article to delete
127		* @return a message indicating the article was deleted
128		*/
129		@Operation(summary = "Delete an article")
130		@PreAuthorize("hasRole('ROLE_ADMIN')")
131		@DeleteMapping("")
132		public Object deleteArticle(
133		@Parameter(name = "id") @RequestParam Long id) {
134		Articles article = articlesRepository.findById(id)
135	1 1. lambda$deleteArticle$2 : replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::lambda$deleteArticle$2 → KILLED	.orElseThrow(() -> new EntityNotFoundException(Articles.class, id));
136
137	1 1. deleteArticle : removed call to edu/ucsb/cs156/example/repositories/ArticlesRepository::delete → KILLED	articlesRepository.delete(article);
138	1 1. deleteArticle : replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::deleteArticle → KILLED	return genericMessage("Article with id %s deleted".formatted(id));
139		}
140
141		}
		Mutations
49		1.1 Location : allArticles Killed by : edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:logged_in_user_can_get_all_articles()] replaced return value with Collections.emptyList for edu/ucsb/cs156/example/controllers/ArticlesController::allArticles → KILLED
64		1.1 Location : lambda$getById$0 Killed by : edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:test_that_logged_in_user_can_get_by_id_when_the_id_does_not_exist()] replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::lambda$getById$0 → KILLED
66		1.1 Location : getById Killed by : edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:test_that_logged_in_user_can_get_by_id_when_the_id_exists()] replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::getById → KILLED
83		1.1 Location : postArticlesDate Killed by : edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:an_admin_user_can_post_a_new_article()] removed call to edu/ucsb/cs156/example/entities/Articles::setTitle → KILLED
84		1.1 Location : postArticlesDate Killed by : edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:an_admin_user_can_post_a_new_article()] removed call to edu/ucsb/cs156/example/entities/Articles::setUrl → KILLED
85		1.1 Location : postArticlesDate Killed by : edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:an_admin_user_can_post_a_new_article()] removed call to edu/ucsb/cs156/example/entities/Articles::setExplanation → KILLED
86		1.1 Location : postArticlesDate Killed by : edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:an_admin_user_can_post_a_new_article()] removed call to edu/ucsb/cs156/example/entities/Articles::setEmail → KILLED
87		1.1 Location : postArticlesDate Killed by : edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:an_admin_user_can_post_a_new_article()] removed call to edu/ucsb/cs156/example/entities/Articles::setDateAdded → KILLED
91		1.1 Location : postArticlesDate Killed by : edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:an_admin_user_can_post_a_new_article()] replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::postArticlesDate → KILLED
110		1.1 Location : lambda$updateArticle$1 Killed by : edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:admin_cannot_edit_article_that_does_not_exist()] replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::lambda$updateArticle$1 → KILLED
112		1.1 Location : updateArticle Killed by : edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:admin_can_edit_an_existing_article()] removed call to edu/ucsb/cs156/example/entities/Articles::setTitle → KILLED
113		1.1 Location : updateArticle Killed by : edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:admin_can_edit_an_existing_article()] removed call to edu/ucsb/cs156/example/entities/Articles::setUrl → KILLED
114		1.1 Location : updateArticle Killed by : edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:admin_can_edit_an_existing_article()] removed call to edu/ucsb/cs156/example/entities/Articles::setExplanation → KILLED
115		1.1 Location : updateArticle Killed by : edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:admin_can_edit_an_existing_article()] removed call to edu/ucsb/cs156/example/entities/Articles::setEmail → KILLED
116		1.1 Location : updateArticle Killed by : edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:admin_can_edit_an_existing_article()] removed call to edu/ucsb/cs156/example/entities/Articles::setDateAdded → KILLED
120		1.1 Location : updateArticle Killed by : edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:admin_can_edit_an_existing_article()] replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::updateArticle → KILLED
135		1.1 Location : lambda$deleteArticle$2 Killed by : edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:admin_tries_to_delete_non_existant_article_and_gets_right_error_message()] replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::lambda$deleteArticle$2 → KILLED
137		1.1 Location : deleteArticle Killed by : edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:admin_can_delete_an_article()] removed call to edu/ucsb/cs156/example/repositories/ArticlesRepository::delete → KILLED
138		1.1 Location : deleteArticle Killed by : edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:admin_can_delete_an_article()] replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::deleteArticle → KILLED

ArticlesController.java

Mutations

Active mutators

Tests examined