| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'instance-calculator/src/VHDLProcess.java')
| -rw-r--r-- | instance-calculator/src/VHDLProcess.java | 253 |
1 files changed, 253 insertions, 0 deletions
diff --git a/instance-calculator/src/VHDLProcess.java b/instance-calculator/src/VHDLProcess.java new file mode 100644 index 0000000..a4f150e --- /dev/null +++ b/instance-calculator/src/VHDLProcess.java @@ -0,0 +1,253 @@ +import java.util.ArrayList; +import java.util.Collection; +import java.util.Map; +import java.util.HashMap; +import java.util.Set; + +public class VHDLProcess +{ + private static final Map<String, VHDLProcess> FROM_ID; + + static + { + FROM_ID = new HashMap<String, VHDLProcess>(); + } + + public static void add_element (final String id) + { + if (!FROM_ID.containsKey(id)) + { + FROM_ID.put(id, new VHDLProcess(id)); + } + } + + public static VHDLProcess get_from_id (final String id) + { + final VHDLProcess result; + + result = FROM_ID.get(id); + + if (result == null) + { + System.err.println + ( + "[E] Element " + + id + + " is used like a process, but is not declared as such before that" + + " use." + ); + + System.exit(-1); + } + + return result; + } + + public static VHDLProcess find (final String id) + { + return FROM_ID.get(id); + } + +/******************************************************************************/ + private final Collection<VHDLWaveform> accessed_wfm; + private final Collection<VHDLProcess.Instance> instances; + private final String id; + private int instances_count; + + private VHDLArchitecture architecture; + + private VHDLProcess (final String id) + { + this.id = id; + accessed_wfm = new ArrayList<VHDLWaveform>(); + instances = new ArrayList<VHDLProcess.Instance>(); + instances_count = 0; + architecture = null; + } + + public String get_id () + { + return id; + } + + public void add_accessed_wfm (final VHDLWaveform wfm) + { + if (!accessed_wfm.contains(wfm)) + { + accessed_wfm.add(wfm); + } + } + + public void set_architecture (final VHDLArchitecture arch) + { + architecture = arch; + } + + public VHDLProcess.Instance generate_base_instance + ( + final VHDLEntity visibility, + final Collection<VHDLWaveform.Instance> waveform_instances + ) + { + final VHDLProcess.Instance result; + final Map<VHDLWaveform.Instance, VHDLWaveform> iwfm_map; + + iwfm_map = new HashMap<VHDLWaveform.Instance, VHDLWaveform>(); + + for (final VHDLWaveform.Instance i_wfm: waveform_instances) + { + if (accessed_wfm.contains(i_wfm.get_parent())) + { + iwfm_map.put(i_wfm, i_wfm.get_parent()); + } + } + + result = + new VHDLProcess.Instance + ( + this, + visibility, + iwfm_map + ); + + instances_count += 1; + + return result; + } + + public static class Instance + { + private static int instances_count; + + static + { + instances_count = 0; + } + + private final String id; + private final VHDLProcess parent; + private final Map<VHDLWaveform.Instance, VHDLWaveform> iwfm_map; + private final VHDLEntity visibility; + + private Instance + ( + final VHDLProcess parent, + final VHDLEntity visibility, + final Map<VHDLWaveform.Instance, VHDLWaveform> iwfm_map + ) + { + this.id = + ( + Main.get_parameters().get_id_prefix() + + "ps_" + + instances_count + ); + + instances_count += 1; + + this.parent = parent; + this.visibility = visibility; + this.iwfm_map = iwfm_map; + } + + public VHDLProcess get_parent () + { + return parent; + } + + public VHDLProcess.Instance add_instance + ( + final VHDLEntity visibility, + final Map<VHDLWaveform.Instance, VHDLWaveform.Instance> convertion + ) + { + final VHDLProcess.Instance result; + final Set<Map.Entry<VHDLWaveform.Instance, VHDLWaveform>> iwfm_set; + final Map<VHDLWaveform.Instance, VHDLWaveform> new_iwfm_map; + + iwfm_set = iwfm_map.entrySet(); + + new_iwfm_map = new HashMap<VHDLWaveform.Instance, VHDLWaveform>(); + + for + ( + final Map.Entry<VHDLWaveform.Instance, VHDLWaveform> me: iwfm_set + ) + { + new_iwfm_map.put + ( + convertion.get(me.getKey()), + me.getValue() + ); + } + + result = + new VHDLProcess.Instance + ( + parent, + visibility, + new_iwfm_map + ); + + parent.instances_count += 1; + + return result; + } + + public void write_predicates_to (final OutputFile of) + { + final Set<Map.Entry<VHDLWaveform.Instance, VHDLWaveform>> iwfm_set; + + iwfm_set = iwfm_map.entrySet(); + + try + { + of.write("(add_element ps_instance "); + of.write(id); + of.write(")"); + of.insert_newline(); + + of.write("(is_ps_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(); + + for + ( + final Map.Entry<VHDLWaveform.Instance, VHDLWaveform> iwfm: + iwfm_set + ) + { + of.write("(process_instance_maps "); + of.write(id); + of.write(" "); + of.write(iwfm.getKey().get_id()); + of.write(" "); + of.write(iwfm.getValue().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); + } + } + } +} |