UCSBDatesController.java

package edu.ucsb.cs156.rec.controllers;

import edu.ucsb.cs156.rec.entities.UCSBDate;
import edu.ucsb.cs156.rec.errors.EntityNotFoundException;
import edu.ucsb.cs156.rec.repositories.UCSBDateRepository;

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 UCSBDates
 */

@Tag(name = "UCSBDates")
@RequestMapping("/api/ucsbdates")
@RestController
@Slf4j
public class UCSBDatesController extends ApiController {

    @Autowired
    UCSBDateRepository ucsbDateRepository;

    /**
     * List all UCSB dates
     * 
     * @return an iterable of UCSBDate
     */
    @Operation(summary= "List all ucsb dates")
    @PreAuthorize("hasRole('ROLE_USER')")
    @GetMapping("/all")
    public Iterable<UCSBDate> allUCSBDates() {
        Iterable<UCSBDate> dates = ucsbDateRepository.findAll();
        return dates;
    }

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

        return ucsbDate;
    }

    /**
     * Create a new date
     * 
     * @param quarterYYYYQ  the quarter in the format YYYYQ
     * @param name          the name of the date
     * @param localDateTime the date
     * @return the saved ucsbdate
     */
    @Operation(summary= "Create a new date")
    @PreAuthorize("hasRole('ROLE_ADMIN')")
    @PostMapping("/post")
    public UCSBDate postUCSBDate(
            @Parameter(name="quarterYYYYQ") @RequestParam String quarterYYYYQ,
            @Parameter(name="name") @RequestParam String name,
            @Parameter(name="localDateTime", description="date (in iso format, e.g. YYYY-mm-ddTHH:MM:SS; see https://en.wikipedia.org/wiki/ISO_8601)") @RequestParam("localDateTime") @DateTimeFormat(iso = DateTimeFormat.ISO.DATE_TIME) LocalDateTime localDateTime)
            throws JsonProcessingException {

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

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

        UCSBDate ucsbDate = new UCSBDate();
        ucsbDate.setQuarterYYYYQ(quarterYYYYQ);
        ucsbDate.setName(name);
        ucsbDate.setLocalDateTime(localDateTime);

        UCSBDate savedUcsbDate = ucsbDateRepository.save(ucsbDate);

        return savedUcsbDate;
    }

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

        ucsbDateRepository.delete(ucsbDate);
        return genericMessage("UCSBDate with id %s deleted".formatted(id));
    }

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

        UCSBDate ucsbDate = ucsbDateRepository.findById(id)
                .orElseThrow(() -> new EntityNotFoundException(UCSBDate.class, id));

        ucsbDate.setQuarterYYYYQ(incoming.getQuarterYYYYQ());
        ucsbDate.setName(incoming.getName());
        ucsbDate.setLocalDateTime(incoming.getLocalDateTime());

        ucsbDateRepository.save(ucsbDate);

        return ucsbDate;
    }
}

















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.rec.controllers.UCSBDatesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests]/[method:admin_can_edit_an_existing_ucsbdate()] (8 ms)
edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests]/[method:logged_in_users_can_get_all()] (4 ms)
edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests]/[method:logged_in_user_can_get_all_ucsbdates()] (20 ms)
edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests]/[method:an_admin_user_can_post_a_new_ucsbdate()] (11 ms)
edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests]/[method:test_that_logged_in_user_can_get_by_id_when_the_id_exists()] (6 ms)
edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests]/[method:admin_can_delete_a_date()] (8 ms)
edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests]/[method:test_that_logged_in_user_can_get_by_id_when_the_id_does_not_exist()] (5 ms)
edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests]/[method:admin_tries_to_delete_non_existant_ucsbdate_and_gets_right_error_message()] (6 ms)
edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests]/[method:admin_cannot_edit_ucsbdate_that_does_not_exist()] (11 ms)

Report generated by PIT 1.17.0

