string member_name(member_name ast)
{
if (ast.ty != null)
{
return(type(ast.ty) + "." + ast.id.str);
}
else
{
return(ast.id.str);
}
}
virtual public void member_name(member_name ast, int indent)
{
if (ast.ty != null)
{
visit(ast.ty, indent);
Write(".{0}", ast.id.str);
}
else
{
Write("{0}", indent, ast.id.str);
}
}
