ichthyo/LUMIERA.clone
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

research: define new metaprogramming task

Browse source 
need to bridge between generic typing of tuples
and the DOM-like typing of UI-Bus messages
This commit is contained in:
Fischlurch 2016-01-23 11:57:19 +01:00
parent 16597fcd99
commit a95103eb3b
2 changed files with 122 additions and 128 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

129
research/try.cpp
View file

@ -30,94 +30,46 @@
// 8/15 - Segfault when loading into GDB (on Debian/Jessie 64bit
// 8/15 - generalising the Variant::Visitor
// 1/16 - generic to-string conversion for ostream
// 1/16 - generate receiver function with arbitrary arguments
// 1/16 - build tuple from runtime-typed variant container
/** @file try.cpp
** Metaprogramming: how to generate a function to accept a fixed set
** of typed arguments, where the sequence of arguments is given as type sequence
** or as variadic parameter pack. Also how to bind concrete argument values to
** such a function, where the concrete arguments come as runtime collection
** of variant holders.
** Metaprogramming: how to unload the contents of a runtime typed variant sequence
** into ctor arguments of a (compile time typed) tuple. This involves two problems
** - how to combine iteration, compile-time indexing and run-time access.
** - how to overcome the runtime-to-compiletime barrier, using a pre-generated
** double-dispatch (visitor).
**
** The concrete problem prompting this research is the necessity to receive
** a command invocation parameter tuple from a Record<GenNode>
**
*/
typedef unsigned int uint;
//#include "lib/diff/gen-node.hpp"
#include "lib/symbol.hpp"
#include "lib/diff/gen-node.hpp"
#include "lib/time/timevalue.hpp"
#include "proc/control/command-def.hpp"
#include "lib/meta/tuple-helper.hpp"
#include "lib/format-cout.hpp"
#include "lib/format-util.hpp"
#include <functional>
#include <vector>
#include <string>
//using lib::diff::GenNode;
using lib::Literal;
using lib::diff::GenNode;
using lib::meta::Types;
using lib::meta::NullType;
using proc::control::CommandSignature;
using proc::control::CommandDef;
using proc::control::Command;
//using lib::meta::NullType;
using lib::meta::Tuple;
using lib::time::TimeVar;
using lib::time::Time;
using util::stringify;
using util::join;
using std::function;
using std::vector;
using std::string;
using VecS = vector<string>;
template<typename...TYPES>
struct TyS
{
using Seq = TyS;
};
template<typename X>
struct ArgSeq;
template<typename RET, typename...TYPES>
struct ArgSeq<RET(TYPES...)>
{
using Seq = TyS<TYPES...>;
};
template<typename...ARGS>
struct Funny
{
static void
operate (ARGS ...args)
{
VecS strs = stringify<VecS> (args...);
cout << join (strs) <<endl;
}
static string
capture (ARGS ...args)
{
VecS strs = stringify<VecS> (args...);
return join (strs);
}
static void
undo (ARGS ...args, string plonk)
{
VecS strs = stringify<VecS> (args...);
cout << "UNDO..." << plonk << "| args=" << join (strs) <<endl;
}
};
template<typename...ARGS>
struct Funny<TyS<ARGS...>>
: Funny<ARGS...>
{ };
using std::tuple;
@ -131,51 +83,12 @@ struct Funny<TyS<ARGS...>>
int
main (int, char**)
{
cout << Funny<const char*, string, int, long, double>::capture ("lalü", string("lala"), 12, 34L, 56.78) <<endl;
using NiceTypes = Types<string, int>;
using UgglyTypes = Types<Literal, string, short, long, float, Time>;
Tuple<UgglyTypes> uggs("lalü", "lala", 12, 34, 5.6, Time(7,8,9));
auto ops = Funny<double,TimeVar>::operate;
using FunnySIG = lib::meta::_Fun<typeof(ops)>::Sig;
using SIG_Opr = CommandSignature<FunnySIG, string>::OperateSig;
using SIG_Cap = CommandSignature<FunnySIG, string>::CaptureSig;
using SIG_Udo = CommandSignature<FunnySIG, string>::UndoOp_Sig;
SHOW_TYPE (SIG_Opr);
SHOW_TYPE (SIG_Cap);
SHOW_TYPE (SIG_Udo);
using ArgS = ArgSeq<SIG_Opr>::Seq;
SHOW_TYPE (ArgS);
function<SIG_Opr> funny;
function<SIG_Cap> capy;
function<SIG_Udo> undy;
cout << "funny? " << bool(funny) <<endl;
funny = Funny<ArgS>::operate;
capy = Funny<ArgS>::capture;
undy = Funny<ArgS>::undo;
cout << "funny? " << bool(funny) <<endl;
cout << capy (98.7654321987654321987654321, Time(1,2,3,4)) <<endl;
CommandDef("lalü")
.operation(Funny<ArgS>::operate)
.captureUndo(Funny<ArgS>::capture)
.undoOperation(Funny<ArgS>::undo);
cout << Command("lalü") << endl;
Command com = Command("lalü");
com.bind(12.33445566778899, TimeVar(Time(4,3,2,1)));
com();
com.undo();
cout << uggs <<endl;
cout << "\n.gulp.\n";

121
wiki/thinkPad.ichthyo.mm
View file

@ -20,7 +20,8 @@
</body>
</html></richcontent>
<arrowlink COLOR="#3a8df0" DESTINATION="ID_1618124128" ENDARROW="Default" ENDINCLINATION="-25;-262;" ID="Arrow_ID_539627804" STARTARROW="Default" STARTINCLINATION="-2;35;"/>
<node CREATED="1448070545132" HGAP="31" ID="ID_1410368513" MODIFIED="1448669353294" TEXT="Element" VSHIFT="-7">
<node CREATED="1448070545132" HGAP="31" ID="ID_1410368513" MODIFIED="1453545844231" TEXT="Element" VSHIFT="-7">
<font NAME="SansSerif" SIZE="14"/>
<icon BUILTIN="pencil"/>
<node CREATED="1448070580927" ID="ID_467382299" MODIFIED="1448070583371" TEXT="Auspr&#xe4;gungen">
<node CREATED="1448070554963" ID="ID_579919554" MODIFIED="1448070559134" TEXT="Widget"/>
@ -198,8 +199,7 @@
...wird sinnvoll im Rahmen von <font color="#8e11a1">InteractionControl</font>
</p>
</body>
</html>
</richcontent>
</html></richcontent>
<arrowlink COLOR="#b567c4" DESTINATION="ID_1009169288" ENDARROW="Default" ENDINCLINATION="254;0;" ID="Arrow_ID_200182911" STARTARROW="None" STARTINCLINATION="162;0;"/>
</node>
</node>
@ -229,8 +229,7 @@
Dann mu&#223;te das allerdigns jeweils f&#252;r alle Elemente sinnvoll sein
</p>
</body>
</html>
</richcontent>
</html></richcontent>
</node>
<node CREATED="1451177534345" ID="ID_524388510" MODIFIED="1451177541380" TEXT="impl">
<node CREATED="1451177542256" ID="ID_980888532" MODIFIED="1451177573115" TEXT="ruft einen konkreten hook doExpand() auf">
@ -243,8 +242,7 @@
und der mu&#223; vom konkreten Widget implementiert werden
</p>
</body>
</html>
</richcontent>
</html></richcontent>
</node>
<node CREATED="1451177573108" ID="ID_1154342108" MODIFIED="1451177583935" TEXT="wenn dieser true zur&#xfc;ckgibt, ist der Zustand persistent"/>
<node CREATED="1451177584435" ID="ID_1792154974" MODIFIED="1451177606906">
@ -257,8 +255,7 @@
dann wird eine <i>state mark</i>&#160;ausgesendet
</p>
</body>
</html>
</richcontent>
</html></richcontent>
</node>
</node>
</node>
@ -280,8 +277,7 @@
need to <i>bubble up</i>
</p>
</body>
</html>
</richcontent>
</html></richcontent>
</node>
<node CREATED="1451177719577" ID="ID_1175980404" MODIFIED="1451177726636" TEXT="wie finde ich den Vater..."/>
</node>
@ -411,8 +407,7 @@
...was ich einen Monat sp&#228;ter schon wieder vergessen hatte...
</p>
</body>
</html>
</richcontent>
</html></richcontent>
<icon BUILTIN="button_ok"/>
</node>
</node>
@ -446,8 +441,7 @@
den InvocationTrail manuell im Testcode binden
</p>
</body>
</html>
</richcontent>
</html></richcontent>
<font ITALIC="true" NAME="SansSerif" SIZE="12"/>
</node>
</node>
@ -498,8 +492,7 @@
der unimttelbar Datenwerte nimmt und sie in einen Argument-Record packt
</p>
</body>
</html>
</richcontent>
</html></richcontent>
<icon BUILTIN="pencil"/>
</node>
<node CREATED="1450490580473" ID="ID_925248058" MODIFIED="1450490599519" TEXT="nicht implementiert: Empfangen und Binden">
@ -647,8 +640,9 @@
</node>
</node>
<node CREATED="1434128059966" ID="ID_823283341" MODIFIED="1434128067529" TEXT="Connect">
<node CREATED="1434128071126" ID="ID_1618124128" MODIFIED="1450390417230" TEXT="UI-Bus">
<node CREATED="1434128071126" ID="ID_1618124128" MODIFIED="1453545826393" TEXT="UI-Bus">
<linktarget COLOR="#3a8df0" DESTINATION="ID_1618124128" ENDARROW="Default" ENDINCLINATION="-25;-262;" ID="Arrow_ID_539627804" SOURCE="ID_257833497" STARTARROW="Default" STARTINCLINATION="-2;35;"/>
<font NAME="SansSerif" SIZE="14"/>
<node CREATED="1448548216556" ID="ID_1971609445" MODIFIED="1448548224236" TEXT="Topologie">
<node CREATED="1448548225659" ID="ID_807917172" MODIFIED="1448548309275" TEXT="upstream = zum Verteiler"/>
<node CREATED="1448548310247" ID="ID_993096699" MODIFIED="1448548316619" TEXT="downstream = zum Empf&#xe4;nger"/>
@ -680,9 +674,96 @@
<node CREATED="1450390501876" ID="ID_1750345192" MODIFIED="1450390509511" TEXT="ist die EntryID des Tangible"/>
<node CREATED="1450390512635" ID="ID_43739373" MODIFIED="1450390519885" TEXT="dient auch zum Routing"/>
</node>
<node CREATED="1453546261390" HGAP="25" ID="ID_1996322416" MODIFIED="1453546322869" TEXT="Test" VSHIFT="12">
<node CREATED="1453546264638" ID="ID_975821244" MODIFIED="1453546267978" TEXT="Test-Nexus"/>
<node CREATED="1453546268998" ID="ID_1692848170" MODIFIED="1453546311693" TEXT="Event-Log">
<richcontent TYPE="NOTE"><html>
<head>
</head>
<body>
<p>
Mechanismus, der es erlaubt
</p>
<ul>
<li>
log-Nachrichten aus Mocks zu hinterlassen
</li>
<li>
in der Test-Fixture auf diese zu matchen
</li>
</ul>
</body>
</html>
</richcontent>
<icon BUILTIN="button_ok"/>
</node>
<node CREATED="1448063874479" ID="ID_739054690" MODIFIED="1448063878154" TEXT="UI-Modell"/>
<node CREATED="1434128074725" FOLDED="true" ID="ID_933994138" MODIFIED="1448063763273" TEXT="Diff-System">
</node>
</node>
<node CREATED="1453545812389" HGAP="43" ID="ID_202253849" MODIFIED="1453546337707" TEXT="Core-Services" VSHIFT="2">
<font NAME="SansSerif" SIZE="13"/>
<node CREATED="1453545875627" ID="ID_1411740156" MODIFIED="1453545951737" TEXT="Definition &#xbb;Zentral-Dienste&#xab;">
<richcontent TYPE="NOTE"><html>
<head>
</head>
<body>
<p>
Dienste im UI, erreichbar &#252;ber den Bus.
</p>
<p>
Sie stellen die Verbindung zu zentralen Belangen her
</p>
<p>
wie Session- und State-Managment, Commands etc.
</p>
</body>
</html>
</richcontent>
</node>
<node CREATED="1453545968166" ID="ID_399884859" MODIFIED="1453546095559" TEXT="Command-Handler">
<icon BUILTIN="pencil"/>
<node CREATED="1453546129537" ID="ID_1926242869" MODIFIED="1453546137220" TEXT="empf&#xe4;ngt &quot;act&quot;-Nachrichten">
<node CREATED="1453546367201" ID="ID_1473684366" MODIFIED="1453546575633" TEXT="&quot;bang&quot; -&gt; HandlingPattern">
<icon BUILTIN="button_ok"/>
</node>
<node CREATED="1453546381255" ID="ID_1252400934" MODIFIED="1453546392585" TEXT="&quot;bind&quot; -&gt; Bindung">
<node CREATED="1453546393573" ID="ID_857178151" MODIFIED="1453546568844" TEXT="Paradigmen-Mismatch">
<icon BUILTIN="messagebox_warning"/>
</node>
<node CREATED="1453546417098" ID="ID_676713402" MODIFIED="1453546563455" TEXT="DOM vs. compiletime typing">
<icon BUILTIN="info"/>
</node>
<node CREATED="1453546436455" ID="ID_129001401" MODIFIED="1453546551564" TEXT="double-dispatch">
<icon BUILTIN="idea"/>
<node CREATED="1453546450317" ID="ID_1899026394" MODIFIED="1453546454089" TEXT="Variant-Visitor">
<node CREATED="1453546485737" ID="ID_491338311" MODIFIED="1453546493300" TEXT="Gen-Node-Typen"/>
<node CREATED="1453546493719" ID="ID_834270776" MODIFIED="1453546496947" TEXT="fest vorgegeben"/>
</node>
<node CREATED="1453546454484" ID="ID_1643300093" MODIFIED="1453546597358" TEXT="Trampolin">
<icon BUILTIN="pencil"/>
</node>
<node CREATED="1453546467707" ID="ID_1543497504" MODIFIED="1453546472446" TEXT="Problem: template bloat"/>
<node CREATED="1453546512277" ID="ID_968193365" MODIFIED="1453546526943" TEXT="Aufruf: generische Iteration"/>
</node>
</node>
</node>
<node CREATED="1453546138215" ID="ID_621186206" MODIFIED="1453546582649" TEXT="Verbindung zum ProcDispatcher">
<icon BUILTIN="hourglass"/>
</node>
<node CREATED="1453546183561" ID="ID_1080090125" MODIFIED="1453546187900" TEXT="Mock-Variante">
<node CREATED="1453546195240" ID="ID_1905175534" MODIFIED="1453546196971" TEXT="loggen"/>
<node CREATED="1453546197727" ID="ID_606855270" MODIFIED="1453546207402" TEXT="verifizierbar machen"/>
<node CREATED="1453546215117" ID="ID_31965862" MODIFIED="1453546220236" TEXT="pseudo-Command">
<icon BUILTIN="button_ok"/>
</node>
</node>
</node>
<node CREATED="1453546083296" ID="ID_1154674875" MODIFIED="1453546089361" TEXT="Presentation-State-Manager"/>
</node>
<node CREATED="1448063874479" HGAP="43" ID="ID_739054690" MODIFIED="1453546352792" TEXT="UI-Modell" VSHIFT="1"/>
<node CREATED="1434128074725" FOLDED="true" HGAP="28" ID="ID_933994138" MODIFIED="1453546344857" TEXT="Diff-System" VSHIFT="1">
<font NAME="SansSerif" SIZE="14"/>
<icon BUILTIN="pencil"/>
<node CREATED="1434128278990" ID="ID_106354755" MODIFIED="1434128283641" TEXT="Diff-Darstellung"/>
<node CREATED="1434128267381" ID="ID_823706141" MODIFIED="1434128551925" TEXT="List-diff">