From 70b40bfb6c032c0dead7069b2178a43e63a8e563 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Wed, 19 Jul 2017 10:29:52 +0200
Subject: First shot at the framework (it does compile).

---
 instr-to-kodkod/src/VHDLProperty.java | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 instr-to-kodkod/src/VHDLProperty.java

(limited to 'instr-to-kodkod/src/VHDLProperty.java')

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;
+   }
+}
-- 
cgit v1.2.3-70-g09d2