public Sink(ILuggageQueue queue)
{
Contract.Requires(queue != null, "queue cannot be null");
this.LuggageCounter = 0;
this.queue = queue;
}
public SortingForwarder(ILuggageQueue queue, List<IComponent> nextComponents)
{
Contract.Requires(queue != null, "queue cannot be null");
Contract.Requires(nextComponents != null, "nextComponents cannot be null");
this.LuggageCounter = 0;
this.queue = queue;
this.nextComponents = nextComponents;
}
public Source(ILuggageQueue queue, List<Tuple<int, LuggageBag>> luggageAndDequeueDelta)
{
Contract.Requires(luggageAndDequeueDelta != null, "List of luggage may not be null");
Contract.Requires(luggageAndDequeueDelta.Count > 0, "List of luggage may not be empty.");
Contract.Requires(queue != null, "queue cannot be null");
this.LuggageCounter = 0;
this.queue = queue;
this.luggageAndDequeueDelta = luggageAndDequeueDelta;
}
public Forward(ILuggageQueue queue, IComponent nextComponent)
{
Contract.Requires(queue != null, "queue cannot be null");
Contract.Requires(nextComponent != null, "nextComponent cannot be null");
this.LuggageCounter = 0;
this.queue = queue;
this.nextComponent = nextComponent;
}
public Truck(int dequeueDeltaMiliSeconds, List<IProblem> problems, int id)
{
this.queue = new FIFOQueue();
this.name = "Trucky number: " + id.ToString();
this.enqueueBehaviour = new Receive(this.queue, dequeueDeltaMiliSeconds);
this.initialized = false;
this.problems = problems;
this.stuck = false;
}
public SortingMachine(int dequeueDeltaMiliSeconds, List<IProblem> problems, int id)
{
this.queue = new FIFOQueue();
this.sinks = new List<IComponent>();
this.name = "Sorting m. number: " + id.ToString();
this.enqueueBehaviour = new Receive(this.queue, dequeueDeltaMiliSeconds);
this.initialized = false;
this.problems = problems;
this.stuck = false;
this.allSinks = null;
}
public ConveyorBeltSplitter(int dequeueDeltaMiliSeconds, List<IProblem> problems, int id)
{
this.sinks = new List<IComponent>();
this.queue = new FIFOQueue();
this.name = "Splitter number: " + id.ToString();
this.enqueueBehaviour = new Receive(this.queue, dequeueDeltaMiliSeconds);
this.initialized = false;
this.initialized_thread = false;
this.problems = problems;
this.stuck = false;
this.allSinks = null;
}
