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 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.http.HttpStatus;
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 org.springframework.web.server.ResponseStatusException;

import jakarta.validation.Valid;

import java.time.LocalDateTime;
import java.time.format.DateTimeFormatter;
import java.time.format.DateTimeParseException;
import java.util.List;

/**
 * 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<Article> allArticles() {
        return articlesRepository.findAll();
    }

    /**
     * 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 Article getById(
            @Parameter(name="id") @RequestParam Long id) {
        Article article = articlesRepository.findById(id)
                .orElseThrow(() -> new EntityNotFoundException(Article.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 person who added the article
     * @param dateAdded the date the article was added
     * @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="explanation") @RequestParam String explanation,
            @Parameter(name="email") @RequestParam String email,
            @Parameter(name="dateAdded") @RequestParam String dateAdded)
            throws JsonProcessingException {

        LocalDateTime dateTime;
        try {
            dateTime = parseDateTime(dateAdded);
        } catch (DateTimeParseException e) {
            throw new ResponseStatusException(HttpStatus.BAD_REQUEST, "Invalid date format. Use ISO date format (YYYY-MM-DD) or ISO date-time format (YYYY-MM-DDThh:mm:ss)");
        }

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

        Article article = Article.builder()
                .title(title)
                .url(url)
                .explanation(explanation)
                .email(email)
                .dateAdded(dateTime)
                .build();

        Article savedArticle = articlesRepository.save(article);

        return savedArticle;
    }

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

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

    /**
     * Update a single article
     * 
     * @param id the id of the article to update
     * @param incoming the new article data
     * @return the updated article
     */
    @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;
    }

    /**
     * Get articles within a date range
     * 
     * @param startDate the start date in ISO format (yyyy-MM-dd or yyyy-MM-ddTHH:mm:ss)
     * @param endDate the end date in ISO format (yyyy-MM-dd or yyyy-MM-ddTHH:mm:ss)
     * @return a list of Articles within the date range
     */
    @Operation(summary= "Get articles within a date range")
    @PreAuthorize("hasRole('ROLE_USER')")
    @GetMapping("/bydate")
    public List<Article> getArticlesByDateRange(
            @Parameter(name="startDate") @RequestParam String startDate,
            @Parameter(name="endDate") @RequestParam String endDate) {
        
        LocalDateTime start, end;
        try {
            start = parseDateTime(startDate);
            end = parseDateTime(endDate);
        } catch (DateTimeParseException e) {
            throw new ResponseStatusException(HttpStatus.BAD_REQUEST, "Invalid date format. Use ISO date format (YYYY-MM-DD) or ISO date-time format (YYYY-MM-DDThh:mm:ss)");
        }
        
        return articlesRepository.findByDateAddedBetween(start, end);
    }
    
    /**
     * Helper method to parse date strings in either date-only or date-time format
     */
    private LocalDateTime parseDateTime(String dateString) {
        if (dateString.contains("T")) {
            // Full date-time format
            return LocalDateTime.parse(dateString);
        } else {
            // Date-only format, append T00:00:00 for midnight
            return LocalDateTime.parse(dateString + "T00:00:00");
        }
    }
}




















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:admin_tries_to_delete_non_existent_article_and_gets_right_error_message()] (14 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()] (11 ms)
edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:admin_can_edit_article_email_field()] (10 ms)
edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:admin_can_edit_an_existing_article()] (47 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()] (20 ms)
edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:admin_can_delete_an_article()] (21 ms)
edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:test_get_articles_by_date_range_with_time()] (8 ms)
edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:test_helper_method_parseDateTime()] (26 ms)
edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:test_get_articles_by_date_range()] (35 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)
edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:test_post_article_with_invalid_date_format()] (17 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_with_date_only()] (14 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()] (15 ms)
edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:test_get_articles_by_date_range_invalid_date_format()] (66 ms)
edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:logged_in_users_can_get_all()] (7 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()] (8 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
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.http.HttpStatus;
17		import org.springframework.security.access.prepost.PreAuthorize;
18		import org.springframework.web.bind.annotation.DeleteMapping;
19		import org.springframework.web.bind.annotation.GetMapping;
20		import org.springframework.web.bind.annotation.PostMapping;
21		import org.springframework.web.bind.annotation.PutMapping;
22		import org.springframework.web.bind.annotation.RequestBody;
23		import org.springframework.web.bind.annotation.RequestMapping;
24		import org.springframework.web.bind.annotation.RequestParam;
25		import org.springframework.web.bind.annotation.RestController;
26		import org.springframework.web.server.ResponseStatusException;
27
28		import jakarta.validation.Valid;
29
30		import java.time.LocalDateTime;
31		import java.time.format.DateTimeFormatter;
32		import java.time.format.DateTimeParseException;
33		import java.util.List;
34
35		/**
36		* This is a REST controller for Articles
37		*/
38
39		@Tag(name = "Articles")
40		@RequestMapping("/api/articles")
41		@RestController
42		@Slf4j
43		public class ArticlesController extends ApiController {
44
45		@Autowired
46		ArticlesRepository articlesRepository;
47
48		/**
49		* List all articles
50		*
51		* @return an iterable of Articles
52		*/
53		@Operation(summary= "List all articles")
54		@PreAuthorize("hasRole('ROLE_USER')")
55		@GetMapping("/all")
56		public Iterable<Article> allArticles() {
57	1 1. allArticles : replaced return value with Collections.emptyList for edu/ucsb/cs156/example/controllers/ArticlesController::allArticles → KILLED	return articlesRepository.findAll();
58		}
59
60		/**
61		* Get a single article by id
62		*
63		* @param id the id of the article
64		* @return an Article
65		*/
66		@Operation(summary= "Get a single article")
67		@PreAuthorize("hasRole('ROLE_USER')")
68		@GetMapping("")
69		public Article getById(
70		@Parameter(name="id") @RequestParam Long id) {
71		Article article = articlesRepository.findById(id)
72	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));
73
74	1 1. getById : replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::getById → KILLED	return article;
75		}
76
77		/**
78		* Create a new article
79		*
80		* @param title the title of the article
81		* @param url the url of the article
82		* @param explanation the explanation of the article
83		* @param email the email of the person who added the article
84		* @param dateAdded the date the article was added
85		* @return the saved article
86		*/
87		@Operation(summary= "Create a new article")
88		@PreAuthorize("hasRole('ROLE_ADMIN')")
89		@PostMapping("/post")
90		public Article postArticle(
91		@Parameter(name="title") @RequestParam String title,
92		@Parameter(name="url") @RequestParam String url,
93		@Parameter(name="explanation") @RequestParam String explanation,
94		@Parameter(name="email") @RequestParam String email,
95		@Parameter(name="dateAdded") @RequestParam String dateAdded)
96		throws JsonProcessingException {
97
98		LocalDateTime dateTime;
99		try {
100		dateTime = parseDateTime(dateAdded);
101		} catch (DateTimeParseException e) {
102		throw new ResponseStatusException(HttpStatus.BAD_REQUEST, "Invalid date format. Use ISO date format (YYYY-MM-DD) or ISO date-time format (YYYY-MM-DDThh:mm:ss)");
103		}
104
105		log.info("dateAdded={}", dateTime);
106
107		Article article = Article.builder()
108		.title(title)
109		.url(url)
110		.explanation(explanation)
111		.email(email)
112		.dateAdded(dateTime)
113		.build();
114
115		Article savedArticle = articlesRepository.save(article);
116
117	1 1. postArticle : replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::postArticle → KILLED	return savedArticle;
118		}
119
120		/**
121		* Delete an Article
122		*
123		* @param id the id of the article to delete
124		* @return a message indicating the article was deleted
125		*/
126		@Operation(summary= "Delete an Article")
127		@PreAuthorize("hasRole('ROLE_ADMIN')")
128		@DeleteMapping("")
129		public Object deleteArticle(
130		@Parameter(name="id") @RequestParam Long id) {
131		Article article = articlesRepository.findById(id)
132	1 1. lambda$deleteArticle$1 : replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::lambda$deleteArticle$1 → KILLED	.orElseThrow(() -> new EntityNotFoundException(Article.class, id));
133
134	1 1. deleteArticle : removed call to edu/ucsb/cs156/example/repositories/ArticlesRepository::delete → KILLED	articlesRepository.delete(article);
135	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));
136		}
137
138		/**
139		* Update a single article
140		*
141		* @param id the id of the article to update
142		* @param incoming the new article data
143		* @return the updated article
144		*/
145		@Operation(summary= "Update a single article")
146		@PreAuthorize("hasRole('ROLE_ADMIN')")
147		@PutMapping("")
148		public Article updateArticle(
149		@Parameter(name="id") @RequestParam Long id,
150		@RequestBody @Valid Article incoming) {
151
152		Article article = articlesRepository.findById(id)
153	1 1. lambda$updateArticle$2 : replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::lambda$updateArticle$2 → KILLED	.orElseThrow(() -> new EntityNotFoundException(Article.class, id));
154
155	1 1. updateArticle : removed call to edu/ucsb/cs156/example/entities/Article::setTitle → KILLED	article.setTitle(incoming.getTitle());
156	1 1. updateArticle : removed call to edu/ucsb/cs156/example/entities/Article::setUrl → KILLED	article.setUrl(incoming.getUrl());
157	1 1. updateArticle : removed call to edu/ucsb/cs156/example/entities/Article::setExplanation → KILLED	article.setExplanation(incoming.getExplanation());
158	1 1. updateArticle : removed call to edu/ucsb/cs156/example/entities/Article::setEmail → KILLED	article.setEmail(incoming.getEmail());
159	1 1. updateArticle : removed call to edu/ucsb/cs156/example/entities/Article::setDateAdded → KILLED	article.setDateAdded(incoming.getDateAdded());
160
161		articlesRepository.save(article);
162
163	1 1. updateArticle : replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::updateArticle → KILLED	return article;
164		}
165
166		/**
167		* Get articles within a date range
168		*
169		* @param startDate the start date in ISO format (yyyy-MM-dd or yyyy-MM-ddTHH:mm:ss)
170		* @param endDate the end date in ISO format (yyyy-MM-dd or yyyy-MM-ddTHH:mm:ss)
171		* @return a list of Articles within the date range
172		*/
173		@Operation(summary= "Get articles within a date range")
174		@PreAuthorize("hasRole('ROLE_USER')")
175		@GetMapping("/bydate")
176		public List<Article> getArticlesByDateRange(
177		@Parameter(name="startDate") @RequestParam String startDate,
178		@Parameter(name="endDate") @RequestParam String endDate) {
179
180		LocalDateTime start, end;
181		try {
182		start = parseDateTime(startDate);
183		end = parseDateTime(endDate);
184		} catch (DateTimeParseException e) {
185		throw new ResponseStatusException(HttpStatus.BAD_REQUEST, "Invalid date format. Use ISO date format (YYYY-MM-DD) or ISO date-time format (YYYY-MM-DDThh:mm:ss)");
186		}
187
188	1 1. getArticlesByDateRange : replaced return value with Collections.emptyList for edu/ucsb/cs156/example/controllers/ArticlesController::getArticlesByDateRange → KILLED	return articlesRepository.findByDateAddedBetween(start, end);
189		}
190
191		/**
192		* Helper method to parse date strings in either date-only or date-time format
193		*/
194		private LocalDateTime parseDateTime(String dateString) {
195	1 1. parseDateTime : negated conditional → KILLED	if (dateString.contains("T")) {
196		// Full date-time format
197	1 1. parseDateTime : replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::parseDateTime → KILLED	return LocalDateTime.parse(dateString);
198		} else {
199		// Date-only format, append T00:00:00 for midnight
200	1 1. parseDateTime : replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::parseDateTime → KILLED	return LocalDateTime.parse(dateString + "T00:00:00");
201		}
202		}
203		}
		Mutations
