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

There is a newer version: 1.9.1

package net.jqwik.engine.properties.stateful;

import java.io.*;
import java.util.*;

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

class FixedActionsFailedActionSequence extends SequentialActionSequence implements Externalizable {

	private List> listOfActions;

	FixedActionsFailedActionSequence(List> listOfActions) {
		super(createGenerator(listOfActions), listOfActions.size());
		this.runState = RunState.FAILED;
		this.listOfActions = listOfActions;
		this.sequence.addAll(listOfActions);
	}

	// Needed for deserialization
	public FixedActionsFailedActionSequence() {
		super(createGenerator(new ArrayList<>()), 1);
		this.listOfActions = new ArrayList<>();
	}

	@Override
	public String toString() {
		String actionsString = JqwikStringSupport.displayString(runActions());
		return String.format("ActionSequence: %s", actionsString);
	}

	@Override
	public synchronized M run(M model) {
		runState = RunState.NOT_RUN;
		sequence.clear();
		return super.run(model);
	}

	@Override
	public void writeExternal(ObjectOutput out) throws IOException {
		out.writeObject(listOfActions);
	}

	@SuppressWarnings("unchecked")
	@Override
	public void readExternal(ObjectInput in) throws IOException, ClassNotFoundException {
		this.listOfActions = (List>) in.readObject();
		this.runState = RunState.FAILED;
		this.actionGenerator = createGenerator(this.listOfActions);
		this.intendedSize = this.listOfActions.size();
		this.sequence.addAll(this.listOfActions);
	}

	private static  ActionGenerator createGenerator(List> listOfActions) {
		return new ListActionGenerator<>(listOfActions);
	}

}