From 3ead43a313414ee523364f18e6aba25f863b312e Mon Sep 17 00:00:00 2001
From: nsensfel <SpamShield0@noot-noot.org>
Date: Mon, 28 May 2018 13:29:08 +0200
Subject: Woops, forgot a file.

---
 src/hastabel2idp/idp/VocabularyOut.java | 42 +++++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)
 create mode 100644 src/hastabel2idp/idp/VocabularyOut.java

diff --git a/src/hastabel2idp/idp/VocabularyOut.java b/src/hastabel2idp/idp/VocabularyOut.java
new file mode 100644
index 0000000..2229f38
--- /dev/null
+++ b/src/hastabel2idp/idp/VocabularyOut.java
@@ -0,0 +1,42 @@
+package hastabel2idp.idp;
+
+import hastabel2idp.OutputFile;
+
+import hastabel.lang.Variable;
+
+import java.util.List;
+
+public class VocabularyOut
+{
+   private final OutputFile out;
+
+   public VocabularyOut (final String filename)
+   {
+      out = OutputFile.new_output_file(filename);
+   }
+
+   public void write_header ()
+   {
+      out.write("vocabulary Vout {");
+      out.insert_newline();
+   }
+
+   public void write_footer ()
+   {
+      out.write("}");
+      out.insert_newline();
+   }
+
+   public void add_target_predicate
+   (
+      final String name,
+      final List<Variable> arguments
+   )
+   {
+      out.write("   extern V::");
+      out.write(name);
+      out.write("/");
+      out.write(Integer.toString(arguments.size()));
+      out.insert_newline();
+   }
+}
-- 
cgit v1.2.3-70-g09d2