public static void SetDefaultFile(Script script, StandardFileType file, Stream stream)
{
if (file == StandardFileType.StdIn)
SetDefaultFile(script, file, StandardIOFileUserDataBase.CreateInputStream(stream));
else
SetDefaultFile(script, file, StandardIOFileUserDataBase.CreateOutputStream(stream));
}
private static void SetStandardFile(Script S, StandardFileType file, Stream optionsStream)
{
Table R = S.Registry;
optionsStream = optionsStream ?? Script.GlobalOptions.Platform.IO_GetStandardStream(file);
FileUserDataBase udb = null;
if (file == StandardFileType.StdIn)
udb = StandardIOFileUserDataBase.CreateInputStream(optionsStream);
else
udb = StandardIOFileUserDataBase.CreateOutputStream(optionsStream);
R.Set("853BEAAF298648839E2C99D005E1DF94_STD_" + file.ToString(), UserData.Create(udb));
}