net.jqwik.engine.properties.stateful.ActionSequenceReportingFormat 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.properties.stateful;

import java.util.*;

import net.jqwik.api.*;
import net.jqwik.api.stateful.*;

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

	@Override
	public Object report(Object value) {
		ActionSequence sequence = (ActionSequence) value;
		return sequence.runActions();
	}

	@Override
	public Optional label(Object value) {
		ActionSequence sequence = (ActionSequence) value;
		String label = null;
		if (sequence.runState() == ActionSequence.RunState.NOT_RUN) {
			label = String.format("ActionSequence[%s]: %s actions intended ", sequence.runState().name(), sequence.size());
		} else {
			label = String.format("ActionSequence[%s]: %s actions run ", sequence.runState().name(), sequence.size());
		}
		return Optional.ofNullable(label);
	}
}