All Downloads are FREE. Search and download functionalities are using the official Maven repository.

net.jqwik.engine.descriptor.JqwikDescriptor Maven / Gradle / Ivy

The newest version!
package net.jqwik.engine.descriptor;

import java.lang.reflect.*;
import java.util.*;

import org.junit.platform.engine.*;

import net.jqwik.api.domains.*;

public interface JqwikDescriptor extends TestDescriptor {
	Set getDomains();

	AnnotatedElement getAnnotatedElement();

	default Optional getJqwikParent() {
		return getParent()
				   .filter(parent -> parent instanceof JqwikDescriptor)
				   .map(parent -> (JqwikDescriptor) parent);
	}
}




© 2015 - 2024 Weber Informatics LLC | Privacy Policy