public override void write( output_port p )
{
p.write( "#<" );
foreign.write_object( key, p );
for ( int i= 0 ; i < values.Length ; ++i )
{
p.write( " " );
foreign.write_object( values[i], p );
}
p.write( ">" );
}
public void write( output_port p )
{
p.write( "<exit" );
for( exit i= this ; i != null ; i= i.prev )
{
p.write( " " );
p.write( i.stamp );
}
p.write(">");
}
public override void write( output_port p )
{
p.write( "(" );
foreign.write_object( car, p );
Object rest= cdr;
while (rest is pair)
{
pair c= (pair)rest;
p.write( " " );
foreign.write_object( c.car, p );
rest= c.cdr;
}
if (rest != nil._nil)
{
p.write( " . " );
foreign.write_object( rest, p );
}
p.write( ")" );
}
public override void write( output_port p )
{
p.write( "[PORT " + name + " @" + filepos + "-" + matchstart + "." + forward + "." + matchstop + "-" + bufsiz + "." + bufpos + "]" );
}
public static Object write_utf8string( byte[] s, output_port p )
{
p.write( ucs2_string_to_utf8_string( "#u\"" + foreign.newstring( s ) + "\"" ) );
return p;
}
public static Object write_string( byte[] s, bool b, output_port p )
{
if (b)
p.write( (byte)'#' );
p.write( (byte)'\"' );
p.write( s );
p.write( (byte)'\"' );
return p;
}
public static Object write_llong( long n, output_port p )
{
p.write( (byte)'#' );
p.write( (byte)'l' );
p.write( n.ToString() );
return p;
}
public static Object display_ucs2string( char[] s, output_port p )
{
p.write( new String( s ) );
return p;
}
public static Object display_substring( byte[] s, int start, int end, output_port p )
{
p.write( s, start, end );
return p;
}
public override void write( output_port p )
{
p.write( value.ToString() );
}
public override void write( output_port p )
{
p.write( "#<" );
p.write( header );
p.write( ">" );
}
public override void write( output_port p )
{
p.write( "#<binary:port:" );
p.write( stream.ToString() );
p.write( ">" );
}
public override void write( output_port p )
{
p.write( "#e" + value );
}
public override void write( output_port p )
{
p.write( "#<input_pipe_port:" + name + ">" );
}
public override void write( output_port p )
{
p.write( "#<output_port: " + foreign.newstring( name ) + ">" );
}
public static Object display_llong( long n, output_port p )
{
p.write( n.ToString() );
return p;
}
public static Object display_string( byte[] s, output_port p )
{
p.write( s );
return p;
}
public override void write( output_port p )
{
p.write( pname );
}
public static Object display_ucs2( bucs2 s,
output_port p )
{
p.write( s.value );
return p;
}
public override void write( output_port p )
{
p.write( "#<socket:" + foreign.newstring( HOSTNAME() ) + "." + PORT() + ">" );
}
public static Object write_char( bchar c, output_port p )
{
int cn= c.value & 0xFF;
if ((0 < cn) && (cn < 128))
{
String rep= char_name[cn];
if (rep.Length != 0)
{
p.write( "#\\" );
p.write( rep );
return p;
}
}
p.write( "#a" );
p.write( ((byte)'0') + (cn / 100) );
p.write( ((byte)'0') + ((cn / 10) % 10) );
p.write( ((byte)'0') + (cn % 10) );
return p;
}
public override void write( output_port p )
{
p.write("#<weakptr:");
foreign.write_object(getData(), p);
p.write(">");
}
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;
}
public static Object bgl_write_bignum( bignum n, output_port p )
{
p.write( (byte)'#' );
p.write( (byte)'z' );
p.write( n.value.ToString() );
return p;
}
public static Object write_ucs2( bucs2 s,
output_port p )
{
int value= s.value;
p.write( "#u" );
p.write( hexa[ (value & 0xf000) >> 12 ] );
p.write( hexa[ (value & 0x0f00) >> 8 ] );
p.write( hexa[ (value & 0x00f0) >> 4 ] );
p.write( hexa[ (value & 0x000f) ] );
return p;
}
public static Object display_char( byte cn, output_port p )
{
p.write( cn );
return p;
}
public static Object bgl_display_bignum( bignum n, output_port p )
{
p.write( n.value.ToString() );
return p;
}
public static Object display_fixnum( bint n, output_port p )
{
p.write( n.value.ToString() );
return p;
}
public override void write( output_port p )
{
p.write( "#<socket:" +
((IPEndPoint)_server_socket.LocalEndPoint).Address +
":" + PORT() + ">" );
}
public static Object display_flonum( real n, output_port p )
{
p.write( n.value.ToString() );
return p;
}