public override void Dump(SourceBuilder builder)
{
// first dump check
builder.AppendFront("CheckCandidate ForIsomorphyPatternPath ");
builder.AppendFormat("on {0} node:{1} last match at previous nesting level in:{2}",
PatternElementName, IsNode, LastMatchAtPreviousNestingLevel);
builder.Append("\n");
// then operations for case check failed
if (CheckFailedOperations != null)
{
builder.Indent();
CheckFailedOperations.Dump(builder);
builder.Unindent();
}
}
public override void Dump(SourceBuilder builder)
{
// first dump check
builder.AppendFront("CheckCandidate MapWithStorage ");
builder.AppendFormat("on {0} by {1} from {2} node:{3}\n",
PatternElementName, SourcePatternElementName,
StorageName, IsNode);
// then operations for case check failed
if (CheckFailedOperations != null)
{
builder.Indent();
CheckFailedOperations.Dump(builder);
builder.Unindent();
}
}
public override void Dump(SourceBuilder builder)
{
// first dump local content
builder.AppendFront("CheckPartialMatch ForDuplicate with ");
foreach (string neededElement in NeededElements)
{
builder.AppendFormat("{0} ", neededElement);
}
builder.Append("\n");
// then operations for case check failed
if (CheckFailedOperations != null)
{
builder.Indent();
CheckFailedOperations.Dump(builder);
builder.Unindent();
}
}
public override void Dump(SourceBuilder builder)
{
// first dump check
builder.AppendFront("CheckCandidate ForIsomorphyGlobal ");
builder.AppendFormat("on {0} node:{1} ",
PatternElementName, IsNode);
if (GloballyHomomorphElements != null)
{
builder.Append("but accept if ");
foreach (string name in GloballyHomomorphElements)
{
builder.AppendFormat("{0} ", name);
}
}
builder.Append("\n");
// then operations for case check failed
if (CheckFailedOperations != null)
{
builder.Indent();
CheckFailedOperations.Dump(builder);
builder.Unindent();
}
}
public override void Dump(SourceBuilder builder)
{
// first dump check
builder.AppendFront("CheckPartialMatch ByCondition ");
builder.AppendFormat("{0} with ", ConditionExpression);
foreach (string neededElement in NeededElements)
{
builder.Append(neededElement);
builder.Append(" ");
}
foreach (string neededVar in NeededVariables)
{
builder.Append(neededVar);
builder.Append(" ");
}
builder.Append("\n");
// then operations for case check failed
if (CheckFailedOperations != null)
{
builder.Indent();
CheckFailedOperations.Dump(builder);
builder.Unindent();
}
}