package au.id.zancanaro.javacheck.state.queue.commands;

import au.id.zancanaro.javacheck.state.Command;
import au.id.zancanaro.javacheck.state.CommandValue;
import au.id.zancanaro.javacheck.state.queue.MyQueue;
import au.id.zancanaro.javacheck.state.queue.QueueState;

import java.util.ArrayList;
import java.util.Queue;

public class New<T> extends Command<QueueState<T>, Void, Queue<T>> {
    @Override
    public boolean preCondition(QueueState<T> state, Void args) {
        return state == null;
    }

    @Override
    public Queue<T> runCommand(QueueState<T> state, Void args) {
        return new MyQueue<>();
    }

    @Override
    public QueueState<T> nextState(QueueState<T> state, Void args, CommandValue<Queue<T>> result) {
        return new QueueState<>(result, new ArrayList<>());
    }
}