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);
}
public get_node_info(string_ref sr)
{
this.sr = sr;
}
public get_node_info(string_ref sr)
{
this.sr=sr;
}