Sat 01 August 2015 video Jacob Sparre Andersen Case statements in Ada (video) Case statements and compile-time coverage checking Ada