private IEnumerable <Event> TestFilterStoreGetAfterMismatch_Putter(Environment env, FilterStore store)
{
yield return(store.Put(2));
yield return(env.Timeout(TimeSpan.FromSeconds(1)));
yield return(store.Put(1));
}
private IEnumerable <Event> FilterStoreProducer(Environment env, FilterStore sto)
{
while (true)
{
yield return(env.Timeout(TimeSpan.FromSeconds(4)));
yield return(sto.Put(FilterStoreObjA));
env.Log("{0}: Produce A", env.Now.Second);
yield return(env.Timeout(TimeSpan.FromSeconds(2)));
yield return(sto.Put(FilterStoreObjB));
env.Log("{0}: Produce B", env.Now.Second);
}
}
private IEnumerable <Event> TestFilterCallsWorstCasePutProcess(FilterStore store, List <string> log)
{
for (var i = 0; i < 4; i++)
{
log.Add(string.Format("put {0}", i));
yield return(store.Put(i));
}
}
SimEvents StorePutter_SameEvent(FilterStore <int> store)
{
var putEv = store.Put(0);
while (true)
{
yield return(putEv);
yield return(Env.Timeout(1));
}
}
SimEvents StoreGetter_SameEvent(FilterStore <int> store)
{
var getEv = store.Get();
while (true)
{
yield return(store.Put(5));
yield return(getEv);
yield return(Env.Timeout(1));
}
}
SimEvents StorePutter(FilterStore <int> store, int putCount, int timeout)
{
Debug.Assert(putCount >= 0);
Debug.Assert(timeout >= 0);
for (var i = 0; i < putCount; ++i)
{
Integers.Add(i);
yield return(store.Put(i));
if (timeout > 0)
{
yield return(Env.Timeout(timeout));
}
}
}
private IEnumerable<Event> TestFilterStoreGetAfterMismatch_Putter(Environment env, FilterStore store)
{
yield return store.Put(2);
yield return env.Timeout(TimeSpan.FromSeconds(1));
yield return store.Put(1);
}
private IEnumerable<Event> TestFilterCallsWorstCasePutProcess(FilterStore store, List<string> log)
{
for (var i = 0; i < 4; i++) {
log.Add(string.Format("put {0}", i));
yield return store.Put(i);
}
}
private IEnumerable<Event> FilterStoreProducer(Environment env, FilterStore sto)
{
while (true) {
yield return env.Timeout(TimeSpan.FromSeconds(4));
yield return sto.Put(FilterStoreObjA);
env.Log("{0}: Produce A", env.Now.Second);
yield return env.Timeout(TimeSpan.FromSeconds(2));
yield return sto.Put(FilterStoreObjB);
env.Log("{0}: Produce B", env.Now.Second);
}
}
