public object Visit(ASTRingMembership node, object data)
{
System.Console.Out.WriteLine(IndentString() + node + " " + node.NumOfMembership);
++indent;
data = node.ChildrenAccept(this, data);
--indent;
return(data);
}
public object Visit(ASTRingMembership node, object data)
{
return(new RingMembershipAtom(node.NumOfMembership, builder));
}
public object Visit(ASTRingMembership node, object data)
{
// TODO: "ring" is a property, but how about the number of rings?
return("ring");
}
