From 2a93f1da9936971f5c0df128154c140bc0a3182e Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Thu, 30 Nov 2017 01:16:52 +0000
Subject: [PATCH] swig streamer

---
 packages/swig/android/streamer.cpp | 102 +++++++++++++++++++++++++++++
 packages/swig/android/streamer.h   |  27 ++++++++
 packages/swig/android/streamer.i   |  14 ++++
 3 files changed, 143 insertions(+)
 create mode 100644 packages/swig/android/streamer.cpp
 create mode 100644 packages/swig/android/streamer.h
 create mode 100644 packages/swig/android/streamer.i

diff --git a/packages/swig/android/streamer.cpp b/packages/swig/android/streamer.cpp
new file mode 100644
index 000000000..cd7f6b6f4
--- /dev/null
+++ b/packages/swig/android/streamer.cpp
@@ -0,0 +1,102 @@
+//
+// Created by vsc on 7/6/17.
+//
+/* File : example.cxx */
+
+#include "streamer.h"
+
+
+static AndroidStreamer * streamerInstance = 0;
+
+void setStreamer(AndroidStreamer* streamer) {
+    streamerInstance = streamer;
+}
+
+AndroidStreamer& getStreamer() {
+    return *streamerInstance;
+}
+
+#include <gmpxx.h>
+
+extern "C" {
+#include <Yap.h>
+#include <YapStreams.h>
+#include <VFS.h>
+#include <yapio.h>
+#include <iopreds.h>
+
+extern void Java_pt_up_yap_lib_streamerJNI_swig_1module_1init__(void);
+
+static VFS_t andstream;
+
+void Java_pt_up_yap_lib_streamerJNI_swig_1module_1init__(void) {
+    streamerInstance = 0;
+} ;
+
+static std::string buff0;
+
+static void *
+and_open(struct vfs *me, int sno, const char *name, const char *io_mode) {
+    // we assume object is already open, so there is no need to open it.
+    GLOBAL_Stream[sno].vfs_handle = streamerInstance;
+    GLOBAL_Stream[sno].vfs = me;
+    GLOBAL_Stream[sno].status = Append_Stream_f | Output_Stream_f;
+    buff0.clear();
+    return streamerInstance;
+}
+}
+static bool
+and_close(int sno) {
+  return true;
+}
+
+static int
+and_put(int sno, int ch) {
+buff0 += ch;
+ if (ch=='\n'  || buff0.length() == 128) { //buff0+= '\0';
+     streamerInstance->display(buff0);
+ }
+ return ch;
+ }
+
+static int
+and_get(int sno) {
+  return EOF;
+}
+
+static int64_t  and_seek(int sno, int64_t where, int how) {
+  return EOF;
+}
+
+static void
+and_flush(int sno) {
+
+buff0 += '\0';
+streamerInstance->display(buff0);
+
+
+
+//
+// Created by vsc on 11-07-2017.
+//
+
+}
+
+void
+AndroidStreamer::bind() {
+    buff0 = *new std::string[256];
+    andstream.name = "/android/user_error";
+    andstream.vflags = VFS_CAN_WRITE | VFS_HAS_PREFIX;
+    andstream.prefix = "/android";
+    andstream.suffix = NULL;
+    andstream.open = and_open;
+    andstream.close = and_close;
+    andstream.get_char = and_get;
+    andstream.put_char = and_put;
+    andstream.flush = and_flush;
+    andstream.seek = and_seek;
+    andstream.next = GLOBAL_VFS;
+    GLOBAL_VFS = &andstream;
+    Yap_InitStdStream(StdOutStream, Output_Stream_f | Append_Stream_f, NULL, &andstream);
+    Yap_InitStdStream(StdErrStream, Output_Stream_f | Append_Stream_f, NULL, &andstream);
+}
diff --git a/packages/swig/android/streamer.h b/packages/swig/android/streamer.h
new file mode 100644
index 000000000..c713696c8
--- /dev/null
+++ b/packages/swig/android/streamer.h
@@ -0,0 +1,27 @@
+//
+// Created by vsc on 7/6/17.
+//
+
+#ifndef YAPDROID_MAIN_H
+#define YAPDROID_MAIN_H
+#include <cstdio>
+#include <iostream>
+#include <string>
+#include <sstream>
+
+struct AndroidStreamer {
+    virtual void display(std::string text) const = 0;
+    virtual ~AndroidStreamer() {}
+    void bind();
+};
+void setStreamer(AndroidStreamer* streamer);
+AndroidStreamer& getStreamer();
+
+template<typename T> AndroidStreamer& operator<<(AndroidStreamer& stream, T const& val) {
+    std::ostringstream s;
+    s << val;
+    stream.display(s.str());
+    return stream;
+};
+
+#endif //YAPDROID_MAIN_H
diff --git a/packages/swig/android/streamer.i b/packages/swig/android/streamer.i
new file mode 100644
index 000000000..983a2f017
--- /dev/null
+++ b/packages/swig/android/streamer.i
@@ -0,0 +1,14 @@
+/* File : example.i */
+%module(directors="1") streamer
+%{
+#include "streamer.h"
+
+%}
+
+%include "std_string.i"
+
+/* A base class for callbacks from C++ to output text on the Java side */
+%feature("director") AndroidStreamer;
+
+%include "streamer.h"
+