1		package edu.ucsb.cs156.rec.controllers;
2
3		import edu.ucsb.cs156.rec.entities.UCSBDate;
4		import edu.ucsb.cs156.rec.errors.EntityNotFoundException;
5		import edu.ucsb.cs156.rec.repositories.UCSBDateRepository;
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 UCSBDates
32		*/
33
34		@Tag(name = "UCSBDates")
35		@RequestMapping("/api/ucsbdates")
36		@RestController
37		@Slf4j
38		public class UCSBDatesController extends ApiController {
39
40		@Autowired
41		UCSBDateRepository ucsbDateRepository;
42
43		/**
44		* List all UCSB dates
45		*
46		* @return an iterable of UCSBDate
47		*/
48		@Operation(summary= "List all ucsb dates")
49		@PreAuthorize("hasRole('ROLE_USER')")
50		@GetMapping("/all")
51		public Iterable<UCSBDate> allUCSBDates() {
52		Iterable<UCSBDate> dates = ucsbDateRepository.findAll();
53	1 1. allUCSBDates : replaced return value with Collections.emptyList for edu/ucsb/cs156/rec/controllers/UCSBDatesController::allUCSBDates → KILLED	return dates;
54		}
55
56		/**
57		* Get a single date by id
58		*
59		* @param id the id of the date
60		* @return a UCSBDate
61		*/
62		@Operation(summary= "Get a single date")
63		@PreAuthorize("hasRole('ROLE_USER')")
64		@GetMapping("")
65		public UCSBDate getById(
66		@Parameter(name="id") @RequestParam Long id) {
67		UCSBDate ucsbDate = ucsbDateRepository.findById(id)
68	1 1. lambda$getById$0 : replaced return value with null for edu/ucsb/cs156/rec/controllers/UCSBDatesController::lambda$getById$0 → KILLED	.orElseThrow(() -> new EntityNotFoundException(UCSBDate.class, id));
69
70	1 1. getById : replaced return value with null for edu/ucsb/cs156/rec/controllers/UCSBDatesController::getById → KILLED	return ucsbDate;
71		}
72
73		/**
74		* Create a new date
75		*
76		* @param quarterYYYYQ the quarter in the format YYYYQ
77		* @param name the name of the date
78		* @param localDateTime the date
79		* @return the saved ucsbdate
80		*/
81		@Operation(summary= "Create a new date")
82		@PreAuthorize("hasRole('ROLE_ADMIN')")
83		@PostMapping("/post")
84		public UCSBDate postUCSBDate(
85		@Parameter(name="quarterYYYYQ") @RequestParam String quarterYYYYQ,
86		@Parameter(name="name") @RequestParam String name,
87		@Parameter(name="localDateTime", description="date (in iso format, e.g. YYYY-mm-ddTHH:MM:SS; see https://en.wikipedia.org/wiki/ISO_8601)") @RequestParam("localDateTime") @DateTimeFormat(iso = DateTimeFormat.ISO.DATE_TIME) LocalDateTime localDateTime)
88		throws JsonProcessingException {
89
90		// For an explanation of @DateTimeFormat(iso = DateTimeFormat.ISO.DATE_TIME)
91		// See: https://www.baeldung.com/spring-date-parameters
92
93		log.info("localDateTime={}", localDateTime);
94
95		UCSBDate ucsbDate = new UCSBDate();
96	1 1. postUCSBDate : removed call to edu/ucsb/cs156/rec/entities/UCSBDate::setQuarterYYYYQ → KILLED	ucsbDate.setQuarterYYYYQ(quarterYYYYQ);
97	1 1. postUCSBDate : removed call to edu/ucsb/cs156/rec/entities/UCSBDate::setName → KILLED	ucsbDate.setName(name);
98	1 1. postUCSBDate : removed call to edu/ucsb/cs156/rec/entities/UCSBDate::setLocalDateTime → KILLED	ucsbDate.setLocalDateTime(localDateTime);
99
100		UCSBDate savedUcsbDate = ucsbDateRepository.save(ucsbDate);
101
102	1 1. postUCSBDate : replaced return value with null for edu/ucsb/cs156/rec/controllers/UCSBDatesController::postUCSBDate → KILLED	return savedUcsbDate;
103		}
104
105		/**
106		* Delete a UCSBDate
107		*
108		* @param id the id of the date to delete
109		* @return a message indicating the date was deleted
110		*/
111		@Operation(summary= "Delete a UCSBDate")
112		@PreAuthorize("hasRole('ROLE_ADMIN')")
113		@DeleteMapping("")
114		public Object deleteUCSBDate(
115		@Parameter(name="id") @RequestParam Long id) {
116		UCSBDate ucsbDate = ucsbDateRepository.findById(id)
117	1 1. lambda$deleteUCSBDate$1 : replaced return value with null for edu/ucsb/cs156/rec/controllers/UCSBDatesController::lambda$deleteUCSBDate$1 → KILLED	.orElseThrow(() -> new EntityNotFoundException(UCSBDate.class, id));
118
119	1 1. deleteUCSBDate : removed call to edu/ucsb/cs156/rec/repositories/UCSBDateRepository::delete → KILLED	ucsbDateRepository.delete(ucsbDate);
120	1 1. deleteUCSBDate : replaced return value with null for edu/ucsb/cs156/rec/controllers/UCSBDatesController::deleteUCSBDate → KILLED	return genericMessage("UCSBDate with id %s deleted".formatted(id));
121		}
122
123		/**
124		* Update a single date
125		*
126		* @param id id of the date to update
127		* @param incoming the new date
128		* @return the updated date object
129		*/
130		@Operation(summary= "Update a single date")
131		@PreAuthorize("hasRole('ROLE_ADMIN')")
132		@PutMapping("")
133		public UCSBDate updateUCSBDate(
134		@Parameter(name="id") @RequestParam Long id,
135		@RequestBody @Valid UCSBDate incoming) {
136
137		UCSBDate ucsbDate = ucsbDateRepository.findById(id)
138	1 1. lambda$updateUCSBDate$2 : replaced return value with null for edu/ucsb/cs156/rec/controllers/UCSBDatesController::lambda$updateUCSBDate$2 → KILLED	.orElseThrow(() -> new EntityNotFoundException(UCSBDate.class, id));
139
140	1 1. updateUCSBDate : removed call to edu/ucsb/cs156/rec/entities/UCSBDate::setQuarterYYYYQ → KILLED	ucsbDate.setQuarterYYYYQ(incoming.getQuarterYYYYQ());
141	1 1. updateUCSBDate : removed call to edu/ucsb/cs156/rec/entities/UCSBDate::setName → KILLED	ucsbDate.setName(incoming.getName());
142	1 1. updateUCSBDate : removed call to edu/ucsb/cs156/rec/entities/UCSBDate::setLocalDateTime → KILLED	ucsbDate.setLocalDateTime(incoming.getLocalDateTime());
143
144		ucsbDateRepository.save(ucsbDate);
145
146	1 1. updateUCSBDate : replaced return value with null for edu/ucsb/cs156/rec/controllers/UCSBDatesController::updateUCSBDate → KILLED	return ucsbDate;
147		}
148		}
		Mutations
