1 files changed, 120 insertions, 0 deletions
diff --git a/body/c_fl_counter.cpp b/body/c_fl_counter.cpp
new file mode 100644
index 0000000..9fe5d20
--- /dev/null
+++ b/body/c_fl_counter.cpp
@@ -0,0 +1,120 @@
+
+
+//  Programmed by Jedidiah Barber
+//  Released into the public domain
+
+
+#include <FL/Fl_Counter.H>
+#include "c_fl_counter.h"
+
+
+
+
+//  Exports from Ada
+
+extern "C" void widget_draw_hook(void * ud);
+extern "C" int widget_handle_hook(void * ud, int e);
+
+extern "C" int valuator_format_hook(void * ud, char * buf);
+
+
+
+
+//  Attaching all relevant hooks and friends
+
+class My_Counter : public Fl_Counter {
+public:
+    using Fl_Counter::Fl_Counter;
+
+    friend void fl_counter_draw(COUNTER c);
+    friend int fl_counter_handle(COUNTER c, int e);
+
+    int format(char * buf);
+    void draw();
+    int handle(int e);
+};
+
+int My_Counter::format(char * buf) {
+    return valuator_format_hook(this->user_data(), buf);
+}
+
+void My_Counter::draw() {
+    widget_draw_hook(this->user_data());
+}
+
+int My_Counter::handle(int e) {
+    return widget_handle_hook(this->user_data(), e);
+}
+
+
+
+
+//  Flattened C API
+
+COUNTER new_fl_counter(int x, int y, int w, int h, char* label) {
+    My_Counter *c = new My_Counter(x, y, w, h, label);
+    return c;
+}
+
+void free_fl_counter(COUNTER c) {
+    delete static_cast<My_Counter*>(c);
+}
+
+
+
+
+double fl_counter_get_step(COUNTER c) {
+    return static_cast<Fl_Counter*>(c)->step();
+}
+
+void fl_counter_set_step_top(COUNTER c, double t) {
+    static_cast<Fl_Counter*>(c)->step(t);
+}
+
+void fl_counter_set_lstep(COUNTER c, double t) {
+    static_cast<Fl_Counter*>(c)->lstep(t);
+}
+
+void fl_counter_set_step_both(COUNTER c, double s, double l) {
+    static_cast<Fl_Counter*>(c)->step(s, l);
+}
+
+
+
+
+unsigned int fl_counter_get_textcolor(COUNTER c) {
+    return static_cast<Fl_Counter*>(c)->textcolor();
+}
+
+void fl_counter_set_textcolor(COUNTER c, unsigned int t) {
+    static_cast<Fl_Counter*>(c)->textcolor(t);
+}
+
+int fl_counter_get_textfont(COUNTER c) {
+    return static_cast<Fl_Counter*>(c)->textfont();
+}
+
+void fl_counter_set_textfont(COUNTER c, int t) {
+    static_cast<Fl_Counter*>(c)->textfont(t);
+}
+
+int fl_counter_get_textsize(COUNTER c) {
+    return static_cast<Fl_Counter*>(c)->textsize();
+}
+
+void fl_counter_set_textsize(COUNTER c, int t) {
+    static_cast<Fl_Counter*>(c)->textsize(t);
+}
+
+
+
+
+void fl_counter_draw(COUNTER c) {
+    static_cast<My_Counter*>(c)->Fl_Counter::draw();
+}
+
+int fl_counter_handle(COUNTER c, int e) {
+    return static_cast<My_Counter*>(c)->Fl_Counter::handle(e);
+}
+
+