------------------------------------------------------------------------------
-- Copyright (c) 2014, Natacha Porté                                        --
--                                                                          --
-- Permission to use, copy, modify, and distribute this software for any    --
-- purpose with or without fee is hereby granted, provided that the above   --
-- copyright notice and this permission notice appear in all copies.        --
--                                                                          --
-- THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES --
-- WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF         --
-- MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR  --
-- ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES   --
-- WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN    --
-- ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF  --
-- OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.           --
------------------------------------------------------------------------------

------------------------------------------------------------------------------
-- Natools.S_Expressions.Templates.Generic_Discrete_Render provides a       --
-- S-expression template renderer for discrete types.                       --
-- The template is a list of atoms, representing images in the order of the --
-- formal discrete type, optionally followed by a list whose atoms are      --
-- concatenated to form a fallback image for all others values. When        --
-- fallback image is not provided, formal Default_Image function is used.   --
------------------------------------------------------------------------------

with Ada.Streams;
with Natools.S_Expressions.Lockable;

generic
   type T is (<>);
   with function Default_Image (Object : T) return String is T'Image;
   with function "=" (Left, Right : T) return Boolean is <>;
procedure Natools.S_Expressions.Templates.Generic_Discrete_Render
  (Output : in out Ada.Streams.Root_Stream_Type'Class;
   Template : in out Lockable.Descriptor'Class;
   Value : in T);
pragma Preelaborate (Natools.S_Expressions.Templates.Generic_Discrete_Render);
