RepositoryService.java

package edu.ucsb.cs156.frontiers.services;

import com.fasterxml.jackson.core.JsonProcessingException;
import com.fasterxml.jackson.databind.ObjectMapper;
import edu.ucsb.cs156.frontiers.entities.Course;
import edu.ucsb.cs156.frontiers.entities.RosterStudent;
import org.springframework.boot.web.client.RestTemplateBuilder;
import org.springframework.http.*;
import org.springframework.stereotype.Service;
import org.springframework.web.client.HttpClientErrorException;
import org.springframework.web.client.RestTemplate;

import java.security.NoSuchAlgorithmException;
import java.security.spec.InvalidKeySpecException;
import java.util.HashMap;
import java.util.Map;

@Service
public class RepositoryService {
    private final JwtService  jwtService;
    private final RestTemplate restTemplate;
    private final ObjectMapper mapper;

    public RepositoryService(JwtService jwtService, RestTemplateBuilder restTemplateBuilder, ObjectMapper mapper) {
        this.jwtService = jwtService;
        this.restTemplate = restTemplateBuilder.build();
        this.mapper = mapper;
    }

    /**
     * Creates a single student repository if it doesn't already exist, and provisions access to the repository by that student
     * @param course The Course in question
     * @param student RosterStudent of the student the repository should be created for
     * @param repoPrefix Name of the project or assignment. Used to title the repository, in the format repoPrefix-githubLogin
     * @param isPrivate Whether the repository is private or not
     */
    public void createStudentRepository(Course course, RosterStudent student, String repoPrefix, Boolean isPrivate) throws NoSuchAlgorithmException, InvalidKeySpecException, JsonProcessingException {
        String newRepoName = repoPrefix+"-"+student.getGithubLogin();
        String token = jwtService.getInstallationToken(course);
        String existenceEndpoint = "https://api.github.com/repos/"+course.getOrgName()+"/"+newRepoName;
        String createEndpoint = "https://api.github.com/orgs/"+course.getOrgName()+"/repos";
        String provisionEndpoint = "https://api.github.com/repos/"+course.getOrgName()+"/"+newRepoName+"/collaborators/"+student.getGithubLogin();
        HttpHeaders existenceHeaders = new HttpHeaders();
        existenceHeaders.add("Authorization", "Bearer " + token);
        existenceHeaders.add("Accept", "application/vnd.github+json");
        existenceHeaders.add("X-GitHub-Api-Version", "2022-11-28");

        HttpEntity<String> existenceEntity = new HttpEntity<>(existenceHeaders);

        try {
            restTemplate.exchange(existenceEndpoint, HttpMethod.GET, existenceEntity, String.class);
        } catch(HttpClientErrorException e){
            if(e.getStatusCode().equals(HttpStatus.NOT_FOUND)){
                HttpHeaders createHeaders = new HttpHeaders();
                createHeaders.add("Authorization", "Bearer " + token);
                createHeaders.add("Accept", "application/vnd.github+json");
                createHeaders.add("X-GitHub-Api-Version", "2022-11-28");

                Map<String, Object> body  = new HashMap<>();
                body.put("name", newRepoName);
                body.put("private",  isPrivate);
                String bodyAsJson =  mapper.writeValueAsString(body);

                HttpEntity<String> createEntity = new HttpEntity<>(bodyAsJson, createHeaders);

                restTemplate.exchange(createEndpoint, HttpMethod.POST, createEntity, String.class);
                Map<String, Object> provisionBody  = new HashMap<>();
                provisionBody.put("permission", "admin");
                String provisionAsJson =  mapper.writeValueAsString(provisionBody);

                HttpEntity<String> provisionEntity = new HttpEntity<>(provisionAsJson, createHeaders);
                restTemplate.exchange(provisionEndpoint, HttpMethod.PUT, provisionEntity, String.class);
            }
        }

    }
}









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.frontiers.services.RepositoryServiceTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.frontiers.services.RepositoryServiceTests]/[method:repo_already_exists_test()] (2 ms)
edu.ucsb.cs156.frontiers.services.RepositoryServiceTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.frontiers.services.RepositoryServiceTests]/[method:exits_if_not_not_found()] (3 ms)
edu.ucsb.cs156.frontiers.services.RepositoryServiceTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.frontiers.services.RepositoryServiceTests]/[method:successfully_creates_repo_private()] (4 ms)
edu.ucsb.cs156.frontiers.services.RepositoryServiceTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.frontiers.services.RepositoryServiceTests]/[method:successfully_creates_repo_public()] (25 ms)

Report generated by PIT 1.17.0

