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 static byte BCHAR_TO_UBYTE( bchar c )
{
return c.value;
}
public static int BCHAR_TO_UCHAR( bchar c )
{
return c.value;
}
public static byte CCHAR( bchar c )
{
return c.value;
}
