| public static write_object ( Object o, output_port p ) : Object | ||
| o | Object | |
| p | output_port | |
| return | Object | |
public static Object write_object( Object o, output_port p )
{
if (o == null)
p.write( "#<.NET:null>" );
else
if (o is obj)
((obj)o).write( p );
else
p.write( o.ToString() );
return p;
}