ArticlesController.java

package edu.ucsb.cs156.example.controllers;

import edu.ucsb.cs156.example.entities.Articles;
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 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;
import java.time.temporal.ChronoUnit;

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

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

    @Autowired
    ArticlesRepository articlesRepository;

    /**
     * List all Articles
     * 
     * @return an iterable of Articles
     */
    @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 an 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;
    }

    /**
     * Create a new article
     * 
     * @param title the title of the article
     * @param url the url of the article
     * @param explanation the explanation of the article
     * @param email the email of the submitter
     * @return the saved article
     */
    @Operation(summary = "Create a new article")
    @PreAuthorize("hasRole('ROLE_ADMIN')")
    @PostMapping("/post")
    public Articles postArticles(
            @Parameter(name="title") @RequestParam String title,
            @Parameter(name="url") @RequestParam String url,
            @Parameter(name="explanation") @RequestParam(required = false) String explanation,
            @Parameter(name="email") @RequestParam String email) {

        Articles article = new Articles();
        article.setTitle(title);
        article.setUrl(url);
        article.setExplanation(explanation);
        article.setEmail(email);
        article.setDateAdded(LocalDateTime.now().truncatedTo(ChronoUnit.MICROS));

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