UserCommonsController.java

package edu.ucsb.cs156.happiercows.controllers;

import com.fasterxml.jackson.core.JsonProcessingException;
import com.fasterxml.jackson.databind.ObjectMapper;

import org.springframework.beans.factory.annotation.Autowired;

import org.springframework.security.access.prepost.PreAuthorize;
import org.springframework.web.bind.annotation.GetMapping;
import org.springframework.web.bind.annotation.RequestMapping;
import org.springframework.web.bind.annotation.RequestParam;
import org.springframework.web.bind.annotation.RestController;

import edu.ucsb.cs156.happiercows.repositories.UserCommonsRepository;
import edu.ucsb.cs156.happiercows.repositories.CommonsRepository;
import edu.ucsb.cs156.happiercows.entities.User;
import edu.ucsb.cs156.happiercows.entities.UserCommons;
import edu.ucsb.cs156.happiercows.entities.Commons;
import edu.ucsb.cs156.happiercows.errors.EntityNotFoundException;
import edu.ucsb.cs156.happiercows.errors.NoCowsException;
import edu.ucsb.cs156.happiercows.errors.NotEnoughMoneyException;

import io.swagger.v3.oas.annotations.tags.Tag;
import io.swagger.v3.oas.annotations.Operation;
import io.swagger.v3.oas.annotations.Parameter;

import org.springframework.http.ResponseEntity;
import org.springframework.web.bind.annotation.PutMapping;

@Tag(name = "User Commons")
@RequestMapping("/api/usercommons")
@RestController
public class UserCommonsController extends ApiController {

  @Autowired
  private UserCommonsRepository userCommonsRepository;

  @Autowired
  private CommonsRepository commonsRepository;

  @Autowired
  ObjectMapper mapper;

  @Operation(summary = "Get a specific user commons (admin only)")
  @PreAuthorize("hasRole('ROLE_ADMIN')")
  @GetMapping("")
  public UserCommons getUserCommonsById(
      @Parameter(name="userId") @RequestParam Long userId,
      @Parameter(name="commonsId") @RequestParam Long commonsId) throws JsonProcessingException {

    UserCommons userCommons = userCommonsRepository.findByCommonsIdAndUserId(commonsId, userId)
        .orElseThrow(
            () -> new EntityNotFoundException(UserCommons.class, "commonsId", commonsId, "userId", userId));
    return userCommons;
  }

  @Operation(summary = "Get a user commons for current user")
  @PreAuthorize("hasRole('ROLE_USER')")
  @GetMapping("/forcurrentuser")
  public UserCommons getUserCommonsById(
      @Parameter(name="commonsId") @RequestParam Long commonsId) throws JsonProcessingException {

    User u = getCurrentUser().getUser();
    Long userId = u.getId();
    UserCommons userCommons = userCommonsRepository.findByCommonsIdAndUserId(commonsId, userId)
        .orElseThrow(
            () -> new EntityNotFoundException(UserCommons.class, "commonsId", commonsId, "userId", userId));
    return userCommons;
  }

  @Operation(summary = "Buy a cow, totalWealth updated")
  @PreAuthorize("hasRole('ROLE_USER')")
  @PutMapping("/buy")
  public ResponseEntity<String> putUserCommonsByIdBuy(
          @Parameter(name="commonsId") @RequestParam Long commonsId) throws NotEnoughMoneyException, JsonProcessingException{

        User u = getCurrentUser().getUser();
        Long userId = u.getId();

        Commons commons = commonsRepository.findById(commonsId).orElseThrow( 
          ()->new EntityNotFoundException(Commons.class, commonsId));
        UserCommons userCommons = userCommonsRepository.findByCommonsIdAndUserId(commonsId, userId)
        .orElseThrow(
            () -> new EntityNotFoundException(UserCommons.class, "commonsId", commonsId, "userId", userId));

        if(userCommons.getTotalWealth() >= commons.getCowPrice() ){
          userCommons.setTotalWealth(userCommons.getTotalWealth() - commons.getCowPrice());
          userCommons.setNumOfCows(userCommons.getNumOfCows() + 1);
          userCommons.setCowsBought(userCommons.getCowsBought() + 1);
        }
        else{
          throw new NotEnoughMoneyException("You need more money!");
        }
        userCommonsRepository.save(userCommons);

        String body = mapper.writeValueAsString(userCommons);
        return ResponseEntity.ok().body(body);
    }

