private void ExtractSubgraphs(ASTElement node, int context, string[] contextNames)
{
if (node.GetChildrenContextNumber(context) != 0)
{
m_ostream.WriteLine("\tsubgraph cluster" + m_clusterSerial++ + "{");
m_ostream.WriteLine("\t\tnode [style=filled,color=white];");
m_ostream.WriteLine("\t\tstyle=filled;");
m_ostream.WriteLine("\t\tcolor=lightgrey;");
m_ostream.Write("\t\t");
foreach (ASTElement ln in node.GetChildrenContext(context))
{
m_ostream.Write(ln.M_GraphVizName + ";");
}
m_ostream.WriteLine("\n\t\tlabel=" + contextNames[context] + ";");
m_ostream.WriteLine("\t}");
}
}
public override void AddChild(ASTElement child, int contextIndex)
{
base.AddChild(child, contextIndex);
}
