CheckPromptsCommand.java

package org.egothor.methodatlas.command;

import java.io.IOException;
import java.io.PrintWriter;
import java.io.UncheckedIOException;
import java.nio.file.Files;
import java.nio.file.Path;
import java.util.EnumMap;
import java.util.List;
import java.util.Map;

import org.egothor.methodatlas.ai.PromptTemplateKind;
import org.egothor.methodatlas.ai.PromptTemplateSet;
import org.egothor.methodatlas.ai.PromptTemplateValidator;

/**
 * Utility CLI mode ({@code -check-prompts}) that validates prompt templates and
 * prints their SHA-256 checksums without running a scan.
 *
 * <p>
 * For each {@link PromptTemplateKind} it reports whether the effective template
 * (the operator's override, if supplied via the matching flag, otherwise the
 * built-in default) is structurally valid, lists any problems, and prints the
 * checksum that a reproducibility receipt would record. It exits with status
 * {@code 1} if any template is invalid, making it suitable as a CI pre-flight
 * gate; otherwise {@code 0}.
 * </p>
 *
 * <p>
 * Validation covers placeholder correctness and the survival of the JSON
 * structural anchor the response parser needs; it cannot verify that a model will
 * follow the instructions (see {@link PromptTemplateValidator}).
 * </p>
 *
 * @since 4.1.0
 */
public final class CheckPromptsCommand implements Command {

    /** Flag that selects this utility mode. */
    public static final String FLAG_CHECK_PROMPTS = "-check-prompts";

    /** Flag supplying a custom method-classification template file. */
    public static final String FLAG_CLASSIFICATION_PROMPT = "-classification-prompt";

    /** Flag supplying a custom folded credential-triage appendix template file. */
    public static final String FLAG_TRIAGE_PROMPT = "-triage-prompt";

    /** Flag supplying a custom standalone credential-triage template file. */
    public static final String FLAG_DEDICATED_TRIAGE_PROMPT = "-dedicated-triage-prompt";

    private final Map<PromptTemplateKind, Path> overrides;

    /**
     * Creates a command for the supplied template overrides.
     *
     * @param overrides map of kind to override file; kinds absent from the map use
     *                  the built-in default; must not be {@code null}
     */
    /* default */ CheckPromptsCommand(Map<PromptTemplateKind, Path> overrides) {
        // Build via putAll rather than the EnumMap copy constructor, which rejects an
        // empty source map (it cannot infer the enum type from no entries).
        Map<PromptTemplateKind, Path> copy = new EnumMap<>(PromptTemplateKind.class);
        copy.putAll(overrides);
        this.overrides = copy;
    }

    /**
     * Builds a command by scanning raw command-line arguments for the three
     * prompt-override flags.
     *
     * @param args raw command-line arguments; must not be {@code null}
     * @return a configured command; never {@code null}
     */
    public static CheckPromptsCommand fromArgs(String... args) {
        Map<PromptTemplateKind, Path> overrides = new EnumMap<>(PromptTemplateKind.class);
        putIfPresent(overrides, args, FLAG_CLASSIFICATION_PROMPT, PromptTemplateKind.CLASSIFICATION);
        putIfPresent(overrides, args, FLAG_TRIAGE_PROMPT, PromptTemplateKind.TRIAGE_APPENDIX);
        putIfPresent(overrides, args, FLAG_DEDICATED_TRIAGE_PROMPT, PromptTemplateKind.DEDICATED_TRIAGE);
        return new CheckPromptsCommand(overrides);
    }

    private static void putIfPresent(Map<PromptTemplateKind, Path> map, String[] args, String flag,
            PromptTemplateKind kind) {
        for (int i = 0; i < args.length - 1; i++) {
            if (flag.equals(args[i])) {
                map.put(kind, Path.of(args[i + 1]));
                return;
            }
        }
    }

    /**
     * Validates each template kind and prints a report.
     *
     * @param out writer receiving the report; never {@code null}
     * @return {@code 0} when every template is valid; {@code 1} otherwise
     * @throws IOException never thrown directly; per-file read failures are reported
     *                     inline as validation failures
     */
    @Override
    public int execute(PrintWriter out) throws IOException {
        boolean allValid = true;
        for (PromptTemplateKind kind : PromptTemplateKind.values()) {
            allValid &= reportKind(out, kind);
        }
        out.println();
        out.println(allValid
                ? "All prompt templates are valid."
                : "One or more prompt templates are INVALID.");
        return allValid ? 0 : 1;
    }

