SupplyServiceImpl.java

package org.cardanofoundation.explorer.api.service.impl;

import java.math.BigInteger;
import java.util.List;
import java.util.Objects;
import java.util.Optional;

import lombok.RequiredArgsConstructor;
import lombok.extern.log4j.Log4j2;

import org.springframework.stereotype.Service;

import org.cardanofoundation.explorer.api.common.constant.CommonConstant;
import org.cardanofoundation.explorer.api.repository.ledgersync.AdaPotsRepository;
import org.cardanofoundation.explorer.api.repository.ledgersync.EpochRepository;
import org.cardanofoundation.explorer.api.service.FetchRewardDataService;
import org.cardanofoundation.explorer.api.service.SupplyService;
import org.cardanofoundation.explorer.common.entity.ledgersync.AdaPots;

@Service
@RequiredArgsConstructor
@Log4j2
public class SupplyServiceImpl implements SupplyService {

  private final AdaPotsRepository adaPotsRepository;

  private final EpochRepository epochRepository;

  private final FetchRewardDataService fetchRewardDataService;

  public Long getSupplyCirculating() {

    AdaPots latestAdaPots = getLatestAdaPots();

    if (Objects.isNull(latestAdaPots.getReserves())
        || Objects.isNull(latestAdaPots.getTreasury())) {
      log.info("The reserves or treasury of the epoch {} is null", latestAdaPots.getEpochNo());
      return null;
    }
    BigInteger circulatingSupply =
        CommonConstant.TOTAL_ADA
            .toBigInteger()
            .subtract(latestAdaPots.getReserves())
            .subtract(latestAdaPots.getTreasury());
    return circulatingSupply.divide(CommonConstant.ONE_ADA_IN_LOVELACES).longValue();
  }

  public Long getSupplyTotal() {
    AdaPots latestAdaPots = getLatestAdaPots();
    if (Objects.isNull(latestAdaPots.getReserves())) {
      log.info("The reserves of the epoch {} is null", latestAdaPots.getEpochNo());
      return null;
    }
    BigInteger supplyTotal =
        CommonConstant.TOTAL_ADA.toBigInteger().subtract(latestAdaPots.getReserves());
    return supplyTotal.divide(CommonConstant.ONE_ADA_IN_LOVELACES).longValue();
  }

  private AdaPots getLatestAdaPots() {
    Optional<Integer> currentEpoch = epochRepository.findCurrentEpochNo();

    if (currentEpoch.isEmpty()) {
      log.info("Current epoch is empty");
      return AdaPots.builder().build();
    }
    Integer currentEpochValue = currentEpoch.get();
    boolean useKoiOs = fetchRewardDataService.useKoios();
    if (useKoiOs && !fetchRewardDataService.checkAdaPots(currentEpochValue)) {
      fetchRewardDataService.fetchAdaPots(List.of(currentEpochValue));
    }
    return adaPotsRepository.findByEpochNo(currentEpoch.get());
  }
}













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

org.cardanofoundation.explorer.api.service.SupplyServiceTest.[engine:junit-jupiter]/[class:org.cardanofoundation.explorer.api.service.SupplyServiceTest]/[method:testGetSupplyCirculating_CurrentEpochIsEmpty()] (1 ms)
org.cardanofoundation.explorer.api.service.SupplyServiceTest.[engine:junit-jupiter]/[class:org.cardanofoundation.explorer.api.service.SupplyServiceTest]/[method:testGetSupplyTotal_ReservesIsNull()] (6 ms)
org.cardanofoundation.explorer.api.service.SupplyServiceTest.[engine:junit-jupiter]/[class:org.cardanofoundation.explorer.api.service.SupplyServiceTest]/[method:testGetSupplyTotal_SuccessfulResponse()] (2 ms)
org.cardanofoundation.explorer.api.service.SupplyServiceTest.[engine:junit-jupiter]/[class:org.cardanofoundation.explorer.api.service.SupplyServiceTest]/[method:testGetSupplyCirculating_ReservesOrTreasuryIsNull()] (2 ms)
org.cardanofoundation.explorer.api.service.SupplyServiceTest.[engine:junit-jupiter]/[class:org.cardanofoundation.explorer.api.service.SupplyServiceTest]/[method:testGetSupplyCirculating_SuccessfulResponse()] (1 ms)
org.cardanofoundation.explorer.api.service.SupplyServiceTest.[engine:junit-jupiter]/[class:org.cardanofoundation.explorer.api.service.SupplyServiceTest]/[method:testGetSupplyTotal_CurrentEpochIsEmpty()] (1 ms)

Report generated by PIT 1.14.2

