Package net.jqwik.engine.properties

Klasse GenericProperty

java.lang.Object

net.jqwik.engine.properties.GenericProperty

public class GenericProperty
extends Object

Konstruktorübersicht

Konstruktoren

Konstruktor	Beschreibung
GenericProperty(String name, PropertyConfiguration configuration, ParametersGenerator parametersGenerator, TryLifecycleExecutor tryLifecycleExecutor, Supplier<net.jqwik.api.lifecycle.TryLifecycleContext> tryLifecycleContextSupplier)

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
PropertyCheckResult	check(net.jqwik.api.Reporter reporter, net.jqwik.api.Reporting[] reporting)

Von Klasse geerbte Methoden java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Konstruktordetails

GenericProperty

public GenericProperty(String name,
 PropertyConfiguration configuration,
 ParametersGenerator parametersGenerator,
 TryLifecycleExecutor tryLifecycleExecutor,
 Supplier<net.jqwik.api.lifecycle.TryLifecycleContext> tryLifecycleContextSupplier)

Methodendetails

check

public PropertyCheckResult check(net.jqwik.api.Reporter reporter,
 net.jqwik.api.Reporting[] reporting)