From a459468e3edbd655cdbf7c57e768957134b80df1 Mon Sep 17 00:00:00 2001
From: Ichthyostega <prg@ichthyostega.de>
Date: Sat, 23 Dec 2017 00:24:56 +0100
Subject: [PATCH] Navigator: draft how building of the iterator might work

NOTE it just type checks right now,
but since meta programming is functional programming, this means
with >90% probability that it might actually work this way....
---
 src/gui/interact/ui-coord-resolver.cpp |  1 +
 src/gui/interact/ui-coord-resolver.hpp | 13 +++++++-
 wiki/thinkPad.ichthyo.mm               | 42 ++++++++++++++++++++++++++
 3 files changed, 55 insertions(+), 1 deletion(-)

diff --git a/src/gui/interact/ui-coord-resolver.cpp b/src/gui/interact/ui-coord-resolver.cpp
index de3292930..366efcfb2 100644
--- a/src/gui/interact/ui-coord-resolver.cpp
+++ b/src/gui/interact/ui-coord-resolver.cpp
@@ -30,6 +30,7 @@
 
 #include "gui/interact/ui-coord-resolver.hpp"
 //#include "gui/ctrl/global-ctx.hpp"
+#include "lib/iter-stack.hpp"
 //#include "lib/symbol.hpp"
 //#include "lib/util.hpp"
 
diff --git a/src/gui/interact/ui-coord-resolver.hpp b/src/gui/interact/ui-coord-resolver.hpp
index a09fafaa0..751f24f33 100644
--- a/src/gui/interact/ui-coord-resolver.hpp
+++ b/src/gui/interact/ui-coord-resolver.hpp
@@ -48,8 +48,8 @@
 #include "lib/error.hpp"
 #include "lib/symbol.hpp"
 #include "gui/interact/ui-coord.hpp"
+#include "lib/iter-tree-explorer.hpp"
 #include "lib/iter-source.hpp"
-#include "lib/iter-stack.hpp"
 #include "lib/util.hpp"
 
 //#include <boost/noncopyable.hpp>
@@ -99,6 +99,16 @@ namespace interact {
        *         type #iterator, which exposes an appropriately wired iterator::expandChildren()
        */
       virtual TreeStructureNavigator* expandChildren()  const   =0;
+      
+      
+      static auto
+      buildIterator (TreeStructureNavigator* source)
+        {
+          return lib::treeExplore(
+                   lib::IterSource<Literal>::build (source))
+                        .expand([](Literal id){ return lib::IterSource<Literal>::build (
+                                                          ((TreeStructureNavigator*)nullptr)->expandChildren() ); });
+        }
     };
   
   
@@ -117,6 +127,7 @@ namespace interact {
     public:
       virtual ~LocationQuery();    ///< this is an interface
       
+      using iteratorZ = decltype (TreeStructureNavigator::buildIterator(std::declval<TreeStructureNavigator*>()));
       using ChildIter = lib::IterSource<Literal>::iterator;
 
 
diff --git a/wiki/thinkPad.ichthyo.mm b/wiki/thinkPad.ichthyo.mm
index 206cc51ec..7b084d35b 100644
--- a/wiki/thinkPad.ichthyo.mm
+++ b/wiki/thinkPad.ichthyo.mm
@@ -8014,6 +8014,48 @@
 </richcontent>
 </node>
 </node>
+<node CREATED="1513980929860" ID="ID_1710959906" MODIFIED="1513980939173" TEXT="Alternativen?">
+<icon BUILTIN="help"/>
+<node CREATED="1513980747077" ID="ID_458778699" MODIFIED="1513980959957" TEXT="IterExploreSource geschickt nutzen">
+<icon BUILTIN="button_cancel"/>
+<node CREATED="1513980786024" ID="ID_906988400" MODIFIED="1513980803442" TEXT="front-End ist IterExploreSource, ohne Wenn und Aber"/>
+<node CREATED="1513980816020" ID="ID_1544667042" MODIFIED="1513980839954">
+<richcontent TYPE="NODE"><html>
+  <head>
+    
+  </head>
+  <body>
+    <p>
+      der Expander sitzt nun doch <i>dahinter,</i>&#160;in der Implementierung
+    </p>
+  </body>
+</html></richcontent>
+</node>
+<node CREATED="1513980949474" ID="ID_884281761" MODIFIED="1513980956209" TEXT="damit wieder zwei VTables">
+<icon BUILTIN="stop-sign"/>
+</node>
+</node>
+</node>
+</node>
+<node CREATED="1513981063250" ID="ID_1701586789" MODIFIED="1513981066214" TEXT="Builder">
+<node CREATED="1513981080616" ID="ID_75384138" MODIFIED="1513981107456" TEXT="bekommt TreeStructureNavigator *"/>
+<node CREATED="1513981138280" ID="ID_878429069" MODIFIED="1513981146075" TEXT="baut darauf den IterSource::iterator"/>
+<node CREATED="1513981147519" ID="ID_1838710944" MODIFIED="1513981198132" TEXT="setzt darauf einen TreeExplorer auf"/>
+<node CREATED="1513981205567" ID="ID_1678344039" MODIFIED="1513981213954" TEXT="stattet diesen mit einem Expander aus"/>
+<node CREATED="1513981215822" ID="ID_1059471923" MODIFIED="1513981236247" TEXT="welcher das TreeStructureNavigator-Interface nutzt"/>
+<node CREATED="1513981274958" ID="ID_895258746" MODIFIED="1513981289179">
+<richcontent TYPE="NODE"><html>
+  <head>
+    
+  </head>
+  <body>
+    <p>
+      das Ergebnis ist der <b>konkrete Iterator-Typ</b>
+    </p>
+  </body>
+</html>
+</richcontent>
+</node>
 </node>
 </node>
 <node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1513962712192" ID="ID_357363842" MODIFIED="1513978505393" TEXT="festlegen, wo die VTable ist">