1		package org.cardanofoundation.explorer.api.service.impl;
2
3		import java.math.BigInteger;
4		import java.util.List;
5		import java.util.Objects;
6		import java.util.Optional;
7
8		import lombok.RequiredArgsConstructor;
9		import lombok.extern.log4j.Log4j2;
10
11		import org.springframework.stereotype.Service;
12
13		import org.cardanofoundation.explorer.api.common.constant.CommonConstant;
14		import org.cardanofoundation.explorer.api.repository.ledgersync.AdaPotsRepository;
15		import org.cardanofoundation.explorer.api.repository.ledgersync.EpochRepository;
16		import org.cardanofoundation.explorer.api.service.FetchRewardDataService;
17		import org.cardanofoundation.explorer.api.service.SupplyService;
18		import org.cardanofoundation.explorer.common.entity.ledgersync.AdaPots;
19
20		@Service
21		@RequiredArgsConstructor
22		@Log4j2
23		public class SupplyServiceImpl implements SupplyService {
24
25		private final AdaPotsRepository adaPotsRepository;
26
27		private final EpochRepository epochRepository;
28
29		private final FetchRewardDataService fetchRewardDataService;
30
31		public Long getSupplyCirculating() {
32
33		AdaPots latestAdaPots = getLatestAdaPots();
34
35	1 1. getSupplyCirculating : negated conditional → KILLED	if (Objects.isNull(latestAdaPots.getReserves())
36	1 1. getSupplyCirculating : negated conditional → KILLED	\|\| Objects.isNull(latestAdaPots.getTreasury())) {
37		log.info("The reserves or treasury of the epoch {} is null", latestAdaPots.getEpochNo());
38	1 1. getSupplyCirculating : replaced Long return value with 0L for org/cardanofoundation/explorer/api/service/impl/SupplyServiceImpl::getSupplyCirculating → KILLED	return null;
39		}
40		BigInteger circulatingSupply =
41		CommonConstant.TOTAL_ADA
42		.toBigInteger()
43		.subtract(latestAdaPots.getReserves())
44		.subtract(latestAdaPots.getTreasury());
45	1 1. getSupplyCirculating : replaced Long return value with 0L for org/cardanofoundation/explorer/api/service/impl/SupplyServiceImpl::getSupplyCirculating → KILLED	return circulatingSupply.divide(CommonConstant.ONE_ADA_IN_LOVELACES).longValue();
46		}
47
48		public Long getSupplyTotal() {
49		AdaPots latestAdaPots = getLatestAdaPots();
50	1 1. getSupplyTotal : negated conditional → KILLED	if (Objects.isNull(latestAdaPots.getReserves())) {
51		log.info("The reserves of the epoch {} is null", latestAdaPots.getEpochNo());
52	1 1. getSupplyTotal : replaced Long return value with 0L for org/cardanofoundation/explorer/api/service/impl/SupplyServiceImpl::getSupplyTotal → KILLED	return null;
53		}
54		BigInteger supplyTotal =
55		CommonConstant.TOTAL_ADA.toBigInteger().subtract(latestAdaPots.getReserves());
56	1 1. getSupplyTotal : replaced Long return value with 0L for org/cardanofoundation/explorer/api/service/impl/SupplyServiceImpl::getSupplyTotal → KILLED	return supplyTotal.divide(CommonConstant.ONE_ADA_IN_LOVELACES).longValue();
57		}
58
59		private AdaPots getLatestAdaPots() {
60		Optional<Integer> currentEpoch = epochRepository.findCurrentEpochNo();
61
62	1 1. getLatestAdaPots : negated conditional → KILLED	if (currentEpoch.isEmpty()) {
63		log.info("Current epoch is empty");
64	1 1. getLatestAdaPots : replaced return value with null for org/cardanofoundation/explorer/api/service/impl/SupplyServiceImpl::getLatestAdaPots → KILLED	return AdaPots.builder().build();
65		}
66		Integer currentEpochValue = currentEpoch.get();
67		boolean useKoiOs = fetchRewardDataService.useKoios();
68	2 1. getLatestAdaPots : negated conditional → KILLED 2. getLatestAdaPots : negated conditional → KILLED	if (useKoiOs && !fetchRewardDataService.checkAdaPots(currentEpochValue)) {
69		fetchRewardDataService.fetchAdaPots(List.of(currentEpochValue));
70		}
71	1 1. getLatestAdaPots : replaced return value with null for org/cardanofoundation/explorer/api/service/impl/SupplyServiceImpl::getLatestAdaPots → KILLED	return adaPotsRepository.findByEpochNo(currentEpoch.get());
72		}
73		}
		Mutations