    private boolean reportKind(PrintWriter out, PromptTemplateKind kind) {
        Path file = overrides.get(kind);
        String source = file == null ? "built-in default" : file.toString();
        String body;
        try {
            body = file == null ? PromptTemplateSet.defaults().get(kind) : Files.readString(file);
        } catch (IOException | UncheckedIOException e) {
            out.println(kind + " [" + source + "]: FAIL");
            out.println("  - cannot read file: " + e.getMessage());
            return false;
        }

        List<String> problems = PromptTemplateValidator.validate(kind, body);
        boolean ok = problems.isEmpty();
        out.println(kind + " [" + source + "]: " + (ok ? "PASS" : "FAIL"));
        out.println("  sha256: " + PromptTemplateSet.defaults().with(kind, body).hash(kind));
        for (String problem : problems) {
            out.println("  - " + problem);
        }
        return ok;
    }
}























Active mutators

CONDITIONALS_BOUNDARY
EMPTY_RETURNS
EXPERIMENTAL_SWITCH
FALSE_RETURNS
INCREMENTS
INVERT_NEGS
MATH
NULL_RETURNS
PRIMITIVE_RETURNS
REMOVE_CONDITIONALS_EQUAL_ELSE
REMOVE_CONDITIONALS_EQUAL_IF
REMOVE_CONDITIONALS_ORDER_ELSE
REMOVE_CONDITIONALS_ORDER_IF
TRUE_RETURNS
VOID_METHOD_CALLS

Tests examined

org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:missingOverrideFileIsReportedAsFailure(java.nio.file.Path)] (3 ms)
org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:invalidOverrideFailsAndExitsOne(java.nio.file.Path)] (1 ms)
org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:builtInDefaultsAllPassAndExitZero()] (0 ms)

Report generated by PIT 1.22.1

