net.jqwik.engine.execution.lifecycle.ExtendedPropertyExecutionResult Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of jqwik-engine Show documentation

Jqwik Engine module

The newest version!

package net.jqwik.engine.execution.lifecycle;

import java.util.*;

import net.jqwik.api.*;
import net.jqwik.api.lifecycle.*;
import net.jqwik.engine.execution.*;

public interface ExtendedPropertyExecutionResult extends PropertyExecutionResult {

	boolean isExtended();

	@Override
	default Optional seed() {
		return generationInfo().randomSeed();
	}

	GenerationInfo generationInfo();

	GenerationMode generation();

	EdgeCasesExecutionResult edgeCases();

	class EdgeCasesExecutionResult {

		private final EdgeCasesMode mode;
		private final int total;
		private final int tried;

		public EdgeCasesExecutionResult(EdgeCasesMode mode, int total, int tried) {
			this.mode = mode;
			this.total = total;
			this.tried = tried;
		}

		public EdgeCasesMode mode() {
			return mode;
		}

		public int total() {
			return total;
		}

		public int tried() {
			return tried;
		}
	}

}