import java.util.ArrayList;
import java.util.Collection;
import java.util.Map;
import java.util.HashMap;

public class VHDLWaveform
{
   private static final Map<String, VHDLWaveform> FROM_ID;

   static
   {
      FROM_ID = new HashMap<String, VHDLWaveform>();
   }

   public static void add_element (final String id)
   {
      if (!FROM_ID.containsKey(id))
      {
         FROM_ID.put(id, new VHDLWaveform(id));
      }
   }

   public static VHDLWaveform get_from_id (final String id)
   {
      final VHDLWaveform result;

      result = FROM_ID.get(id);

      if (result == null)
      {
         System.err.println
         (
            "[E] Element "
            + id
            + " is used like a waveform, but is not declared as such before"
            + " that use."
         );

         new Exception().printStackTrace();

         System.exit(-1);
      }

      return result;
   }

   public static VHDLWaveform find (final String id)
   {
      return FROM_ID.get(id);
   }

/******************************************************************************/
   private final Collection<String> accessed_wfm;
   private final Collection<VHDLWaveform.Instance> instances;
   private final String id;
   private int instances_count;

   private VHDLArchitecture architecture;

   private VHDLWaveform (final String id)
   {
      this.id = id;
      accessed_wfm = new ArrayList<String>();
      instances = new ArrayList<VHDLWaveform.Instance>();
      instances_count = 0;
      architecture = null;
   }

   public VHDLWaveform.Instance add_instance
   (
      final VHDLEntity visibility
   )
   {
      final VHDLWaveform.Instance result;

      result =
         new VHDLWaveform.Instance
         (
            this,
            visibility
         );

      instances.add(result);

      instances_count += 1;

      return result;
   }

   public String get_id ()
   {
      return id;
   }

   public void set_architecture (final VHDLArchitecture arch)
   {
      architecture = arch;
   }

   @Override
   public String toString ()
   {
      return id;
   }

   public static class Instance
   {
      private static int instances_count;

      static
      {
         instances_count = 0;
      }

      private final String id;
      private final VHDLWaveform parent;
      private final VHDLEntity visibility;

      private Instance
      (
         final VHDLWaveform parent,
         final VHDLEntity visibility
      )
      {
         this.id =
            (
               Main.get_parameters().get_id_prefix()
               + "wfm_"
               + instances_count
            );

         instances_count += 1;

         this.parent = parent;
         this.visibility = visibility;
      }

      public String get_id ()
      {
         return id;
      }

      public VHDLWaveform get_parent ()
      {
         return parent;
      }

      public void write_predicates_to (final OutputFile of)
      {
         try
         {
            of.write("(add_element wfm_instance ");
            of.write(id);
            of.write(")");
            of.insert_newline();

            of.write("(is_wfm_instance_of ");
            of.write(id);
            of.write(" ");
            of.write(parent.get_id());
            of.write(")");
            of.insert_newline();

            of.write("(is_visible_in ");
            of.write(id);
            of.write(" ");
            of.write(visibility.get_id());
            of.write(")");
            of.insert_newline();
         }
         catch (final Exception e)
         {
            System.err.println
            (
               "[F] Could not write to output file:"
            );

            e.printStackTrace();

            System.exit(-1);
         }
      }

      @Override
      public String toString ()
      {
         return id;
      }
   }
}