1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 | with System.Storage_Elements; -- Control Panel Boundary Packages package body Display with Refined_State => (Outputs => Output_Ext) is Output_Ext : Displays with Volatile, Async_Readers, Address => System.Storage_Elements.To_Address (16#FFFF_FFFF#); procedure Write (Content : in Displays) with Refined_Global => (Output => Output_Ext), Refined_Depends => (Output_Ext => Content) is begin Output_Ext := Content; end Write; end Display; |