UserEmail.java

1
package edu.ucsb.cs156.organic.entities;
2
3
import lombok.*;
4
import jakarta.persistence.*;
5
import com.fasterxml.jackson.annotation.JsonIgnore;
6
import com.fasterxml.jackson.annotation.JsonInclude;
7
8
@Data
9
@AllArgsConstructor
10
@NoArgsConstructor(access = AccessLevel.PROTECTED)
11
@Builder
12
@Entity(name = "useremails")
13
public class UserEmail {
14
  @Id
15
  private String email;
16
17
  @ManyToOne
18
  @JsonIgnore
19
  @JoinColumn(name = "userGithubId")
20
  private User user;
21
22
  // userID and commonsId are used by the frontend
23
  @JsonInclude
24
  public Integer getGithubId() {
25 1 1. getGithubId : replaced Integer return value with 0 for edu/ucsb/cs156/organic/entities/UserEmail::getGithubId → KILLED
    return user.getGithubId();
26
  }
27
28
}

Mutations

25

1.1
Location : getGithubId
Killed by : edu.ucsb.cs156.organic.entities.UserEmailTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.organic.entities.UserEmailTests]/[method:test_getGithubId()]
replaced Integer return value with 0 for edu/ucsb/cs156/organic/entities/UserEmail::getGithubId → KILLED

Active mutators

Tests examined


Report generated by PIT 1.7.3