35		1.1 Location : getSupplyCirculating Killed by : org.cardanofoundation.explorer.api.service.SupplyServiceTest.[engine:junit-jupiter]/[class:org.cardanofoundation.explorer.api.service.SupplyServiceTest]/[method:testGetSupplyCirculating_SuccessfulResponse()] negated conditional → KILLED
36		1.1 Location : getSupplyCirculating Killed by : org.cardanofoundation.explorer.api.service.SupplyServiceTest.[engine:junit-jupiter]/[class:org.cardanofoundation.explorer.api.service.SupplyServiceTest]/[method:testGetSupplyCirculating_SuccessfulResponse()] negated conditional → KILLED
38		1.1 Location : getSupplyCirculating Killed by : org.cardanofoundation.explorer.api.service.SupplyServiceTest.[engine:junit-jupiter]/[class:org.cardanofoundation.explorer.api.service.SupplyServiceTest]/[method:testGetSupplyCirculating_CurrentEpochIsEmpty()] replaced Long return value with 0L for org/cardanofoundation/explorer/api/service/impl/SupplyServiceImpl::getSupplyCirculating → KILLED
45		1.1 Location : getSupplyCirculating Killed by : org.cardanofoundation.explorer.api.service.SupplyServiceTest.[engine:junit-jupiter]/[class:org.cardanofoundation.explorer.api.service.SupplyServiceTest]/[method:testGetSupplyCirculating_SuccessfulResponse()] replaced Long return value with 0L for org/cardanofoundation/explorer/api/service/impl/SupplyServiceImpl::getSupplyCirculating → KILLED
50		1.1 Location : getSupplyTotal Killed by : org.cardanofoundation.explorer.api.service.SupplyServiceTest.[engine:junit-jupiter]/[class:org.cardanofoundation.explorer.api.service.SupplyServiceTest]/[method:testGetSupplyTotal_CurrentEpochIsEmpty()] negated conditional → KILLED
52		1.1 Location : getSupplyTotal Killed by : org.cardanofoundation.explorer.api.service.SupplyServiceTest.[engine:junit-jupiter]/[class:org.cardanofoundation.explorer.api.service.SupplyServiceTest]/[method:testGetSupplyTotal_CurrentEpochIsEmpty()] replaced Long return value with 0L for org/cardanofoundation/explorer/api/service/impl/SupplyServiceImpl::getSupplyTotal → KILLED
56		1.1 Location : getSupplyTotal Killed by : org.cardanofoundation.explorer.api.service.SupplyServiceTest.[engine:junit-jupiter]/[class:org.cardanofoundation.explorer.api.service.SupplyServiceTest]/[method:testGetSupplyTotal_SuccessfulResponse()] replaced Long return value with 0L for org/cardanofoundation/explorer/api/service/impl/SupplyServiceImpl::getSupplyTotal → KILLED
62		1.1 Location : getLatestAdaPots Killed by : org.cardanofoundation.explorer.api.service.SupplyServiceTest.[engine:junit-jupiter]/[class:org.cardanofoundation.explorer.api.service.SupplyServiceTest]/[method:testGetSupplyTotal_CurrentEpochIsEmpty()] negated conditional → KILLED
64		1.1 Location : getLatestAdaPots Killed by : org.cardanofoundation.explorer.api.service.SupplyServiceTest.[engine:junit-jupiter]/[class:org.cardanofoundation.explorer.api.service.SupplyServiceTest]/[method:testGetSupplyTotal_CurrentEpochIsEmpty()] replaced return value with null for org/cardanofoundation/explorer/api/service/impl/SupplyServiceImpl::getLatestAdaPots → KILLED
68		1.1 Location : getLatestAdaPots Killed by : org.cardanofoundation.explorer.api.service.SupplyServiceTest.[engine:junit-jupiter]/[class:org.cardanofoundation.explorer.api.service.SupplyServiceTest]/[method:testGetSupplyCirculating_ReservesOrTreasuryIsNull()] negated conditional → KILLED 2.2 Location : getLatestAdaPots Killed by : org.cardanofoundation.explorer.api.service.SupplyServiceTest.[engine:junit-jupiter]/[class:org.cardanofoundation.explorer.api.service.SupplyServiceTest]/[method:testGetSupplyCirculating_ReservesOrTreasuryIsNull()] negated conditional → KILLED
71		1.1 Location : getLatestAdaPots Killed by : org.cardanofoundation.explorer.api.service.SupplyServiceTest.[engine:junit-jupiter]/[class:org.cardanofoundation.explorer.api.service.SupplyServiceTest]/[method:testGetSupplyCirculating_ReservesOrTreasuryIsNull()] replaced return value with null for org/cardanofoundation/explorer/api/service/impl/SupplyServiceImpl::getLatestAdaPots → KILLED

SupplyServiceImpl.java

Mutations

Active mutators

Tests examined