ArticlesController.java

package edu.ucsb.cs156.example.controllers;

import com.fasterxml.jackson.core.JsonProcessingException;
import edu.ucsb.cs156.example.entities.Article;
import edu.ucsb.cs156.example.errors.EntityNotFoundException;
import edu.ucsb.cs156.example.repositories.ArticleRepository;
import io.swagger.v3.oas.annotations.Operation;
import io.swagger.v3.oas.annotations.Parameter;
import io.swagger.v3.oas.annotations.tags.Tag;
// import jakarta.persistence.EntityNotFoundException;
import jakarta.validation.Valid;
import java.time.LocalDateTime;
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;

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

  @Autowired ArticleRepository articleRepository;

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

  /**
   * Create a article
   *
   * @param title the articles title
   * @param url the articles url
   * @param email the email of the person that submitted the article
   * @param explanation the explanation of the article
   * @param dateAdded the timestamp of when the article was added (in iso format, e.g.
   *     YYYY-mm-ddTHH:MM:SS; see https://en.wikipedia.org/wiki/ISO_8601)
   * @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 = "email") @RequestParam String email,
      @Parameter(name = "explanation") @RequestParam String explanation,
      @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);

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

    Article savedArticle = articleRepository.save(article);

    return savedArticle;
  }

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

    return article;
  }

  /**
   * 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 =
        articleRepository
            .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());

    articleRepository.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 =
        articleRepository
            .findById(id)
            .orElseThrow(() -> new EntityNotFoundException(Article.class, id));

    articleRepository.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()] (8 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()] (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()] (66 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()] (17 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()] (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()] (14 ms)
edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:admin_can_delete_a_article()] (56 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_exist()] (15 ms)

Report generated by PIT 1.17.0

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

ArticlesController.java

Mutations

Active mutators

Tests examined