package au.id.zancanaro.javacheck.state.queue; import au.id.zancanaro.javacheck.state.CommandValue; import java.util.List; import java.util.Queue; public class QueueState { private final CommandValue> concreteQueue; private final List abstractQueue; public QueueState(CommandValue> concreteQueue, List abstractQueue) { this.concreteQueue = concreteQueue; this.abstractQueue = abstractQueue; } public QueueState withAbstractQueue(List abstractQueue) { return new QueueState<>(this.concreteQueue, abstractQueue); } public Queue getConcreteQueue() { return concreteQueue.get(); } public List getAbstractQueue() { return abstractQueue; } }