| IMPLEMENTATION MODULE IOChanUtils ; | |
| IMPORT IOChan, SFIO, RTio ; | |
| (* | |
| GetFileName - returns the filename as a new string associated | |
| with chanid c. This string should be killed by | |
| the caller. | |
| *) | |
| PROCEDURE GetFileName (c: IOChan.ChanId) : String ; | |
| BEGIN | |
| RETURN SFIO.GetFileName (GetFile (c)) | |
| END GetFileName ; | |
| (* | |
| GetFile - returns the FIO.File associated with ChanId c. | |
| *) | |
| PROCEDURE GetFile (c: IOChan.ChanId) : File ; | |
| BEGIN | |
| RETURN RTio.GetFile (c) | |
| END GetFile ; | |
| END IOChanUtils. |