1		package edu.ucsb.cs156.frontiers.services;
2
3		import com.fasterxml.jackson.core.JsonProcessingException;
4		import com.fasterxml.jackson.databind.ObjectMapper;
5		import edu.ucsb.cs156.frontiers.entities.Course;
6		import edu.ucsb.cs156.frontiers.entities.RosterStudent;
7		import org.springframework.boot.web.client.RestTemplateBuilder;
8		import org.springframework.http.*;
9		import org.springframework.stereotype.Service;
10		import org.springframework.web.client.HttpClientErrorException;
11		import org.springframework.web.client.RestTemplate;
12
13		import java.security.NoSuchAlgorithmException;
14		import java.security.spec.InvalidKeySpecException;
15		import java.util.HashMap;
16		import java.util.Map;
17
18		@Service
19		public class RepositoryService {
20		private final JwtService jwtService;
21		private final RestTemplate restTemplate;
22		private final ObjectMapper mapper;
23
24		public RepositoryService(JwtService jwtService, RestTemplateBuilder restTemplateBuilder, ObjectMapper mapper) {
25		this.jwtService = jwtService;
26		this.restTemplate = restTemplateBuilder.build();
27		this.mapper = mapper;
28		}
29
30		/**
31		* Creates a single student repository if it doesn't already exist, and provisions access to the repository by that student
32		* @param course The Course in question
33		* @param student RosterStudent of the student the repository should be created for
34		* @param repoPrefix Name of the project or assignment. Used to title the repository, in the format repoPrefix-githubLogin
35		* @param isPrivate Whether the repository is private or not
36		*/
37		public void createStudentRepository(Course course, RosterStudent student, String repoPrefix, Boolean isPrivate) throws NoSuchAlgorithmException, InvalidKeySpecException, JsonProcessingException {
38		String newRepoName = repoPrefix+"-"+student.getGithubLogin();
39		String token = jwtService.getInstallationToken(course);
40		String existenceEndpoint = "https://api.github.com/repos/"+course.getOrgName()+"/"+newRepoName;
41		String createEndpoint = "https://api.github.com/orgs/"+course.getOrgName()+"/repos";
42		String provisionEndpoint = "https://api.github.com/repos/"+course.getOrgName()+"/"+newRepoName+"/collaborators/"+student.getGithubLogin();
43		HttpHeaders existenceHeaders = new HttpHeaders();
44	1 1. createStudentRepository : removed call to org/springframework/http/HttpHeaders::add → KILLED	existenceHeaders.add("Authorization", "Bearer " + token);
45	1 1. createStudentRepository : removed call to org/springframework/http/HttpHeaders::add → KILLED	existenceHeaders.add("Accept", "application/vnd.github+json");
46	1 1. createStudentRepository : removed call to org/springframework/http/HttpHeaders::add → KILLED	existenceHeaders.add("X-GitHub-Api-Version", "2022-11-28");
47
48		HttpEntity<String> existenceEntity = new HttpEntity<>(existenceHeaders);
49
50		try {
51		restTemplate.exchange(existenceEndpoint, HttpMethod.GET, existenceEntity, String.class);
52		} catch(HttpClientErrorException e){
53	1 1. createStudentRepository : negated conditional → KILLED	if(e.getStatusCode().equals(HttpStatus.NOT_FOUND)){
54		HttpHeaders createHeaders = new HttpHeaders();
55	1 1. createStudentRepository : removed call to org/springframework/http/HttpHeaders::add → KILLED	createHeaders.add("Authorization", "Bearer " + token);
56	1 1. createStudentRepository : removed call to org/springframework/http/HttpHeaders::add → KILLED	createHeaders.add("Accept", "application/vnd.github+json");
57	1 1. createStudentRepository : removed call to org/springframework/http/HttpHeaders::add → KILLED	createHeaders.add("X-GitHub-Api-Version", "2022-11-28");
58
59		Map<String, Object> body = new HashMap<>();
60		body.put("name", newRepoName);
61		body.put("private", isPrivate);
62		String bodyAsJson = mapper.writeValueAsString(body);
63
64		HttpEntity<String> createEntity = new HttpEntity<>(bodyAsJson, createHeaders);
65
66		restTemplate.exchange(createEndpoint, HttpMethod.POST, createEntity, String.class);
67		Map<String, Object> provisionBody = new HashMap<>();
68		provisionBody.put("permission", "admin");
69		String provisionAsJson = mapper.writeValueAsString(provisionBody);
70
71		HttpEntity<String> provisionEntity = new HttpEntity<>(provisionAsJson, createHeaders);
72		restTemplate.exchange(provisionEndpoint, HttpMethod.PUT, provisionEntity, String.class);
73		}
74		}
75
76		}
77		}
		Mutations
44		1.1 Location : createStudentRepository Killed by : edu.ucsb.cs156.frontiers.services.RepositoryServiceTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.frontiers.services.RepositoryServiceTests]/[method:repo_already_exists_test()] removed call to org/springframework/http/HttpHeaders::add → KILLED
45		1.1 Location : createStudentRepository Killed by : edu.ucsb.cs156.frontiers.services.RepositoryServiceTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.frontiers.services.RepositoryServiceTests]/[method:repo_already_exists_test()] removed call to org/springframework/http/HttpHeaders::add → KILLED
46		1.1 Location : createStudentRepository Killed by : edu.ucsb.cs156.frontiers.services.RepositoryServiceTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.frontiers.services.RepositoryServiceTests]/[method:repo_already_exists_test()] removed call to org/springframework/http/HttpHeaders::add → KILLED
53		1.1 Location : createStudentRepository Killed by : edu.ucsb.cs156.frontiers.services.RepositoryServiceTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.frontiers.services.RepositoryServiceTests]/[method:exits_if_not_not_found()] negated conditional → KILLED
55		1.1 Location : createStudentRepository Killed by : edu.ucsb.cs156.frontiers.services.RepositoryServiceTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.frontiers.services.RepositoryServiceTests]/[method:successfully_creates_repo_private()] removed call to org/springframework/http/HttpHeaders::add → KILLED
56		1.1 Location : createStudentRepository Killed by : edu.ucsb.cs156.frontiers.services.RepositoryServiceTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.frontiers.services.RepositoryServiceTests]/[method:successfully_creates_repo_private()] removed call to org/springframework/http/HttpHeaders::add → KILLED
57		1.1 Location : createStudentRepository Killed by : edu.ucsb.cs156.frontiers.services.RepositoryServiceTests.[engine:junit-jupiter]/[class:edu.ucsb.cs156.frontiers.services.RepositoryServiceTests]/[method:successfully_creates_repo_private()] removed call to org/springframework/http/HttpHeaders::add → KILLED

RepositoryService.java

Mutations

Active mutators

Tests examined