First shot at the framework (it does compile).

1 files changed, 31 insertions, 0 deletions

diff --git a/instr-to-kodkod/src/VHDLProperty.java b/instr-to-kodkod/src/VHDLProperty.java
new file mode 100644
index 0000000..a91d25a
--- /dev/null
+++ b/instr-to-kodkod/src/VHDLProperty.java
@@ -0,0 +1,31 @@
+/* FIXME: Finer imports */
+import java.util.*;
+import java.io.*;
+
+import kodkod.ast.*;
+
+import org.antlr.v4.runtime.*;
+
+public class VHDLProperty
+{
+   private final String filename;
+
+   public VHDLProperty (final String filename)
+   {
+      this.filename = filename;
+   }
+
+   public Formula generate_formula ()
+   throws IOException
+   {
+      final PropertyLexer lexer;
+      final CommonTokenStream tokens;
+      final PropertyParser parser;
+
+      lexer = new PropertyLexer(CharStreams.fromFileName(filename));
+      tokens = new CommonTokenStream(lexer);
+      parser = new PropertyParser(tokens);
+
+      return parser.tag_existing().result;
+   }
+}