5 files changed, 86 insertions, 0 deletions
diff --git a/instance-calculator/src/.java_classpath b/instance-calculator/src/.java_classpath
new file mode 100644
index 0000000..5e14ac9
--- /dev/null
+++ b/instance-calculator/src/.java_classpath
@@ -0,0 +1 @@
+../kodkod.jar
diff --git a/instance-calculator/src/VHDLArchitecture.java b/instance-calculator/src/VHDLArchitecture.java
new file mode 100644
index 0000000..ffd678c
--- /dev/null
+++ b/instance-calculator/src/VHDLArchitecture.java
@@ -0,0 +1,22 @@
+import java.util.*;
+
+public class VHDLArchitecture
+{
+   private static final Map<String, VHDLArchitecture> FROM_ID;
+
+   static
+   {
+      FROM_ID = new HashMap<String, VHDLArchitecture>();
+   }
+
+   private final List<String> processes;
+   private final List<String> components;
+   private final String id;
+
+   private VHDLArchitecture (final String id)
+   {
+      this.id = id;
+
+      ports = new ArrayList<String>();
+   }
+}
diff --git a/instance-calculator/src/VHDLComponent.java b/instance-calculator/src/VHDLComponent.java
new file mode 100644
index 0000000..29261a7
--- /dev/null
+++ b/instance-calculator/src/VHDLComponent.java
@@ -0,0 +1,21 @@
+import java.util.*;
+
+public class VHDLComponent
+{
+   private static final Map<String, VHDLComponent> FROM_ID;
+
+   static
+   {
+      FROM_ID = new HashMap<String, VHDLComponent>();
+   }
+
+   private final Map<String, String> port_map;
+   private final String id;
+
+   private VHDLComponent (final String id)
+   {
+      this.id = id;
+
+      port_map = new HashMap<String, String>();
+   }
+}
diff --git a/instance-calculator/src/VHDLEntity.java b/instance-calculator/src/VHDLEntity.java
new file mode 100644
index 0000000..c8fa332
--- /dev/null
+++ b/instance-calculator/src/VHDLEntity.java
@@ -0,0 +1,21 @@
+import java.util.*;
+
+public class VHDLEntity
+{
+   private static final Map<String, VHDLEntity> FROM_ID;
+
+   static
+   {
+      FROM_ID = new HashMap<String, VHDLEntity>();
+   }
+
+   private final List<String> ports;
+   private final String id;
+
+   private VHDLEntity (final String id)
+   {
+      this.id = id;
+
+      ports = new ArrayList<String>();
+   }
+}
diff --git a/instance-calculator/src/VHDLProcess.java b/instance-calculator/src/VHDLProcess.java
new file mode 100644
index 0000000..f2f27e7
--- /dev/null
+++ b/instance-calculator/src/VHDLProcess.java
@@ -0,0 +1,21 @@
+import java.util.*;
+
+public class VHDLProcess
+{
+   private static final Map<String, VHDLProcess> FROM_ID;
+
+   static
+   {
+      FROM_ID = new HashMap<String, VHDLProcess>();
+   }
+
+   private final List<String> accessed_wfm;
+   private final String id;
+
+   private VHDLProcess (final String id)
+   {
+      this.id = id;
+
+      ports = new ArrayList<String>();
+   }
+}