public override void Emit(SourceBuilder sourceCode)
{
sourceCode.AppendFrontFormat("// build match of {0} for patternpath checks\n",
PatternGraphName);
sourceCode.AppendFrontFormat("if({0}==null) {0} = new {1}.{2}();\n",
NamesOfEntities.PatternpathMatch(PatternGraphName),
RulePatternClassName,
NamesOfEntities.MatchClassName(PatternGraphName));
sourceCode.AppendFrontFormat("{0}._matchOfEnclosingPattern = {1};\n",
NamesOfEntities.PatternpathMatch(PatternGraphName), MatchOfNestingPattern);
}
/// <summary>
/// Emits the matcher source code for the search program
/// head, search program operations list in depth first walk over search program operations list, tail
/// </summary>
public override void Emit(SourceBuilder sourceCode)
{
#if RANDOM_LOOKUP_LIST_START
sourceCode.AppendFront("private Random random = new Random(13795661);\n");
#endif
if (Parallel)
{
sourceCode.AppendFront("public override void " + Name + "_parallelized"
+ "(List<Stack<GRGEN_LIBGR.IMatch>> foundPartialMatches, "
+ "int maxMatches, int isoSpace, int threadId)\n");
}
else
{
sourceCode.AppendFront("public override void " + Name
+ "(List<Stack<GRGEN_LIBGR.IMatch>> foundPartialMatches, "
+ "int maxMatches, int isoSpace)\n");
}
sourceCode.AppendFront("{\n");
sourceCode.Indent();
sourceCode.AppendFront("GRGEN_LGSP.LGSPGraph graph = actionEnv.graph;\n");
if (Parallel)
{
sourceCode.AppendFront("List<ushort> flagsPerElement = graph.flagsPerThreadPerElement[threadId];\n");
sourceCode.AppendFront("List<ushort> flagsPerElement0 = graph.flagsPerThreadPerElement[0];\n");
sourceCode.AppendFront("List<ushort> flagsPerElementGlobal = graph.flagsPerThreadPerElement[threadId];\n");
}
foreach (string graphsOnPath in NamesOfPatternGraphsOnPathToEnclosedPatternpath)
{
sourceCode.AppendFrontFormat("{0}.{1} {2} = null;\n",
RulePatternClassName, NamesOfEntities.MatchClassName(graphsOnPath),
NamesOfEntities.PatternpathMatch(graphsOnPath));
}
GenerateIndependentsMatchObjects(sourceCode);
OperationsList.Emit(sourceCode);
sourceCode.AppendFront("return;\n");
sourceCode.Unindent();
sourceCode.AppendFront("}\n");
}
/// <summary>
/// Emits the matcher source code for the search program
/// head, search program operations list in depth first walk over search program operations list, tail
/// </summary>
public override void Emit(SourceBuilder sourceCode)
{
#if RANDOM_LOOKUP_LIST_START
sourceCode.AppendFront("private Random random = new Random(13795661);\n");
#endif
if (Parallel)
{
sourceCode.AppendFront("public override void " + Name + "_parallelized"
+ "(List<Stack<GRGEN_LIBGR.IMatch>> foundPartialMatches, "
+ "int maxMatches, int isoSpace, int threadId)\n");
}
else
{
sourceCode.AppendFront("public override void " + Name
+ "(List<Stack<GRGEN_LIBGR.IMatch>> foundPartialMatches, "
+ "int maxMatches, int isoSpace)\n");
}
sourceCode.AppendFront("{\n");
sourceCode.Indent();
sourceCode.AppendFront("bool patternFound = false;\n");
sourceCode.AppendFront("GRGEN_LGSP.LGSPGraph graph = actionEnv.graph;\n");
if (Parallel)
{
sourceCode.AppendFront("List<ushort> flagsPerElement = graph.flagsPerThreadPerElement[threadId];\n");
sourceCode.AppendFront("List<ushort> flagsPerElement0 = graph.flagsPerThreadPerElement[0];\n");
sourceCode.AppendFront("List<ushort> flagsPerElementGlobal = graph.flagsPerThreadPerElement[threadId];\n");
}
foreach (string graphsOnPath in NamesOfPatternGraphsOnPathToEnclosedPatternpath)
{
sourceCode.AppendFrontFormat("{0}.{1} {2} = null;\n",
RulePatternClassName, NamesOfEntities.MatchClassName(graphsOnPath),
NamesOfEntities.PatternpathMatch(graphsOnPath));
}
GenerateIndependentsMatchObjects(sourceCode);
if (WasIndependentInlined)
{
sourceCode.AppendFrontFormat("Dictionary<int, {0}> {1} = null;\n",
RulePatternClassName + "." + NamesOfEntities.MatchClassName(IterPathPrefix + IterPatternName),
NamesOfEntities.FoundMatchesForFilteringVariable());
}
OperationsList.Emit(sourceCode);
if (WasIndependentInlined)
{
sourceCode.AppendFrontFormat("if({0} != null)\n",
NamesOfEntities.FoundMatchesForFilteringVariable());
sourceCode.AppendFront("{\n");
sourceCode.Indent();
sourceCode.AppendFrontFormat("foreach({0} toClean in {1}.Values) toClean.CleanNextWithSameHash();\n",
RulePatternClassName + "." + NamesOfEntities.MatchClassName(IterPathPrefix + IterPatternName),
NamesOfEntities.FoundMatchesForFilteringVariable());
sourceCode.Unindent();
sourceCode.AppendFront("}\n");
}
sourceCode.AppendFront("return;\n");
sourceCode.Unindent();
sourceCode.AppendFront("}\n");
}
/// <summary>
/// Emits the matcher source code for all search programs
/// first head of matching function of the current search program
/// then the search program operations list in depth first walk over search program operations list
/// then tail of matching function of the current search program
/// and finally continues in missing preset search program list by emitting following search program
/// </summary>
public override void Emit(SourceBuilder sourceCode)
{
string matchType = RulePatternClassName + "." + NamesOfEntities.MatchInterfaceName(PatternName);
string matchesType = "GRGEN_LIBGR.IMatchesExact<" + matchType + ">";
sourceCode.AppendFront("\n");
sourceCode.AppendFrontFormat("private void {0}()\n", Name);
sourceCode.AppendFront("{\n");
sourceCode.Indent();
sourceCode.AppendFront("threadId = GRGEN_LGSP.WorkerPool.ThreadId;\n");
//sourceCode.AppendFrontFormat("Console.WriteLine(\"start work for {0} at threadId \" + threadId);\n", PatternName);
sourceCode.AppendFront("GRGEN_LGSP.LGSPActionExecutionEnvironment actionEnv = actionEnvParallel;\n");
sourceCode.AppendFront("int maxMatches = maxMatchesParallel;\n");
sourceCode.AppendFront("GRGEN_LGSP.LGSPGraph graph = actionEnv.graph;\n");
sourceCode.AppendFront("List<ushort> flagsPerElement = graph.flagsPerThreadPerElement[threadId];\n");
sourceCode.AppendFront("List<ushort> flagsPerElement0 = graph.flagsPerThreadPerElement[0];\n");
sourceCode.AppendFront("List<ushort> flagsPerElementGlobal = graph.flagsPerThreadPerElement[threadId];\n");
sourceCode.AppendFront("int isoSpace = 0;\n");
if (NamesOfPatternGraphsOnPathToEnclosedPatternpath.Count > 0)
{
sourceCode.AppendFront("bool searchPatternpath = false;\n");
}
foreach (string graphsOnPath in NamesOfPatternGraphsOnPathToEnclosedPatternpath)
{
sourceCode.AppendFrontFormat("{0}.{1} {2} = null;\n",
RulePatternClassName, NamesOfEntities.MatchClassName(graphsOnPath),
NamesOfEntities.PatternpathMatch(graphsOnPath));
}
if (SetupSubpatternMatching)
{
sourceCode.AppendFront("Stack<GRGEN_LGSP.LGSPSubpatternAction> openTasks = new Stack<"
+ "GRGEN_LGSP.LGSPSubpatternAction>();\n");
sourceCode.AppendFront("List<Stack<GRGEN_LIBGR.IMatch>> foundPartialMatches = new List<Stack<"
+ "GRGEN_LIBGR.IMatch>>();\n");
sourceCode.AppendFront("List<Stack<GRGEN_LIBGR.IMatch>> matchesList = foundPartialMatches;\n");
}
GenerateIndependentsMatchObjects(sourceCode);
if (WasIndependentInlined)
{
sourceCode.AppendFrontFormat("Dictionary<int, {0}> {1} = null;\n",
RulePatternClassName + "." + NamesOfEntities.MatchClassName(PatternName),
NamesOfEntities.FoundMatchesForFilteringVariable());
}
if (EmitProfiling)
{
sourceCode.AppendFront("long searchStepsAtLoopStepBegin;\n");
}
OperationsList.Emit(sourceCode);
//sourceCode.AppendFrontFormat("Console.WriteLine(\"work done for {0} at threadId \" + threadId);\n", PatternName);
if (EmitProfiling)
{
sourceCode.AppendFrontFormat("if(maxMatches==1) actionEnv.PerformanceInfo.ActionProfiles[\"{0}\"].averagesPerThread[threadId].searchStepsSingle.Add(actionEnv.PerformanceInfo.SearchStepsPerThread[threadId]);\n", PackagePrefixedPatternName);
sourceCode.AppendFrontFormat("else actionEnv.PerformanceInfo.ActionProfiles[\"{0}\"].averagesPerThread[threadId].searchStepsMultiple.Add(actionEnv.PerformanceInfo.SearchStepsPerThread[threadId]);\n", PackagePrefixedPatternName);
sourceCode.AppendFrontFormat("if(maxMatches==1) actionEnv.PerformanceInfo.ActionProfiles[\"{0}\"].averagesPerThread[threadId].loopStepsSingle.Add(actionEnv.PerformanceInfo.LoopStepsPerThread[threadId]);\n", PackagePrefixedPatternName);
sourceCode.AppendFrontFormat("else actionEnv.PerformanceInfo.ActionProfiles[\"{0}\"].averagesPerThread[threadId].loopStepsMultiple.Add(actionEnv.PerformanceInfo.LoopStepsPerThread[threadId]);\n", PackagePrefixedPatternName);
sourceCode.AppendFrontFormat("if(maxMatches==1) actionEnv.PerformanceInfo.ActionProfiles[\"{0}\"].averagesPerThread[threadId].searchStepsPerLoopStepSingle.Add(actionEnv.PerformanceInfo.SearchStepsPerThread[threadId] - searchStepsAtLoopStepBegin);\n", PackagePrefixedPatternName);
sourceCode.AppendFrontFormat("else actionEnv.PerformanceInfo.ActionProfiles[\"{0}\"].averagesPerThread[threadId].searchStepsPerLoopStepMultiple.Add(actionEnv.PerformanceInfo.SearchStepsPerThread[threadId] - searchStepsAtLoopStepBegin);\n", PackagePrefixedPatternName);
}
if (WasIndependentInlined)
{
sourceCode.AppendFrontFormat("if({0} != null)\n",
NamesOfEntities.FoundMatchesForFilteringVariable());
sourceCode.AppendFront("{\n");
sourceCode.Indent();
sourceCode.AppendFrontFormat("foreach({0} toClean in {1}.Values) toClean.CleanNextWithSameHash();\n",
RulePatternClassName + "." + NamesOfEntities.MatchClassName(PatternName),
NamesOfEntities.FoundMatchesForFilteringVariable());
sourceCode.Unindent();
sourceCode.AppendFront("}\n");
}
sourceCode.AppendFront("return;\n");
sourceCode.Unindent();
sourceCode.AppendFront("}\n");
Debug.Assert(Next == null);
}
/// <summary>
/// Emits the matcher source code for all search programs
/// first head of matching function of the current search program
/// then the search program operations list in depth first walk over search program operations list
/// then tail of matching function of the current search program
/// and finally continues in missing preset search program list by emitting following search program
/// </summary>
public override void Emit(SourceBuilder sourceCode)
{
#if RANDOM_LOOKUP_LIST_START
sourceCode.AppendFront("private Random random = new Random(13795661);\n");
#endif
string matchType = RulePatternClassName + "." + NamesOfEntities.MatchInterfaceName(PatternName);
string matchesType = "GRGEN_LIBGR.IMatchesExact<" + matchType + ">";
sourceCode.AppendFrontFormat("public {0} {1}("
+ "GRGEN_LGSP.LGSPActionExecutionEnvironment actionEnv, int maxMatches{2})\n", matchesType, Name, Parameters);
sourceCode.AppendFront("{\n");
sourceCode.Indent();
if (Arguments != null)
{
sourceCode.AppendFront("// maybe null dispatching\n");
EmitMaybeNullDispatching(sourceCode, 0, 0);
}
sourceCode.AppendFront("GRGEN_LGSP.LGSPGraph graph = actionEnv.graph;\n");
sourceCode.AppendFront("matches.Clear();\n");
sourceCode.AppendFront("int isoSpace = 0;\n");
if (NamesOfPatternGraphsOnPathToEnclosedPatternpath.Count > 0)
{
sourceCode.AppendFront("bool searchPatternpath = false;\n");
}
foreach (string graphsOnPath in NamesOfPatternGraphsOnPathToEnclosedPatternpath)
{
sourceCode.AppendFrontFormat("{0}.{1} {2} = null;\n",
RulePatternClassName, NamesOfEntities.MatchClassName(graphsOnPath),
NamesOfEntities.PatternpathMatch(graphsOnPath));
}
if (SetupSubpatternMatching)
{
sourceCode.AppendFront("Stack<GRGEN_LGSP.LGSPSubpatternAction> openTasks = new Stack<"
+ "GRGEN_LGSP.LGSPSubpatternAction>();\n");
sourceCode.AppendFront("List<Stack<GRGEN_LIBGR.IMatch>> foundPartialMatches = new List<Stack<"
+ "GRGEN_LIBGR.IMatch>>();\n");
sourceCode.AppendFront("List<Stack<GRGEN_LIBGR.IMatch>> matchesList = foundPartialMatches;\n");
}
GenerateIndependentsMatchObjects(sourceCode);
if (WasIndependentInlined)
{
sourceCode.AppendFrontFormat("Dictionary<int, {0}> {1} = null;\n",
RulePatternClassName + "." + NamesOfEntities.MatchClassName(PatternName),
NamesOfEntities.FoundMatchesForFilteringVariable());
}
if (EmitProfiling)
{
sourceCode.AppendFront("long searchStepsAtBegin = actionEnv.PerformanceInfo.SearchSteps;\n");
sourceCode.AppendFront("long searchStepsAtLoopStepBegin = searchStepsAtBegin;\n");
sourceCode.AppendFront("int loopSteps = 0;\n");
}
OperationsList.Emit(sourceCode);
if (EmitProfiling)
{
sourceCode.AppendFrontFormat("++actionEnv.PerformanceInfo.ActionProfiles[\"{0}\"].callsTotal;\n", PackagePrefixedPatternName);
sourceCode.AppendFrontFormat("actionEnv.PerformanceInfo.ActionProfiles[\"{0}\"].searchStepsTotal += actionEnv.PerformanceInfo.SearchSteps - searchStepsAtBegin;\n", PackagePrefixedPatternName);
sourceCode.AppendFrontFormat("actionEnv.PerformanceInfo.ActionProfiles[\"{0}\"].loopStepsTotal += loopSteps;\n", PackagePrefixedPatternName);
sourceCode.AppendFrontFormat("actionEnv.PerformanceInfo.ActionProfiles[\"{0}\"].averagesPerThread[0].searchStepsTotal += actionEnv.PerformanceInfo.SearchSteps - searchStepsAtBegin;\n", PackagePrefixedPatternName);
sourceCode.AppendFrontFormat("actionEnv.PerformanceInfo.ActionProfiles[\"{0}\"].averagesPerThread[0].loopStepsTotal += loopSteps;\n", PackagePrefixedPatternName);
sourceCode.AppendFrontFormat("if(maxMatches==1) actionEnv.PerformanceInfo.ActionProfiles[\"{0}\"].averagesPerThread[0].searchStepsSingle.Add(actionEnv.PerformanceInfo.SearchSteps - searchStepsAtBegin);\n", PackagePrefixedPatternName);
sourceCode.AppendFrontFormat("else actionEnv.PerformanceInfo.ActionProfiles[\"{0}\"].averagesPerThread[0].searchStepsMultiple.Add(actionEnv.PerformanceInfo.SearchSteps - searchStepsAtBegin);\n", PackagePrefixedPatternName);
sourceCode.AppendFrontFormat("if(maxMatches==1) actionEnv.PerformanceInfo.ActionProfiles[\"{0}\"].averagesPerThread[0].loopStepsSingle.Add(loopSteps);\n", PackagePrefixedPatternName);
sourceCode.AppendFrontFormat("else actionEnv.PerformanceInfo.ActionProfiles[\"{0}\"].averagesPerThread[0].loopStepsMultiple.Add(loopSteps);\n", PackagePrefixedPatternName);
}
if (WasIndependentInlined)
{
sourceCode.AppendFrontFormat("if({0} != null)\n",
NamesOfEntities.FoundMatchesForFilteringVariable());
sourceCode.AppendFront("{\n");
sourceCode.Indent();
sourceCode.AppendFrontFormat("foreach({0} toClean in {1}.Values) toClean.CleanNextWithSameHash();\n",
RulePatternClassName + "." + NamesOfEntities.MatchClassName(PatternName),
NamesOfEntities.FoundMatchesForFilteringVariable());
sourceCode.Unindent();
sourceCode.AppendFront("}\n");
}
#if ENSURE_FLAGS_IN_GRAPH_ARE_EMPTY_AT_LEAVING_TOP_LEVEL_MATCHING_ACTION
sourceCode.AppendFront("graph.CheckEmptyFlags();\n");
#endif
sourceCode.AppendFront("return matches;\n");
sourceCode.Unindent();
sourceCode.AppendFront("}\n");
// emit search subprograms
if (Next != null)
{
Next.Emit(sourceCode);
}
}
