ArticlesController.java

package edu.ucsb.cs156.example.controllers;

import edu.ucsb.cs156.example.entities.Article;
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 jakarta.validation.Valid;
import java.time.LocalDateTime;
import org.springframework.beans.factory.annotation.Autowired;
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;

/** This is a REST controller for Articles */
@Tag(name = "Articles")
@RequestMapping("/api/articles")
@RestController
public class ArticlesController extends ApiController {

  /** The ArticlesRepository is used to interact with the database for Article entities */
  @Autowired ArticlesRepository articlesRepository;

  /**
   * This method returns a list of all articles.
   *
   * @return a list of all articles
   */
  @Operation(summary = "List all articles")
  @PreAuthorize("hasRole('ROLE_USER')")
  @GetMapping("/all")
  public Iterable<Article> allArticles() {
    Iterable<Article> articles = articlesRepository.findAll();
    return articles;
  }

  /**
   * This method returns a single article.
   *
   * @param id id of the article to get
   * @return a single article
   */
  @Operation(summary = "Get a single article")
  @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;
  }

  /**
   * This method creates a new article. Accessible only to users with the role "ROLE_ADMIN".
   *
   * @param title title of the article
   * @param url url of the article
   * @param explanation explanation of the article
   * @param email email of the person who submitted the article
   * @return the saved article (with its id field set by the database)
   */
  @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) {
    Article article = new Article();

    article.setTitle(title);
    article.setUrl(url);
    article.setExplanation(explanation);
    article.setEmail(email);
    article.setDateAdded(LocalDateTime.now());

    Article savedArticle = articlesRepository.save(article);
    return savedArticle;
  }

  /**
   * Update a single article. Accessible only to users with the role "ROLE_ADMIN".
   *
   * @param id id of the article to update
   * @param incoming the new article contents
   * @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;
  }

  /**
   * Deletes an article. Accessible only to users with the role "ROLE_ADMIN".
   *
   * @param id id of the article to delete
   * @return a message indicating that 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_user_can_get_all_articles()] (27 ms)
edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:admin_can_edit_an_existing_article()] (43 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: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()] (65 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:an_admin_user_can_post_a_new_article()] (21 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)

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