net.jqwik.engine.facades.DomainContextFacadeImpl 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.facades;

import java.util.*;

import net.jqwik.api.*;
import net.jqwik.api.configurators.*;
import net.jqwik.api.domains.*;
import net.jqwik.api.providers.*;
import net.jqwik.engine.execution.lifecycle.*;
import net.jqwik.engine.properties.*;

public class DomainContextFacadeImpl extends DomainContext.DomainContextFacade {

	@Override
	public DomainContext global() {
		return CurrentDomainContext.GLOBAL_DOMAIN_CONTEXT;
	}

	@Override
	public Collection getArbitraryProviders(DomainContextBase base, int priority) {
		return DomainContextBaseProviders.forContextBase(base, priority);
	}

	@Override
	public Collection getArbitraryConfigurators(DomainContextBase base) {
		return DomainContextBaseConfigurators.forContextBase(base);
	}

	@Override
	public Collection getReportingFormats(DomainContextBase base) {
		return DomainContextBaseReportingFormats.forContextBase(base);
	}

}