1		package org.egothor.methodatlas.command;
2
3		import java.io.IOException;
4		import java.io.PrintWriter;
5		import java.io.UncheckedIOException;
6		import java.nio.file.Files;
7		import java.nio.file.Path;
8		import java.util.EnumMap;
9		import java.util.List;
10		import java.util.Map;
11
12		import org.egothor.methodatlas.ai.PromptTemplateKind;
13		import org.egothor.methodatlas.ai.PromptTemplateSet;
14		import org.egothor.methodatlas.ai.PromptTemplateValidator;
15
16		/**
17		* Utility CLI mode ({@code -check-prompts}) that validates prompt templates and
18		* prints their SHA-256 checksums without running a scan.
19		*
20		* <p>
21		* For each {@link PromptTemplateKind} it reports whether the effective template
22		* (the operator's override, if supplied via the matching flag, otherwise the
23		* built-in default) is structurally valid, lists any problems, and prints the
24		* checksum that a reproducibility receipt would record. It exits with status
25		* {@code 1} if any template is invalid, making it suitable as a CI pre-flight
26		* gate; otherwise {@code 0}.
27		* </p>
28		*
29		* <p>
30		* Validation covers placeholder correctness and the survival of the JSON
31		* structural anchor the response parser needs; it cannot verify that a model will
32		* follow the instructions (see {@link PromptTemplateValidator}).
33		* </p>
34		*
35		* @since 4.1.0
36		*/
37		public final class CheckPromptsCommand implements Command {
38
39		/** Flag that selects this utility mode. */
40		public static final String FLAG_CHECK_PROMPTS = "-check-prompts";
41
42		/** Flag supplying a custom method-classification template file. */
43		public static final String FLAG_CLASSIFICATION_PROMPT = "-classification-prompt";
44
45		/** Flag supplying a custom folded credential-triage appendix template file. */
46		public static final String FLAG_TRIAGE_PROMPT = "-triage-prompt";
47
48		/** Flag supplying a custom standalone credential-triage template file. */
49		public static final String FLAG_DEDICATED_TRIAGE_PROMPT = "-dedicated-triage-prompt";
50
51		private final Map<PromptTemplateKind, Path> overrides;
52
53		/**
54		* Creates a command for the supplied template overrides.
55		*
56		* @param overrides map of kind to override file; kinds absent from the map use
57		* the built-in default; must not be {@code null}
58		*/
59		/* default */ CheckPromptsCommand(Map<PromptTemplateKind, Path> overrides) {
60		// Build via putAll rather than the EnumMap copy constructor, which rejects an
61		// empty source map (it cannot infer the enum type from no entries).
62		Map<PromptTemplateKind, Path> copy = new EnumMap<>(PromptTemplateKind.class);
63	1 1. <init> : removed call to java/util/Map::putAll → KILLED	copy.putAll(overrides);
64		this.overrides = copy;
65		}
66
67		/**
68		* Builds a command by scanning raw command-line arguments for the three
69		* prompt-override flags.
70		*
71		* @param args raw command-line arguments; must not be {@code null}
72		* @return a configured command; never {@code null}
73		*/
74		public static CheckPromptsCommand fromArgs(String... args) {
75		Map<PromptTemplateKind, Path> overrides = new EnumMap<>(PromptTemplateKind.class);
76	1 1. fromArgs : removed call to org/egothor/methodatlas/command/CheckPromptsCommand::putIfPresent → KILLED	putIfPresent(overrides, args, FLAG_CLASSIFICATION_PROMPT, PromptTemplateKind.CLASSIFICATION);
77	1 1. fromArgs : removed call to org/egothor/methodatlas/command/CheckPromptsCommand::putIfPresent → SURVIVED	putIfPresent(overrides, args, FLAG_TRIAGE_PROMPT, PromptTemplateKind.TRIAGE_APPENDIX);
78	1 1. fromArgs : removed call to org/egothor/methodatlas/command/CheckPromptsCommand::putIfPresent → KILLED	putIfPresent(overrides, args, FLAG_DEDICATED_TRIAGE_PROMPT, PromptTemplateKind.DEDICATED_TRIAGE);
79	1 1. fromArgs : replaced return value with null for org/egothor/methodatlas/command/CheckPromptsCommand::fromArgs → KILLED	return new CheckPromptsCommand(overrides);
80		}
81
82		private static void putIfPresent(Map<PromptTemplateKind, Path> map, String[] args, String flag,
83		PromptTemplateKind kind) {
84	4 1. putIfPresent : changed conditional boundary → SURVIVED 2. putIfPresent : removed conditional - replaced comparison check with false → KILLED 3. putIfPresent : Replaced integer subtraction with addition → KILLED 4. putIfPresent : removed conditional - replaced comparison check with true → KILLED	for (int i = 0; i < args.length - 1; i++) {
85	2 1. putIfPresent : removed conditional - replaced equality check with true → SURVIVED 2. putIfPresent : removed conditional - replaced equality check with false → KILLED	if (flag.equals(args[i])) {
86	1 1. putIfPresent : Replaced integer addition with subtraction → KILLED	map.put(kind, Path.of(args[i + 1]));
87		return;
88		}
89		}
90		}
91
92		/**
93		* Validates each template kind and prints a report.
94		*
95		* @param out writer receiving the report; never {@code null}
96		* @return {@code 0} when every template is valid; {@code 1} otherwise
97		* @throws IOException never thrown directly; per-file read failures are reported
98		* inline as validation failures
99		*/
100		@Override
101		public int execute(PrintWriter out) throws IOException {
102		boolean allValid = true;
103		for (PromptTemplateKind kind : PromptTemplateKind.values()) {
104	1 1. execute : Replaced bitwise AND with OR → KILLED	allValid &= reportKind(out, kind);
105		}
106	1 1. execute : removed call to java/io/PrintWriter::println → SURVIVED	out.println();
107	3 1. execute : removed conditional - replaced equality check with false → KILLED 2. execute : removed conditional - replaced equality check with true → KILLED 3. execute : removed call to java/io/PrintWriter::println → KILLED	out.println(allValid
108		? "All prompt templates are valid."
109		: "One or more prompt templates are INVALID.");
110	3 1. execute : removed conditional - replaced equality check with true → KILLED 2. execute : removed conditional - replaced equality check with false → KILLED 3. execute : replaced int return with 0 for org/egothor/methodatlas/command/CheckPromptsCommand::execute → KILLED	return allValid ? 0 : 1;
111		}
112
113		private boolean reportKind(PrintWriter out, PromptTemplateKind kind) {
114		Path file = overrides.get(kind);
115	2 1. reportKind : removed conditional - replaced equality check with true → KILLED 2. reportKind : removed conditional - replaced equality check with false → KILLED	String source = file == null ? "built-in default" : file.toString();
116		String body;
117		try {
118	2 1. reportKind : removed conditional - replaced equality check with false → KILLED 2. reportKind : removed conditional - replaced equality check with true → KILLED	body = file == null ? PromptTemplateSet.defaults().get(kind) : Files.readString(file);
119		} catch (IOException \| UncheckedIOException e) {
120	1 1. reportKind : removed call to java/io/PrintWriter::println → SURVIVED	out.println(kind + " [" + source + "]: FAIL");
121	1 1. reportKind : removed call to java/io/PrintWriter::println → KILLED	out.println(" - cannot read file: " + e.getMessage());
122	1 1. reportKind : replaced boolean return with true for org/egothor/methodatlas/command/CheckPromptsCommand::reportKind → KILLED	return false;
123		}
124
125		List<String> problems = PromptTemplateValidator.validate(kind, body);
126		boolean ok = problems.isEmpty();
127	3 1. reportKind : removed call to java/io/PrintWriter::println → KILLED 2. reportKind : removed conditional - replaced equality check with false → KILLED 3. reportKind : removed conditional - replaced equality check with true → KILLED	out.println(kind + " [" + source + "]: " + (ok ? "PASS" : "FAIL"));
128	1 1. reportKind : removed call to java/io/PrintWriter::println → KILLED	out.println(" sha256: " + PromptTemplateSet.defaults().with(kind, body).hash(kind));
129		for (String problem : problems) {
130	1 1. reportKind : removed call to java/io/PrintWriter::println → SURVIVED	out.println(" - " + problem);
131		}
132	2 1. reportKind : replaced boolean return with true for org/egothor/methodatlas/command/CheckPromptsCommand::reportKind → KILLED 2. reportKind : replaced boolean return with false for org/egothor/methodatlas/command/CheckPromptsCommand::reportKind → KILLED	return ok;
133		}
134		}
		Mutations