  @Operation(summary = "Sell a cow, totalWealth updated")
  @PreAuthorize("hasRole('ROLE_USER')")
  @PutMapping("/sell")
  public ResponseEntity<String> putUserCommonsByIdSell(
          @Parameter(name="commonsId") @RequestParam Long commonsId) throws NoCowsException, JsonProcessingException {
        User u = getCurrentUser().getUser();
        Long userId = u.getId();

        Commons commons = commonsRepository.findById(commonsId).orElseThrow( 
          ()->new EntityNotFoundException(Commons.class, commonsId));
        UserCommons userCommons = userCommonsRepository.findByCommonsIdAndUserId(commonsId, userId)
        .orElseThrow(
            () -> new EntityNotFoundException(UserCommons.class, "commonsId", commonsId, "userId", userId));


        if(userCommons.getNumOfCows() >= 1 ){
          double cowValue = commons.getCowPrice() * userCommons.getCowHealth() / 100;
          userCommons.setTotalWealth(userCommons.getTotalWealth() + cowValue);
          userCommons.setNumOfCows(userCommons.getNumOfCows() - 1);
          userCommons.setCowsSold(userCommons.getCowsSold() + 1);
        }
        else{
          throw new NoCowsException("You have no cows to sell!");
        }
        userCommonsRepository.save(userCommons);

        String body = mapper.writeValueAsString(userCommons);
        return ResponseEntity.ok().body(body);
    }

    

    @Operation(summary = "Get all user commons for a specific commons")
    @PreAuthorize("hasAnyRole('ROLE_USER', 'ROLE_ADMIN')")
    @GetMapping("/commons/all")
    public  ResponseEntity<String> getUsersCommonsByCommonsId(
        @Parameter(name="commonsId") @RequestParam Long commonsId) throws JsonProcessingException {
      Iterable<UserCommons> uc = userCommonsRepository.findByCommonsId(commonsId);
      
   
    String body = mapper.writeValueAsString(uc);
    return ResponseEntity.ok().body(body);
  }

}






















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.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_getUserCommonsById_exists_admin()] (15 ms)
edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_BuyCow_commons_exists_user_has_exact_amount_needed()] (17 ms)
edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_getAllUserCommonsById_exists()] (13 ms)
edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_getUserCommonsById_nonexists_admin()] (14 ms)
edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_getUserCommonsById_exists()] (31 ms)
edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_BuyCow_commons_exists()] (17 ms)
edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_SellCow_commons_exists_no_cow_to_sell()] (15 ms)
edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_SellCow_commons_exists()] (17 ms)
edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_getUserCommonsById_nonexists()] (14 ms)
edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_sellCow_commons_does_not_exist()] (14 ms)
edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_sellCow_for_user_not_in_commons()] (13 ms)
edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_buyCow_commons_does_not_exist()] (14 ms)
edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_buyCow_for_user_not_in_commons()] (13 ms)
edu.ucsb.cs156.happiercows.controllers.CSRFControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.CSRFControllerTests]/[method:csrf_returns_ok()] (17 ms)
edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_BuyCow_commons_exists_not_enough_money()] (14 ms)
edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_Admin_getAllUserCommonsById_exists()] (20 ms)

Report generated by PIT 1.7.3

