benn/lumiera_documentation
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Navigator: draft how building of the iterator might work

Browse source 
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....
This commit is contained in:
Fischlurch 2017-12-23 00:24:56 +01:00
parent 77c5573c80
commit a459468e3e
3 changed files with 55 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/gui/interact/ui-coord-resolver.cpp
View file

@ -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"

13
src/gui/interact/ui-coord-resolver.hpp
View file

@ -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;

42
wiki/thinkPad.ichthyo.mm
View file

@ -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">