net.jqwik.engine.execution.reporting.StreamReportingFormat 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.reporting;

import java.util.*;

import net.jqwik.api.*;
import net.jqwik.engine.properties.arbitraries.*;

public class StreamReportingFormat implements SampleReportingFormat {
	@Override
	public boolean appliesTo(Object value) {
		return value instanceof ReportableStream;
	}

	@Override
	public Object report(Object value) {
		@SuppressWarnings("rawtypes")
		ReportableStream stream = (ReportableStream) value;
		return stream.values();
	}

	@Override
	public Optional label(Object value) {
		return Optional.of("Stream.of ");
	}
}