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