63		1.1 Location : <init> Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:invalidOverrideFailsAndExitsOne(java.nio.file.Path)] removed call to java/util/Map::putAll → KILLED
76		1.1 Location : fromArgs Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:invalidOverrideFailsAndExitsOne(java.nio.file.Path)] removed call to org/egothor/methodatlas/command/CheckPromptsCommand::putIfPresent → KILLED
77		1.1 Location : fromArgs Killed by : none removed call to org/egothor/methodatlas/command/CheckPromptsCommand::putIfPresent → SURVIVED Covering tests Covered by tests: org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:invalidOverrideFailsAndExitsOne(java.nio.file.Path)] org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:missingOverrideFileIsReportedAsFailure(java.nio.file.Path)]
78		1.1 Location : fromArgs Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:missingOverrideFileIsReportedAsFailure(java.nio.file.Path)] removed call to org/egothor/methodatlas/command/CheckPromptsCommand::putIfPresent → KILLED
79		1.1 Location : fromArgs Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:invalidOverrideFailsAndExitsOne(java.nio.file.Path)] replaced return value with null for org/egothor/methodatlas/command/CheckPromptsCommand::fromArgs → KILLED
84		1.1 Location : putIfPresent Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:invalidOverrideFailsAndExitsOne(java.nio.file.Path)] removed conditional - replaced comparison check with false → KILLED 2.2 Location : putIfPresent Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:invalidOverrideFailsAndExitsOne(java.nio.file.Path)] Replaced integer subtraction with addition → KILLED 3.3 Location : putIfPresent Killed by : none changed conditional boundary → SURVIVED Covering tests Covered by tests: org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:invalidOverrideFailsAndExitsOne(java.nio.file.Path)] org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:missingOverrideFileIsReportedAsFailure(java.nio.file.Path)] 4.4 Location : putIfPresent Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:invalidOverrideFailsAndExitsOne(java.nio.file.Path)] removed conditional - replaced comparison check with true → KILLED
85		1.1 Location : putIfPresent Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:invalidOverrideFailsAndExitsOne(java.nio.file.Path)] removed conditional - replaced equality check with false → KILLED 2.2 Location : putIfPresent Killed by : none removed conditional - replaced equality check with true → SURVIVED Covering tests Covered by tests: org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:invalidOverrideFailsAndExitsOne(java.nio.file.Path)] org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:missingOverrideFileIsReportedAsFailure(java.nio.file.Path)]
86		1.1 Location : putIfPresent Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:invalidOverrideFailsAndExitsOne(java.nio.file.Path)] Replaced integer addition with subtraction → KILLED
104		1.1 Location : execute Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:invalidOverrideFailsAndExitsOne(java.nio.file.Path)] Replaced bitwise AND with OR → KILLED
106		1.1 Location : execute Killed by : none removed call to java/io/PrintWriter::println → SURVIVED Covering tests Covered by tests: org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:builtInDefaultsAllPassAndExitZero()] org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:invalidOverrideFailsAndExitsOne(java.nio.file.Path)] org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:missingOverrideFileIsReportedAsFailure(java.nio.file.Path)]
107		1.1 Location : execute Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:builtInDefaultsAllPassAndExitZero()] removed conditional - replaced equality check with false → KILLED 2.2 Location : execute Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:invalidOverrideFailsAndExitsOne(java.nio.file.Path)] removed conditional - replaced equality check with true → KILLED 3.3 Location : execute Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:builtInDefaultsAllPassAndExitZero()] removed call to java/io/PrintWriter::println → KILLED
110		1.1 Location : execute Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:invalidOverrideFailsAndExitsOne(java.nio.file.Path)] removed conditional - replaced equality check with true → KILLED 2.2 Location : execute Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:builtInDefaultsAllPassAndExitZero()] removed conditional - replaced equality check with false → KILLED 3.3 Location : execute Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:invalidOverrideFailsAndExitsOne(java.nio.file.Path)] replaced int return with 0 for org/egothor/methodatlas/command/CheckPromptsCommand::execute → KILLED
115		1.1 Location : reportKind Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:invalidOverrideFailsAndExitsOne(java.nio.file.Path)] removed conditional - replaced equality check with true → KILLED 2.2 Location : reportKind Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:builtInDefaultsAllPassAndExitZero()] removed conditional - replaced equality check with false → KILLED
118		1.1 Location : reportKind Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:builtInDefaultsAllPassAndExitZero()] removed conditional - replaced equality check with false → KILLED 2.2 Location : reportKind Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:invalidOverrideFailsAndExitsOne(java.nio.file.Path)] removed conditional - replaced equality check with true → KILLED
120		1.1 Location : reportKind Killed by : none removed call to java/io/PrintWriter::println → SURVIVED Covering tests Covered by tests: org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:missingOverrideFileIsReportedAsFailure(java.nio.file.Path)]
121		1.1 Location : reportKind Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:missingOverrideFileIsReportedAsFailure(java.nio.file.Path)] removed call to java/io/PrintWriter::println → KILLED
122		1.1 Location : reportKind Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:missingOverrideFileIsReportedAsFailure(java.nio.file.Path)] replaced boolean return with true for org/egothor/methodatlas/command/CheckPromptsCommand::reportKind → KILLED
127		1.1 Location : reportKind Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:builtInDefaultsAllPassAndExitZero()] removed call to java/io/PrintWriter::println → KILLED 2.2 Location : reportKind Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:builtInDefaultsAllPassAndExitZero()] removed conditional - replaced equality check with false → KILLED 3.3 Location : reportKind Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:invalidOverrideFailsAndExitsOne(java.nio.file.Path)] removed conditional - replaced equality check with true → KILLED
128		1.1 Location : reportKind Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:builtInDefaultsAllPassAndExitZero()] removed call to java/io/PrintWriter::println → KILLED
130		1.1 Location : reportKind Killed by : none removed call to java/io/PrintWriter::println → SURVIVED Covering tests Covered by tests: org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:invalidOverrideFailsAndExitsOne(java.nio.file.Path)]
132		1.1 Location : reportKind Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:invalidOverrideFailsAndExitsOne(java.nio.file.Path)] replaced boolean return with true for org/egothor/methodatlas/command/CheckPromptsCommand::reportKind → KILLED 2.2 Location : reportKind Killed by : org.egothor.methodatlas.command.CheckPromptsCommandTest.[engine:junit-jupiter]/[class:org.egothor.methodatlas.command.CheckPromptsCommandTest]/[method:builtInDefaultsAllPassAndExitZero()] replaced boolean return with false for org/egothor/methodatlas/command/CheckPromptsCommand::reportKind → KILLED

CheckPromptsCommand.java

Mutations

Active mutators

Tests examined