1		package edu.ucsb.cs156.happiercows.controllers;
2
3		import com.fasterxml.jackson.core.JsonProcessingException;
4		import com.fasterxml.jackson.databind.ObjectMapper;
5
6		import org.springframework.beans.factory.annotation.Autowired;
7
8		import org.springframework.security.access.prepost.PreAuthorize;
9		import org.springframework.web.bind.annotation.GetMapping;
10		import org.springframework.web.bind.annotation.RequestMapping;
11		import org.springframework.web.bind.annotation.RequestParam;
12		import org.springframework.web.bind.annotation.RestController;
13
14		import edu.ucsb.cs156.happiercows.repositories.UserCommonsRepository;
15		import edu.ucsb.cs156.happiercows.repositories.CommonsRepository;
16		import edu.ucsb.cs156.happiercows.entities.User;
17		import edu.ucsb.cs156.happiercows.entities.UserCommons;
18		import edu.ucsb.cs156.happiercows.entities.Commons;
19		import edu.ucsb.cs156.happiercows.errors.EntityNotFoundException;
20		import edu.ucsb.cs156.happiercows.errors.NoCowsException;
21		import edu.ucsb.cs156.happiercows.errors.NotEnoughMoneyException;
22
23		import io.swagger.v3.oas.annotations.tags.Tag;
24		import io.swagger.v3.oas.annotations.Operation;
25		import io.swagger.v3.oas.annotations.Parameter;
26
27		import org.springframework.http.ResponseEntity;
28		import org.springframework.web.bind.annotation.PutMapping;
29
30		@Tag(name = "User Commons")
31		@RequestMapping("/api/usercommons")
32		@RestController
33		public class UserCommonsController extends ApiController {
34
35		@Autowired
36		private UserCommonsRepository userCommonsRepository;
37
38		@Autowired
39		private CommonsRepository commonsRepository;
40
41		@Autowired
42		ObjectMapper mapper;
43
44		@Operation(summary = "Get a specific user commons (admin only)")
45		@PreAuthorize("hasRole('ROLE_ADMIN')")
46		@GetMapping("")
47		public UserCommons getUserCommonsById(
48		@Parameter(name="userId") @RequestParam Long userId,
49		@Parameter(name="commonsId") @RequestParam Long commonsId) throws JsonProcessingException {
50
51		UserCommons userCommons = userCommonsRepository.findByCommonsIdAndUserId(commonsId, userId)
52		.orElseThrow(
53	1 1. lambda$getUserCommonsById$0 : replaced return value with null for edu/ucsb/cs156/happiercows/controllers/UserCommonsController::lambda$getUserCommonsById$0 → KILLED	() -> new EntityNotFoundException(UserCommons.class, "commonsId", commonsId, "userId", userId));
54	1 1. getUserCommonsById : replaced return value with null for edu/ucsb/cs156/happiercows/controllers/UserCommonsController::getUserCommonsById → KILLED	return userCommons;
55		}
56
57		@Operation(summary = "Get a user commons for current user")
58		@PreAuthorize("hasRole('ROLE_USER')")
59		@GetMapping("/forcurrentuser")
60		public UserCommons getUserCommonsById(
61		@Parameter(name="commonsId") @RequestParam Long commonsId) throws JsonProcessingException {
62
63		User u = getCurrentUser().getUser();
64		Long userId = u.getId();
65		UserCommons userCommons = userCommonsRepository.findByCommonsIdAndUserId(commonsId, userId)
66		.orElseThrow(
67	1 1. lambda$getUserCommonsById$1 : replaced return value with null for edu/ucsb/cs156/happiercows/controllers/UserCommonsController::lambda$getUserCommonsById$1 → KILLED	() -> new EntityNotFoundException(UserCommons.class, "commonsId", commonsId, "userId", userId));
68	1 1. getUserCommonsById : replaced return value with null for edu/ucsb/cs156/happiercows/controllers/UserCommonsController::getUserCommonsById → KILLED	return userCommons;
69		}
70
71		@Operation(summary = "Buy a cow, totalWealth updated")
72		@PreAuthorize("hasRole('ROLE_USER')")
73		@PutMapping("/buy")
74		public ResponseEntity<String> putUserCommonsByIdBuy(
75		@Parameter(name="commonsId") @RequestParam Long commonsId) throws NotEnoughMoneyException, JsonProcessingException{
76
77		User u = getCurrentUser().getUser();
78		Long userId = u.getId();
79
80		Commons commons = commonsRepository.findById(commonsId).orElseThrow(
81	1 1. lambda$putUserCommonsByIdBuy$2 : replaced return value with null for edu/ucsb/cs156/happiercows/controllers/UserCommonsController::lambda$putUserCommonsByIdBuy$2 → KILLED	()->new EntityNotFoundException(Commons.class, commonsId));
82		UserCommons userCommons = userCommonsRepository.findByCommonsIdAndUserId(commonsId, userId)
83		.orElseThrow(
84	1 1. lambda$putUserCommonsByIdBuy$3 : replaced return value with null for edu/ucsb/cs156/happiercows/controllers/UserCommonsController::lambda$putUserCommonsByIdBuy$3 → KILLED	() -> new EntityNotFoundException(UserCommons.class, "commonsId", commonsId, "userId", userId));
85
86	2 1. putUserCommonsByIdBuy : changed conditional boundary → KILLED 2. putUserCommonsByIdBuy : negated conditional → KILLED	if(userCommons.getTotalWealth() >= commons.getCowPrice() ){
87	2 1. putUserCommonsByIdBuy : Replaced double subtraction with addition → KILLED 2. putUserCommonsByIdBuy : removed call to edu/ucsb/cs156/happiercows/entities/UserCommons::setTotalWealth → KILLED	userCommons.setTotalWealth(userCommons.getTotalWealth() - commons.getCowPrice());
88	2 1. putUserCommonsByIdBuy : Replaced integer addition with subtraction → KILLED 2. putUserCommonsByIdBuy : removed call to edu/ucsb/cs156/happiercows/entities/UserCommons::setNumOfCows → KILLED	userCommons.setNumOfCows(userCommons.getNumOfCows() + 1);
89	2 1. putUserCommonsByIdBuy : Replaced integer addition with subtraction → KILLED 2. putUserCommonsByIdBuy : removed call to edu/ucsb/cs156/happiercows/entities/UserCommons::setCowsBought → KILLED	userCommons.setCowsBought(userCommons.getCowsBought() + 1);
90		}
91		else{
92		throw new NotEnoughMoneyException("You need more money!");
93		}
94		userCommonsRepository.save(userCommons);
95
96		String body = mapper.writeValueAsString(userCommons);
97	1 1. putUserCommonsByIdBuy : replaced return value with null for edu/ucsb/cs156/happiercows/controllers/UserCommonsController::putUserCommonsByIdBuy → KILLED	return ResponseEntity.ok().body(body);
98		}
99
100		@Operation(summary = "Sell a cow, totalWealth updated")
101		@PreAuthorize("hasRole('ROLE_USER')")
102		@PutMapping("/sell")
103		public ResponseEntity<String> putUserCommonsByIdSell(
104		@Parameter(name="commonsId") @RequestParam Long commonsId) throws NoCowsException, JsonProcessingException {
105		User u = getCurrentUser().getUser();
106		Long userId = u.getId();
107
108		Commons commons = commonsRepository.findById(commonsId).orElseThrow(
109	1 1. lambda$putUserCommonsByIdSell$4 : replaced return value with null for edu/ucsb/cs156/happiercows/controllers/UserCommonsController::lambda$putUserCommonsByIdSell$4 → KILLED	()->new EntityNotFoundException(Commons.class, commonsId));
110		UserCommons userCommons = userCommonsRepository.findByCommonsIdAndUserId(commonsId, userId)
111		.orElseThrow(
112	1 1. lambda$putUserCommonsByIdSell$5 : replaced return value with null for edu/ucsb/cs156/happiercows/controllers/UserCommonsController::lambda$putUserCommonsByIdSell$5 → KILLED	() -> new EntityNotFoundException(UserCommons.class, "commonsId", commonsId, "userId", userId));
113
114
115	2 1. putUserCommonsByIdSell : changed conditional boundary → KILLED 2. putUserCommonsByIdSell : negated conditional → KILLED	if(userCommons.getNumOfCows() >= 1 ){
116	2 1. putUserCommonsByIdSell : Replaced double multiplication with division → KILLED 2. putUserCommonsByIdSell : Replaced double division with multiplication → KILLED	double cowValue = commons.getCowPrice() * userCommons.getCowHealth() / 100;
117	2 1. putUserCommonsByIdSell : Replaced double addition with subtraction → KILLED 2. putUserCommonsByIdSell : removed call to edu/ucsb/cs156/happiercows/entities/UserCommons::setTotalWealth → KILLED	userCommons.setTotalWealth(userCommons.getTotalWealth() + cowValue);
118	2 1. putUserCommonsByIdSell : Replaced integer subtraction with addition → KILLED 2. putUserCommonsByIdSell : removed call to edu/ucsb/cs156/happiercows/entities/UserCommons::setNumOfCows → KILLED	userCommons.setNumOfCows(userCommons.getNumOfCows() - 1);
119	2 1. putUserCommonsByIdSell : Replaced integer addition with subtraction → KILLED 2. putUserCommonsByIdSell : removed call to edu/ucsb/cs156/happiercows/entities/UserCommons::setCowsSold → KILLED	userCommons.setCowsSold(userCommons.getCowsSold() + 1);
120		}
121		else{
122		throw new NoCowsException("You have no cows to sell!");
123		}
124		userCommonsRepository.save(userCommons);
125
126		String body = mapper.writeValueAsString(userCommons);
127	1 1. putUserCommonsByIdSell : replaced return value with null for edu/ucsb/cs156/happiercows/controllers/UserCommonsController::putUserCommonsByIdSell → KILLED	return ResponseEntity.ok().body(body);
128		}
129
130
131
132		@Operation(summary = "Get all user commons for a specific commons")
133		@PreAuthorize("hasAnyRole('ROLE_USER', 'ROLE_ADMIN')")
134		@GetMapping("/commons/all")
135		public ResponseEntity<String> getUsersCommonsByCommonsId(
136		@Parameter(name="commonsId") @RequestParam Long commonsId) throws JsonProcessingException {
137		Iterable<UserCommons> uc = userCommonsRepository.findByCommonsId(commonsId);
138
139
140		String body = mapper.writeValueAsString(uc);
141	1 1. getUsersCommonsByCommonsId : replaced return value with null for edu/ucsb/cs156/happiercows/controllers/UserCommonsController::getUsersCommonsByCommonsId → KILLED	return ResponseEntity.ok().body(body);
142		}
143
144		}
		Mutations
