public static string node(syntax_tree_node tn) { string_ref sr=new string_ref(); get_node_info gni=new get_node_info(sr); tn.visit(gni); return sr.s; }
public static string node(syntax_tree_node tn) { string_ref sr = new string_ref(); get_node_info gni = new get_node_info(sr); tn.visit(gni); return(sr.s); }