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 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 author
	 * @param dateAdded   the date the article was added
	 * 
	 * @return the created article
	 * 
	 */
	@Operation(summary = "Create a new article")
	@PreAuthorize("hasRole('ROLE_ADMIN')")
	@PostMapping("/post")
	public Articles 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; 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 article = new Articles();
		article.setTitle(title);
		article.setUrl(url);
		article.setExplanation(explanation);
		article.setEmail(email);
		article.setDateAdded(dateAdded);

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

		articlesRepository.save(article);

		return article;
	}

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

		articlesRepository.delete(ucsbDate);
		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()] (30 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()] (40 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:an_admin_user_can_post_a_new_article()] (26 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()] (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_exists()] (6 ms)
edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:admin_can_delete_article()] (29 ms)
edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:admin_can_edit_an_existing_article()] (33 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		public class ArticlesController extends ApiController {
39
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 Article by id
58		*
59		* @param id the id of the article
60		* @return an Article
61		*/
62		@Operation(summary = "Get a single Article")
63		@PreAuthorize("hasRole('ROLE_USER')")
64		@GetMapping("")
65		public Articles getById(
66		@Parameter(name = "id") @RequestParam Long id) {
67		Articles article = 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 article;
71		}
72
73		/**
74		* Create a new article
75		*
76		* @param title the title of the article
77		* @param url the url of the article
78		* @param explanation the explanation of the article
79		* @param email the email of the author
80		* @param dateAdded the date the article was added
81		*
82		* @return the created article
83		*
84		*/
85		@Operation(summary = "Create a new article")
86		@PreAuthorize("hasRole('ROLE_ADMIN')")
87		@PostMapping("/post")
88		public Articles 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; see https://en.wikipedia.org/wiki/ISO_8601)") @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		Articles article = new Articles();
102	1 1. postArticle : removed call to edu/ucsb/cs156/example/entities/Articles::setTitle → KILLED	article.setTitle(title);
103	1 1. postArticle : removed call to edu/ucsb/cs156/example/entities/Articles::setUrl → KILLED	article.setUrl(url);
104	1 1. postArticle : removed call to edu/ucsb/cs156/example/entities/Articles::setExplanation → KILLED	article.setExplanation(explanation);
105	1 1. postArticle : removed call to edu/ucsb/cs156/example/entities/Articles::setEmail → KILLED	article.setEmail(email);
106	1 1. postArticle : removed call to edu/ucsb/cs156/example/entities/Articles::setDateAdded → KILLED	article.setDateAdded(dateAdded);
107
108		Articles 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 Articles updateArticle(
124		@Parameter(name = "id") @RequestParam Long id,
125		@RequestBody @Valid Articles incoming) {
126
127		Articles 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(Articles.class, id));
129
130	1 1. updateArticle : removed call to edu/ucsb/cs156/example/entities/Articles::setTitle → KILLED	article.setTitle(incoming.getTitle());
131	1 1. updateArticle : removed call to edu/ucsb/cs156/example/entities/Articles::setUrl → KILLED	article.setUrl(incoming.getUrl());
132	1 1. updateArticle : removed call to edu/ucsb/cs156/example/entities/Articles::setExplanation → KILLED	article.setExplanation(incoming.getExplanation());
133	1 1. updateArticle : removed call to edu/ucsb/cs156/example/entities/Articles::setEmail → KILLED	article.setEmail(incoming.getEmail());
134
135		articlesRepository.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 a 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 a Article")
147		@PreAuthorize("hasRole('ROLE_ADMIN')")
148		@DeleteMapping("")
149		public Object deleteArticle(
150		@Parameter(name = "id") @RequestParam Long id) {
151		Articles ucsbDate = articlesRepository.findById(id)
152	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));
153
154	1 1. deleteArticle : removed call to edu/ucsb/cs156/example/repositories/ArticlesRepository::delete → KILLED	articlesRepository.delete(ucsbDate);
155	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));
156		}
157		}
		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
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/Articles::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/Articles::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/Articles::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/Articles::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/Articles::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/Articles::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/Articles::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/Articles::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/Articles::setEmail → 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
152		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
154		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_article()] removed call to edu/ucsb/cs156/example/repositories/ArticlesRepository::delete → 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_article()] replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::deleteArticle → KILLED

ArticlesController.java

Mutations

Active mutators

Tests examined