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(); } }