ArticlesController.java

package edu.ucsb.cs156.example.controllers;

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

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 UCSBDates
 */

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


    /**
     * List all Articles
     * 
     * @return an iterable of Article 
     */
    @Operation(summary= "List all articles")
    @PreAuthorize("hasRole('ROLE_USER')")
    @GetMapping("/all")
    public Iterable<Article> allArticles() {
        Iterable<Article> 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 by id")
    @PreAuthorize("hasRole('ROLE_USER')")
    @GetMapping("")
    public Article getById(
            @Parameter(name="id") @RequestParam Long id) {
        Article article = articlesRepository.findById(id)
                .orElseThrow(() -> new EntityNotFoundException(Article.class, id));

        return article;
    }

    /**
     * Create a new Article 
     * 
     * @param title the article's title
     * @param url the article's url
     * @param explanation the article's explanation
     * @param email the author's email
     * @param dateAdded date article was added, no timezone information
     * @return the saved Article
     */
    @Operation(summary= "Create a new article")
    @PreAuthorize("hasRole('ROLE_ADMIN')")
    @PostMapping("/post")
    public Article postArticle(
            @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)") @RequestParam("dateAdded") @DateTimeFormat(iso = DateTimeFormat.ISO.DATE_TIME) LocalDateTime dateAdded)
            throws JsonProcessingException {

        // For an explanation of @DateTimeFormat(iso = DateTimeFormat.ISO.DATE_TIME)
        // See: https://www.baeldung.com/spring-date-parameters

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

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

        Article savedArticle = articlesRepository.save(article);

        return savedArticle;
    }

   /**
     * 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 Article updateArticle(
            @Parameter(name="id") @RequestParam Long id,
            @RequestBody @Valid Article incoming) {

        Article article = articlesRepository.findById(id)
                .orElseThrow(() -> new EntityNotFoundException(Article.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) {
        Article article = articlesRepository.findById(id)
                .orElseThrow(() -> new EntityNotFoundException(Article.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()] (7 ms)
edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:logged_in_user_can_get_all_ucsbdates()] (85 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()] (8 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()] (10 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()] (18 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()] (25 ms)
edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:admin_can_edit_an_existing_article()] (42 ms)
edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:admin_can_delete_an_article()] (11 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()] (7 ms)

Report generated by PIT 1.17.0

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