53		1.1 Location : lambda$getUserCommonsById$0 Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_getUserCommonsById_nonexists_admin()] replaced return value with null for edu/ucsb/cs156/happiercows/controllers/UserCommonsController::lambda$getUserCommonsById$0 → KILLED
54		1.1 Location : getUserCommonsById Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_getUserCommonsById_exists_admin()] replaced return value with null for edu/ucsb/cs156/happiercows/controllers/UserCommonsController::getUserCommonsById → KILLED
67		1.1 Location : lambda$getUserCommonsById$1 Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_getUserCommonsById_nonexists()] replaced return value with null for edu/ucsb/cs156/happiercows/controllers/UserCommonsController::lambda$getUserCommonsById$1 → KILLED
68		1.1 Location : getUserCommonsById Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_getUserCommonsById_exists()] replaced return value with null for edu/ucsb/cs156/happiercows/controllers/UserCommonsController::getUserCommonsById → KILLED
81		1.1 Location : lambda$putUserCommonsByIdBuy$2 Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_buyCow_commons_does_not_exist()] replaced return value with null for edu/ucsb/cs156/happiercows/controllers/UserCommonsController::lambda$putUserCommonsByIdBuy$2 → KILLED
84		1.1 Location : lambda$putUserCommonsByIdBuy$3 Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_buyCow_for_user_not_in_commons()] replaced return value with null for edu/ucsb/cs156/happiercows/controllers/UserCommonsController::lambda$putUserCommonsByIdBuy$3 → KILLED
86		1.1 Location : putUserCommonsByIdBuy Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_BuyCow_commons_exists_user_has_exact_amount_needed()] changed conditional boundary → KILLED 2.2 Location : putUserCommonsByIdBuy Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_BuyCow_commons_exists_not_enough_money()] negated conditional → KILLED
87		1.1 Location : putUserCommonsByIdBuy Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_BuyCow_commons_exists()] Replaced double subtraction with addition → KILLED 2.2 Location : putUserCommonsByIdBuy Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_BuyCow_commons_exists()] removed call to edu/ucsb/cs156/happiercows/entities/UserCommons::setTotalWealth → KILLED
88		1.1 Location : putUserCommonsByIdBuy Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_BuyCow_commons_exists()] Replaced integer addition with subtraction → KILLED 2.2 Location : putUserCommonsByIdBuy Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_BuyCow_commons_exists()] removed call to edu/ucsb/cs156/happiercows/entities/UserCommons::setNumOfCows → KILLED
89		1.1 Location : putUserCommonsByIdBuy Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_BuyCow_commons_exists()] Replaced integer addition with subtraction → KILLED 2.2 Location : putUserCommonsByIdBuy Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_BuyCow_commons_exists()] removed call to edu/ucsb/cs156/happiercows/entities/UserCommons::setCowsBought → KILLED
97		1.1 Location : putUserCommonsByIdBuy Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_BuyCow_commons_exists()] replaced return value with null for edu/ucsb/cs156/happiercows/controllers/UserCommonsController::putUserCommonsByIdBuy → KILLED
109		1.1 Location : lambda$putUserCommonsByIdSell$4 Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_sellCow_commons_does_not_exist()] replaced return value with null for edu/ucsb/cs156/happiercows/controllers/UserCommonsController::lambda$putUserCommonsByIdSell$4 → KILLED
112		1.1 Location : lambda$putUserCommonsByIdSell$5 Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_sellCow_for_user_not_in_commons()] replaced return value with null for edu/ucsb/cs156/happiercows/controllers/UserCommonsController::lambda$putUserCommonsByIdSell$5 → KILLED
115		1.1 Location : putUserCommonsByIdSell Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_SellCow_commons_exists()] changed conditional boundary → KILLED 2.2 Location : putUserCommonsByIdSell Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_SellCow_commons_exists_no_cow_to_sell()] negated conditional → KILLED
116		1.1 Location : putUserCommonsByIdSell Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_SellCow_commons_exists()] Replaced double multiplication with division → KILLED 2.2 Location : putUserCommonsByIdSell Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_SellCow_commons_exists()] Replaced double division with multiplication → KILLED
117		1.1 Location : putUserCommonsByIdSell Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_SellCow_commons_exists()] Replaced double addition with subtraction → KILLED 2.2 Location : putUserCommonsByIdSell Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_SellCow_commons_exists()] removed call to edu/ucsb/cs156/happiercows/entities/UserCommons::setTotalWealth → KILLED
118		1.1 Location : putUserCommonsByIdSell Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_SellCow_commons_exists()] Replaced integer subtraction with addition → KILLED 2.2 Location : putUserCommonsByIdSell Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_SellCow_commons_exists()] removed call to edu/ucsb/cs156/happiercows/entities/UserCommons::setNumOfCows → KILLED
119		1.1 Location : putUserCommonsByIdSell Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_SellCow_commons_exists()] Replaced integer addition with subtraction → KILLED 2.2 Location : putUserCommonsByIdSell Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_SellCow_commons_exists()] removed call to edu/ucsb/cs156/happiercows/entities/UserCommons::setCowsSold → KILLED
127		1.1 Location : putUserCommonsByIdSell Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_SellCow_commons_exists()] replaced return value with null for edu/ucsb/cs156/happiercows/controllers/UserCommonsController::putUserCommonsByIdSell → KILLED
141		1.1 Location : getUsersCommonsByCommonsId Killed by : edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.happiercows.controllers.UserCommonsControllerTests]/[method:test_getAllUserCommonsById_exists()] replaced return value with null for edu/ucsb/cs156/happiercows/controllers/UserCommonsController::getUsersCommonsByCommonsId → KILLED

UserCommonsController.java

Mutations

Active mutators

Tests examined