Use of IO in SPARK 2014

• I have created a small wrapper class for IO which has been added to the examples.
• Instructions for downloading the git respository containing the examples (including how to interpret paths)
• The wrapper class can be found there (look at the README.txt file) in
  
  sparkAdaCodeLecture/sect6/example6-20-wrapperClassForIOWithoutExample/
  
  • which stands for the location
    home directory -> git -> criticalhighintegritysystems sparkAdaCodeLecture -> sect6 -> example6-20-wrapperClassForIOWithoutExample
    
• Simple examples test_string_io and test_integer_io of using IO can be found at
  sect6/example6-19-wrapperClassForIOwithExample
  (look at the README.txt file)
• A toy example of a critical system (very simple) can be found at
  sect6/example6-21-exampleOfSmallCriticalSystem/
  (look at the README.txt file)