with Text_IO; use Text_IO; with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; with Tasks; use Tasks; with Task_Set; use Task_Set; package Buffer_Test_Case_Generator is procedure Case_Study_01; procedure Case_Study_02_Buffer_Initial_Data; procedure Case_Study_03_Buffer_Underflow; procedure Case_Study_04_Buffer_Overflow; procedure Case_Study_05_Discrete_Cosine_Transform; procedure Case_Study_06_Multi_Processor; procedure Case_Study_07_USCDF; end Buffer_Test_Case_Generator;