Package net.jqwik.engine.facades
Klasse DomainContextFacadeImpl
java.lang.Object
net.jqwik.api.domains.DomainContext.DomainContextFacade
net.jqwik.engine.facades.DomainContextFacadeImpl
public class DomainContextFacadeImpl
extends net.jqwik.api.domains.DomainContext.DomainContextFacade
-
Feldübersicht
Von Klasse geerbte Felder net.jqwik.api.domains.DomainContext.DomainContextFacade
implementation -
Konstruktorübersicht
Konstruktoren -
Methodenübersicht
Modifizierer und TypMethodeBeschreibungCollection<net.jqwik.api.configurators.ArbitraryConfigurator> getArbitraryConfigurators(net.jqwik.api.domains.DomainContextBase base) Collection<net.jqwik.api.providers.ArbitraryProvider> getArbitraryProviders(net.jqwik.api.domains.DomainContextBase base, int priority) Collection<net.jqwik.api.SampleReportingFormat> getReportingFormats(net.jqwik.api.domains.DomainContextBase base) net.jqwik.api.domains.DomainContextglobal()
-
Konstruktordetails
-
DomainContextFacadeImpl
public DomainContextFacadeImpl()
-
-
Methodendetails
-
global
public net.jqwik.api.domains.DomainContext global()- Angegeben von:
globalin Klassenet.jqwik.api.domains.DomainContext.DomainContextFacade
-
getArbitraryProviders
public Collection<net.jqwik.api.providers.ArbitraryProvider> getArbitraryProviders(net.jqwik.api.domains.DomainContextBase base, int priority) - Angegeben von:
getArbitraryProvidersin Klassenet.jqwik.api.domains.DomainContext.DomainContextFacade
-
getArbitraryConfigurators
public Collection<net.jqwik.api.configurators.ArbitraryConfigurator> getArbitraryConfigurators(net.jqwik.api.domains.DomainContextBase base) - Angegeben von:
getArbitraryConfiguratorsin Klassenet.jqwik.api.domains.DomainContext.DomainContextFacade
-
getReportingFormats
public Collection<net.jqwik.api.SampleReportingFormat> getReportingFormats(net.jqwik.api.domains.DomainContextBase base) - Angegeben von:
getReportingFormatsin Klassenet.jqwik.api.domains.DomainContext.DomainContextFacade
-