TedeeProperties.java

1 
package org.sanmibuh.tedee.lock.infrastructure;
2
3 
import jakarta.validation.Valid;
4 
import jakarta.validation.constraints.AssertTrue;
5 
import jakarta.validation.constraints.NotBlank;
6 
import jakarta.validation.constraints.NotNull;
7 
import java.time.Duration;
8 
import org.sanmibuh.framework.resilience.RetryProperties;
9 
import org.springframework.boot.context.properties.ConfigurationProperties;
10 
import org.springframework.validation.annotation.Validated;
11
12 
@Validated
13 
@ConfigurationProperties(prefix = "sanmibuh.rest.tedee")
14 
public record TedeeProperties(
15 
    @NotBlank String baseUrl,
16 
    @NotBlank String apiKey,
17 
    @NotBlank String callbackSecret,
18 
    @NotNull Duration callbackRegistrationInterval,
19 
    @Valid @NotNull RetryProperties retry) {
20
21 
  @AssertTrue(message = "callbackRegistrationInterval must be positive")
22 
  boolean isCallbackRegistrationIntervalPositive() {
23 3 1. isCallbackRegistrationIntervalPositive : negated conditional → KILLED
2. isCallbackRegistrationIntervalPositive : negated conditional → KILLED
3. isCallbackRegistrationIntervalPositive : replaced boolean return with true for org/sanmibuh/tedee/lock/infrastructure/TedeeProperties::isCallbackRegistrationIntervalPositive → KILLED
 
    return !callbackRegistrationInterval.isNegative() && !callbackRegistrationInterval.isZero();
24 
  }
25 
}

Mutations

23

1.1
Location : isCallbackRegistrationIntervalPositive
Killed by : org.sanmibuh.tedee.lock.infrastructure.TedeePropertiesTest.[engine:junit-jupiter]/[class:org.sanmibuh.tedee.lock.infrastructure.TedeePropertiesTest]/[test-template:should_startUp_whenRetryValuesAreAtTheirValidBoundary(%5BLjava.lang.String;)]/[test-template-invocation:#3] negated conditional → KILLED

2.2
Location : isCallbackRegistrationIntervalPositive
Killed by : org.sanmibuh.tedee.lock.infrastructure.TedeePropertiesTest.[engine:junit-jupiter]/[class:org.sanmibuh.tedee.lock.infrastructure.TedeePropertiesTest]/[test-template:should_startUp_whenRetryValuesAreAtTheirValidBoundary(%5BLjava.lang.String;)]/[test-template-invocation:#3] negated conditional → KILLED

3.3
Location : isCallbackRegistrationIntervalPositive
Killed by : org.sanmibuh.tedee.lock.infrastructure.TedeePropertiesTest.[engine:junit-jupiter]/[class:org.sanmibuh.tedee.lock.infrastructure.TedeePropertiesTest]/[test-template:should_failStartup_whenPropertyIsMissingOrBlank(%5BLjava.lang.String;)]/[test-template-invocation:#10] replaced boolean return with true for org/sanmibuh/tedee/lock/infrastructure/TedeeProperties::isCallbackRegistrationIntervalPositive → KILLED

Active mutators

Tests examined


Report generated by PIT 1.30.0 support