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 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;

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

        return articles;
    }

    /**
     * Create a new articles entry
     * 
     * @param title         title of the article
     * @param url           url to the article
     * @param explanation   explanation of the article
     * @param email         article author's email
     * @param dateAdded     date article was added
     * @return the saved article
     */
    @Operation(summary= "Create a new articles entry")
    @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 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 {

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

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

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

        Articles savedArticles = articlesRepository.save(articles);

        return savedArticles;
    }

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

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

    /**
     * Update a single date
     * 
     * @param id       id of the date to update
     * @param incoming the new articles entry
     * @return the updated articles object
     */
    @Operation(summary= "Update a single articles entry")
    @PreAuthorize("hasRole('ROLE_ADMIN')")
    @PutMapping("")
    public Articles updateArticles(
            @Parameter(name="id") @RequestParam Long id,
            @RequestBody @Valid Articles incoming) {

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

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

        articlesRepository.save(articles);

        return articles;
    }
}





















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

ArticlesController.java

Mutations

Active mutators

Tests examined