Skip to main content

IO

rascal-0.40.17

Synopsis​

An input/output operation caused an error.

Types​

data RuntimeException = IO(str message);

Usage​

import Exception; (only needed when IO is used in catch)

Description​

This error can be generated for many reasons.

First there may be a problem in the location that is used. It maybe that the schemes is not supported. Examples of supported schemes include http, file, home, std, rascal and project. It can also be the case that the host that occurs in the location cannot be found.

Second, while trying to open the file things can go wrong like insufficient access rights

Finally, actual reading or writing can fail (device failure, device full, and the like).

Remedies:

  • Check for any errors in the location you are using.
  • Check that you are allowed to read or write the resource indicated by the location.
  • Catch IO using a try catch.

Examples​

Import the IO library and attempt to use a non-existing scheme:

rascal>import IO;
ok
rascal>readFile(|myScheme:///example.rsc|);
|jar+file:///home/runner/.m2/repository/org/rascalmpl/rascal/0.40.17/rascal-0.40.17.jar!/IO.rsc|(17302,1660,<524,0>,<553,24>): IO("Unsupported scheme \'myScheme\'")
    at *** somewhere ***(|jar+file:///home/runner/.m2/repository/org/rascalmpl/rascal/0.40.17/rascal-0.40.17.jar!/IO.rsc|(17302,1660,<524,0>,<553,24>))
    at readFile(|jar+file:///home/runner/.m2/repository/org/rascalmpl/rascal/0.40.17/rascal-0.40.17.jar!/IO.rsc|(18927,8,<552,84>,<552,92>))
ok

We can catch this IO error. First import the Rascal exceptions (which are also included in Prelude):

rascal>import Exception;
ok
rascal>try 
>>>>>>>  readFileLines(|myScheme:///example.rsc|); 
>>>>>>>catch IO(msg): 
>>>>>>>  println("This did not work: <msg>");
This did not work: Unsupported scheme 'myScheme'
ok