53		1.1 Location : allUCSBDates Killed by : edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests]/[method:logged_in_user_can_get_all_ucsbdates()] replaced return value with Collections.emptyList for edu/ucsb/cs156/rec/controllers/UCSBDatesController::allUCSBDates → KILLED
68		1.1 Location : lambda$getById$0 Killed by : edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests]/[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/rec/controllers/UCSBDatesController::lambda$getById$0 → KILLED
70		1.1 Location : getById Killed by : edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests]/[method:test_that_logged_in_user_can_get_by_id_when_the_id_exists()] replaced return value with null for edu/ucsb/cs156/rec/controllers/UCSBDatesController::getById → KILLED
96		1.1 Location : postUCSBDate Killed by : edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests]/[method:an_admin_user_can_post_a_new_ucsbdate()] removed call to edu/ucsb/cs156/rec/entities/UCSBDate::setQuarterYYYYQ → KILLED
97		1.1 Location : postUCSBDate Killed by : edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests]/[method:an_admin_user_can_post_a_new_ucsbdate()] removed call to edu/ucsb/cs156/rec/entities/UCSBDate::setName → KILLED
98		1.1 Location : postUCSBDate Killed by : edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests]/[method:an_admin_user_can_post_a_new_ucsbdate()] removed call to edu/ucsb/cs156/rec/entities/UCSBDate::setLocalDateTime → KILLED
102		1.1 Location : postUCSBDate Killed by : edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests]/[method:an_admin_user_can_post_a_new_ucsbdate()] replaced return value with null for edu/ucsb/cs156/rec/controllers/UCSBDatesController::postUCSBDate → KILLED
117		1.1 Location : lambda$deleteUCSBDate$1 Killed by : edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests]/[method:admin_tries_to_delete_non_existant_ucsbdate_and_gets_right_error_message()] replaced return value with null for edu/ucsb/cs156/rec/controllers/UCSBDatesController::lambda$deleteUCSBDate$1 → KILLED
119		1.1 Location : deleteUCSBDate Killed by : edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests]/[method:admin_can_delete_a_date()] removed call to edu/ucsb/cs156/rec/repositories/UCSBDateRepository::delete → KILLED
120		1.1 Location : deleteUCSBDate Killed by : edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests]/[method:admin_can_delete_a_date()] replaced return value with null for edu/ucsb/cs156/rec/controllers/UCSBDatesController::deleteUCSBDate → KILLED
138		1.1 Location : lambda$updateUCSBDate$2 Killed by : edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests]/[method:admin_cannot_edit_ucsbdate_that_does_not_exist()] replaced return value with null for edu/ucsb/cs156/rec/controllers/UCSBDatesController::lambda$updateUCSBDate$2 → KILLED
140		1.1 Location : updateUCSBDate Killed by : edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests]/[method:admin_can_edit_an_existing_ucsbdate()] removed call to edu/ucsb/cs156/rec/entities/UCSBDate::setQuarterYYYYQ → KILLED
141		1.1 Location : updateUCSBDate Killed by : edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests]/[method:admin_can_edit_an_existing_ucsbdate()] removed call to edu/ucsb/cs156/rec/entities/UCSBDate::setName → KILLED
142		1.1 Location : updateUCSBDate Killed by : edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests]/[method:admin_can_edit_an_existing_ucsbdate()] removed call to edu/ucsb/cs156/rec/entities/UCSBDate::setLocalDateTime → KILLED
146		1.1 Location : updateUCSBDate Killed by : edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.rec.controllers.UCSBDatesControllerTests]/[method:admin_can_edit_an_existing_ucsbdate()] replaced return value with null for edu/ucsb/cs156/rec/controllers/UCSBDatesController::updateUCSBDate → KILLED

UCSBDatesController.java

Mutations

Active mutators

Tests examined