57		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
72		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
74		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
117		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_with_date_only()] replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::postArticle → KILLED
132		1.1 Location : lambda$deleteArticle$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_existent_article_and_gets_right_error_message()] replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::lambda$deleteArticle$1 → KILLED
134		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
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()] replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::deleteArticle → KILLED
153		1.1 Location : lambda$updateArticle$2 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$2 → KILLED
155		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
156		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
157		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
158		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_article_email_field()] removed call to edu/ucsb/cs156/example/entities/Article::setEmail → KILLED
159		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
163		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_article_email_field()] replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::updateArticle → KILLED
188		1.1 Location : getArticlesByDateRange Killed by : edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:test_get_articles_by_date_range_with_time()] replaced return value with Collections.emptyList for edu/ucsb/cs156/example/controllers/ArticlesController::getArticlesByDateRange → KILLED
195		1.1 Location : parseDateTime Killed by : edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:test_get_articles_by_date_range_with_time()] negated conditional → KILLED
197		1.1 Location : parseDateTime Killed by : edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:test_get_articles_by_date_range_with_time()] replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::parseDateTime → KILLED
200		1.1 Location : parseDateTime Killed by : edu.ucsb.cs156.example.controllers.ArticlesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.example.controllers.ArticlesControllerTests]/[method:test_get_articles_by_date_range()] replaced return value with null for edu/ucsb/cs156/example/controllers/ArticlesController::parseDateTime → KILLED

ArticlesController.java

Mutations

Active mutators

Tests examined