static void RunPatternQuery <TP, TR, TA>(string name, Afa <TP, TR, TA> afa, IStreamable <Empty, TP> source)
{
Console.WriteLine(name);
Console.WriteLine("Result: ");
source.Detect(afa).ToStreamEventObservable().Where(e => e.IsData).ForEachAsync(x => Console.WriteLine("Time: {0} Payload: {1}", x.StartTime, x.Payload)).Wait();
Console.WriteLine();
}
private static void RunPatternQueryGrouped <TP, TR, TA, TK>(string name, Afa <TP, TR, TA> afa, IStreamable <Empty, TP> source, Expression <Func <TP, TK> > groupingKey)
{
Console.WriteLine("[Grouped] " + name);
Console.WriteLine("Result: ");
source.SetProperty().IsSyncTimeSimultaneityFree(true)
.GroupApply(groupingKey, gc => gc.Detect(afa), (g, c) => new { Group = g.Key, Payload = c })
.ToStreamEventObservable()
.Where(e => e.IsData)
.ForEachAsync(x => Console.WriteLine("Time: {0} Payload: {1}", x.StartTime, x.Payload)).Wait();
Console.WriteLine();
}
public override List <string> getData()
{
List <string> data = base.getData();
data.Add(Vetelar.ToString("r"));
data.Add(Afa.ToString());
data.Add(BankiAtutalasE.ToString());
data.Add(Reszteljesites.ToString());
data.Add(Hatarido.ToString());
return(data);
}
static void GeneralAfaExamples()
{
// Directly specify the augmented finite automaton using arcs
#region Pattern 1: A followed immediately by B: AB
Afa <Payload, Empty> pat1 = new Afa <Payload, Empty>();
pat1.AddSingleElementArc(0, 1, (ts, ev, reg) => ev.Field1 == "A");
pat1.AddSingleElementArc(1, 2, (ts, ev, reg) => ev.Field1 == "B");
RunPatternQuery("Pattern 1: A followed immediately by B: AB", pat1, source1);
#endregion
#region Pattern 2: A followed by B (with events in between): A(.*)B
Afa <Payload, Empty> pat2 = new Afa <Payload, Empty>();
pat2.AddSingleElementArc(0, 1, (ts, ev, reg) => ev.Field1 == "A");
pat2.AddSingleElementArc(1, 1, (ts, ev, reg) => true);
pat2.AddSingleElementArc(1, 2, (ts, ev, reg) => ev.Field1 == "B");
RunPatternQuery("Pattern 2: A followed by B (with events in between): A(.*)B", pat2, source1);
#endregion
#region Pattern 3: A followed by first occurrence of B within 100 time units
Afa <Payload, long> pat3 = new Afa <Payload, long>();
pat3.AddSingleElementArc(0, 1, (ts, ev, reg) => ev.Field1 == "A", (ts, ev, reg) => ts);
pat3.AddSingleElementArc(1, 1, (ts, ev, reg) => ev.Field1 != "B" && ts < reg + 100);
pat3.AddSingleElementArc(1, 2, (ts, ev, reg) => ev.Field1 == "B" && ts < reg + 100);
RunPatternQuery("Pattern 3: A followed by first occurrence of B within 100 time units", pat3, source1);
#endregion
#region Pattern 4: A followed by no occurrences B within 100 time units
Afa <Payload, long> pat4 = new Afa <Payload, long>();
pat4.AddSingleElementArc(0, 1, (ts, ev, reg) => ev.Field1 == "A", (ts, ev, reg) => ts);
pat4.AddSingleElementArc(1, 1, (ts, ev, reg) => ev.Field1 != "B" && ts < reg + 100);
pat4.AddSingleElementArc(1, 2, (ts, ev, reg) => ts >= reg + 100);
RunPatternQuery("Pattern 4: A followed by no occurrences B within 100 time units", pat4, source1);
#endregion
#region Pattern 5: Sequence of A's followed by sequence of B's of same number
Afa <Payload, int> pat5 = new Afa <Payload, int>();
pat5.AddSingleElementArc(0, 0, (ts, ev, reg) => ev.Field1 == "A", (ts, ev, reg) => reg + 1);
pat5.AddSingleElementArc(0, 1, (ts, ev, reg) => ev.Field1 == "A", (ts, ev, reg) => reg + 1);
pat5.AddSingleElementArc(1, 1, (ts, ev, reg) => ev.Field1 == "B" && reg > 1, (ts, ev, reg) => reg - 1);
pat5.AddSingleElementArc(1, 2, (ts, ev, reg) => ev.Field1 == "B" && reg == 1, (ts, ev, reg) => reg - 1);
RunPatternQuery("Pattern 5: Sequence of A's followed by sequence of B's of same number", pat5, source1);
#endregion
}
private static void GeneralAfaSamples()
{
#region Pattern 1: A followed immediately by B: AB
var pat1 = new Afa <Payload, Empty, bool>();
pat1.AddSingleElementArc(0, 1, (ts, ev, reg) => ev.Field1 == "A");
pat1.AddSingleElementArc(1, 2, (ts, ev, reg) => ev.Field1 == "B");
RunPatternQuery("Pattern 1: A followed immediately by B: AB", pat1, source);
#endregion
#region Pattern 2: A followed by B (with events in between): A(.*)B
var pat2 = new Afa <Payload, Empty, bool>();
pat2.AddSingleElementArc(0, 1, (ts, ev, reg) => ev.Field1 == "A");
pat2.AddSingleElementArc(1, 1, (ts, ev, reg) => true);
pat2.AddSingleElementArc(1, 2, (ts, ev, reg) => ev.Field1 == "B");
RunPatternQuery("Pattern 2: A followed by B (with events in between): A(.*)B", pat2, source);
#endregion
#region Pattern 3: A followed by first occurrence of B within 100 time units
var pat3 = new Afa <Payload, long, bool>();
pat3.AddSingleElementArc(0, 1, (ts, ev, reg) => ev.Field1 == "A", (ts, ev, reg) => ts);
pat3.AddSingleElementArc(1, 1, (ts, ev, reg) => ev.Field1 != "B" && ts < reg + 100);
pat3.AddSingleElementArc(1, 2, (ts, ev, reg) => ev.Field1 == "B" && ts < reg + 100);
RunPatternQuery("Pattern 3: A followed by first occurrence of B within 100 time units", pat3, source);
#endregion
#region Pattern 4: A followed by no occurrences of B within 20 time units
var pat4 = new Afa <Payload, long, bool>();
pat4.AddSingleElementArc(0, 1, (ts, ev, reg) => ev.Field1 == "A", (ts, ev, reg) => ts);
pat4.AddSingleElementArc(1, 1, (ts, ev, reg) => ev.Field1 != "B" && ts < reg + 20);
pat4.AddSingleElementArc(1, 2, (ts, ev, reg) => ts >= reg + 20);
RunPatternQuery("Pattern 4: A followed by no occurrences of B within 20 time units", pat4, source);
#endregion
#region Pattern 5: Sequence of A's followed by sequence of B's of same number
var pat5 = new Afa <Payload, int, bool>();
pat5.AddSingleElementArc(0, 0, (ts, ev, reg) => ev.Field1 == "A", (ts, ev, reg) => reg + 1);
pat5.AddSingleElementArc(0, 1, (ts, ev, reg) => ev.Field1 == "A", (ts, ev, reg) => reg + 1);
pat5.AddSingleElementArc(1, 1, (ts, ev, reg) => ev.Field1 == "B" && reg > 1, (ts, ev, reg) => reg - 1);
pat5.AddSingleElementArc(1, 2, (ts, ev, reg) => ev.Field1 == "B" && reg == 1, (ts, ev, reg) => reg - 1);
RunPatternQuery("Pattern 5: Sequence of A's followed by sequence of B's of same number", pat5, source);
#endregion
}
