/*
* public static void StdWrite(int fd, String value)
*/
void _IL_Stdio_StdWrite_iString(ILExecThread *thread, ILInt32 fd,
ILString *value)
{
if(value != 0)
{
ILUInt16 *buf;
ILInt32 len = _ILStringToBuffer(thread, value, &buf);
StdWrite(fd, buf, len);
}
}
void Pause( string PGM *ptr ) {
//================================
// Process a PAUSE statement.
RTSysInit();
if( ptr != NULL ) {
_AccessFIO();
// Before writing the error message, flush standard output files so that
// if unit 6 is connected to the standard output device which has been
// redirected to a file, the file gets flushed before the error message
// is written.
FlushStdUnit();
StdBuffer();
StdWrite( ptr->strptr, ptr->len );
StdFlush();
_ReleaseFIO();
}
WaitForEnter();
}
/*
* public static void StdWrite(int fd, char[] value, int index, int count);
*/
void _IL_Stdio_StdWrite_iacii(ILExecThread *thread, ILInt32 fd,
System_Array *value, ILInt32 index,
ILInt32 count)
{
StdWrite(fd, ((ILUInt16 *)ArrayToBuffer(value)) + index, count);
}
