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

Navigator: cover selection from several possible solutions

Browse source
This commit is contained in:
Fischlurch 2018-01-06 04:36:18 +01:00
parent 7434212ecf
commit c88747dc99
2 changed files with 124 additions and 74 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

23
tests/gui/interact/ui-coord-resolver-test.cpp
View file

@ -329,6 +329,10 @@ namespace test {
* ** reject mismatch immediately behind second gap
* ** mismatch of tree level
* ** contradiction to anchorage
* - (5) selection between several possible solutions
* ** the length of the covered trailing suffix decides
* ** when two solutions are equivalent, pick the fist one
* ** best solution will be picked, irrespective of discovery order
*/
void
verify_mutateCoverage()
@ -368,6 +372,7 @@ namespace test {
, MakeRec()
.set("sub", MakeRec())
)
.set("#1", MakeRec())
)
)
.set("panelZZ", MakeRec())
@ -468,7 +473,23 @@ namespace test {
CHECK (not r47.canCover());
UNIMPLEMENTED ("TODO: further cases of coverage query....");
/* === the solution with maximum covered depth wins === */
UICoordResolver r51 {UICoord().tab("tab").path("sub"), tree};
CHECK ("UI:window-3[persp-C]-panelZ.thirdView.tab/sub" == string(r51.cover())); // the second solution found covers to maximum depth
/* === when two solutions are equivalent, pick the fist one === */
UICoordResolver r52 {UICoord().tab("tab"), tree};
CHECK ("UI:window-1[persp-A]-panelZ.thirdView.tab" == string(r52.cover())); // "UI:window-3[persp-C]-panelZ.thirdView.tab" would match too
/* === best solution will be picked, irrespective of discovery order === */
UICoordResolver r531 {UICoord().persp("persp-A").tab(1), tree};
CHECK ("UI:window-1[persp-A]-panelZ.thirdView.#1" == string(r531.cover())); // best solution discovered as first one
UICoordResolver r532 {UICoord().view("thirdView").tab("tab"), tree};
CHECK ("UI:window-1[persp-A]-panelZ.thirdView.tab" == string(r532.cover())); // best solution is 3rd of five possible ones
UICoordResolver r533 {UICoord().persp("persp-C").tab(1), tree};
CHECK ("UI:window-3[persp-C]-panelZ.thirdView.#1" == string(r533.cover())); // best solution is found as last one
}

175
wiki/thinkPad.ichthyo.mm
View file

@ -4193,20 +4193,21 @@
</node>
</node>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1506181073556" ID="ID_1878859300" MODIFIED="1506957351600" TEXT="Resolver">
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1506181073556" ID="ID_1878859300" MODIFIED="1515209592815" TEXT="Resolver">
<linktarget COLOR="#65759f" DESTINATION="ID_1878859300" ENDARROW="Default" ENDINCLINATION="-439;-594;" ID="Arrow_ID_68163828" SOURCE="ID_610939878" STARTARROW="None" STARTINCLINATION="307;351;"/>
<icon BUILTIN="flag-yellow"/>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1506181794428" ID="ID_333406817" MODIFIED="1506181807435" TEXT="Setup">
<icon BUILTIN="flag-yellow"/>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1506181800067" ID="ID_196802981" MODIFIED="1506181809619" TEXT="Wiring">
<icon BUILTIN="flag-yellow"/>
<icon BUILTIN="pencil"/>
<node COLOR="#338800" CREATED="1506181794428" ID="ID_333406817" MODIFIED="1515209579920" TEXT="Setup">
<icon BUILTIN="button_ok"/>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1506181800067" ID="ID_196802981" MODIFIED="1515209565927" TEXT="Wiring">
<icon BUILTIN="hourglass"/>
<node CREATED="1515209567856" ID="ID_1008245035" MODIFIED="1515209577219" TEXT="warten auf reales UI..."/>
</node>
<node COLOR="#338800" CREATED="1506181802699" ID="ID_582767851" MODIFIED="1508625703401" TEXT="Test-Setup">
<icon BUILTIN="button_ok"/>
</node>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1508537003861" ID="ID_846599209" MODIFIED="1508537009333" TEXT="Semantik">
<icon BUILTIN="flag-yellow"/>
<node COLOR="#338800" CREATED="1508537003861" ID="ID_846599209" MODIFIED="1515209545852" TEXT="Semantik">
<icon BUILTIN="button_ok"/>
<node CREATED="1508537010868" ID="ID_484491629" MODIFIED="1508537050161">
<richcontent TYPE="NODE"><html>
<head>
@ -4244,8 +4245,8 @@
<node CREATED="1509323560821" ID="ID_294426477" MODIFIED="1509323871911" TEXT="in dem Fall ist anchern und covern &#xe4;quivalent">
<icon BUILTIN="idea"/>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1509323573047" ID="ID_263907664" MODIFIED="1514748008505" TEXT="covern: meint total">
<icon BUILTIN="flag-yellow"/>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1509323573047" ID="ID_263907664" MODIFIED="1515209542011" TEXT="covern: meint total">
<icon BUILTIN="yes"/>
</node>
</node>
<node CREATED="1509323496205" ID="ID_231710474" MODIFIED="1509323516558" TEXT="m&#xf6;glich">
@ -4318,7 +4319,7 @@
</html></richcontent>
</node>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1514748024287" ID="ID_85844536" MODIFIED="1514748042419" TEXT="ist partielle Covfefe sinnvoll">
<node CREATED="1514748024287" ID="ID_85844536" MODIFIED="1515209531011" TEXT="ist partielle Covfefe sinnvoll">
<icon BUILTIN="help"/>
<node CREATED="1514748049396" ID="ID_844123386" MODIFIED="1514748079005" TEXT="sch&#xf6;n/herausfordernd zu implementieren">
<icon BUILTIN="ksmiletris"/>
@ -4326,18 +4327,39 @@
<node CREATED="1514748059827" ID="ID_494930397" MODIFIED="1514748074221" TEXT="aber: ist das jemals eine praktische Fragestellung?">
<icon BUILTIN="messagebox_warning"/>
</node>
<node CREATED="1515209459887" ID="ID_1673897385" MODIFIED="1515209521230">
<richcontent TYPE="NODE"><html>
<head>
</head>
<body>
<p>
letzten Endes war es nahezu gleich schwer zu implementieren,
</p>
<p>
aber von der Aufruf-Logik her einfacher, stets nach partieller zu suchen
</p>
<p>
und totale Coverage nur nachtr&#228;glich durch L&#228;ngenvergleich festzustellen
</p>
</body>
</html>
</richcontent>
<icon BUILTIN="idea"/>
</node>
</node>
</node>
<node CREATED="1514748348924" ID="ID_1348653545" MODIFIED="1514748355135" TEXT="zustandsbehafted">
<node CREATED="1514748356627" ID="ID_1208345503" MODIFIED="1514748364398" TEXT="Resolver h&#xe4;lt letzte Coverage"/>
<node CREATED="1514748365274" ID="ID_576090166" MODIFIED="1514748371885" TEXT="diese kann partiell oder total sein"/>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1514748372690" ID="ID_1144080891" MODIFIED="1514748379464" TEXT="es kann mehrere L&#xf6;sungen geben">
<icon BUILTIN="flag-yellow"/>
<node COLOR="#990000" CREATED="1514748372690" ID="ID_1144080891" MODIFIED="1515209444769" TEXT="es kann mehrere L&#xf6;sungen geben">
<font ITALIC="true" NAME="SansSerif" SIZE="12"/>
<icon BUILTIN="messagebox_warning"/>
</node>
</node>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1508537087378" ID="ID_548549576" MODIFIED="1508537098305" TEXT="Wildcards interpolieren">
<icon BUILTIN="flag-yellow"/>
<node COLOR="#338800" CREATED="1508537087378" ID="ID_548549576" MODIFIED="1515209423835" TEXT="Wildcards interpolieren">
<icon BUILTIN="button_ok"/>
<node CREATED="1514328942052" ID="ID_638910432" MODIFIED="1514328949331" TEXT="&#xbb;pathResolution&#xab;"/>
<node CREATED="1514328906513" ID="ID_627709808" MODIFIED="1514328914500" TEXT="Matching-Algo mit Backtracking"/>
<node CREATED="1514328993397" ID="ID_593456636" MODIFIED="1514329001856" TEXT="Bedeutung">
@ -4543,9 +4565,9 @@
<icon BUILTIN="button_ok"/>
</node>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1508539166878" ID="ID_1751192686" MODIFIED="1515037680304" TEXT="Testf&#xe4;lle">
<node COLOR="#338800" CREATED="1508539166878" ID="ID_1751192686" MODIFIED="1515209410401" TEXT="Testf&#xe4;lle">
<arrowlink COLOR="#715b79" DESTINATION="ID_1362494392" ENDARROW="Default" ENDINCLINATION="-578;-16;" ID="Arrow_ID_1072715196" STARTARROW="None" STARTINCLINATION="477;0;"/>
<icon BUILTIN="pencil"/>
<icon BUILTIN="button_ok"/>
</node>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1508539191283" ID="ID_1571889765" MODIFIED="1508539199219" TEXT="anchor">
@ -8648,7 +8670,18 @@
<icon BUILTIN="button_ok"/>
</node>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1514829238960" FOLDED="true" ID="ID_1556354374" MODIFIED="1515206157924" TEXT="Varianten definieren">
<node COLOR="#990000" CREATED="1514829238960" FOLDED="true" ID="ID_1556354374" MODIFIED="1515209093513" TEXT="Varianten definieren">
<richcontent TYPE="NOTE"><html>
<head>
</head>
<body>
<p>
YAGNI
</p>
</body>
</html>
</richcontent>
<arrowlink COLOR="#7e90a1" DESTINATION="ID_1992822141" ENDARROW="Default" ENDINCLINATION="0;56;" ID="Arrow_ID_26195276" STARTARROW="Default" STARTINCLINATION="-20;-69;"/>
<icon BUILTIN="button_cancel"/>
<node CREATED="1514942095070" ID="ID_815761690" MODIFIED="1515034463169" TEXT="default: ermitteln der maximalen partiellen Coverage">
@ -8727,8 +8760,8 @@
</node>
</node>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1510941766817" HGAP="13" ID="ID_1117346518" MODIFIED="1515037517012" TEXT="Testf&#xe4;lle" VSHIFT="29">
<icon BUILTIN="pencil"/>
<node COLOR="#338800" CREATED="1510941766817" HGAP="13" ID="ID_1117346518" MODIFIED="1515209055245" TEXT="Testf&#xe4;lle" VSHIFT="29">
<icon BUILTIN="button_ok"/>
<node COLOR="#338800" CREATED="1513477873206" ID="ID_939423021" MODIFIED="1515206284163" TEXT="definieren was abzudecken ist...">
<font ITALIC="true" NAME="SansSerif" SIZE="12"/>
<icon BUILTIN="yes"/>
@ -8766,8 +8799,9 @@
<icon BUILTIN="yes"/>
</node>
</node>
<node CREATED="1514329328840" HGAP="35" ID="ID_1362494392" MODIFIED="1514748674978" TEXT="Abzudecken ist...." VSHIFT="4">
<node CREATED="1514329328840" HGAP="35" ID="ID_1362494392" MODIFIED="1515209377903" TEXT="Abzudecken ist...." VSHIFT="4">
<linktarget COLOR="#715b79" DESTINATION="ID_1362494392" ENDARROW="Default" ENDINCLINATION="-578;-16;" ID="Arrow_ID_1072715196" SOURCE="ID_1751192686" STARTARROW="None" STARTINCLINATION="477;0;"/>
<linktarget COLOR="#4b5c8d" DESTINATION="ID_1362494392" ENDARROW="Default" ENDINCLINATION="398;572;" ID="Arrow_ID_82261909" SOURCE="ID_1688800613" STARTARROW="None" STARTINCLINATION="1404;115;"/>
<icon BUILTIN="yes"/>
<node COLOR="#338800" CREATED="1514329411197" ID="ID_1637267494" MODIFIED="1515037505754" TEXT="Trivial-Fall: bestehenden Pfad finden">
<icon BUILTIN="button_ok"/>
@ -8834,31 +8868,22 @@
<icon BUILTIN="button_ok"/>
</node>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1514329636838" ID="ID_815146070" MODIFIED="1515114736703" TEXT="L&#xf6;sungs-Auswahl">
<icon BUILTIN="flag-yellow"/>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1514329649868" ID="ID_1490593624" MODIFIED="1514330077906" TEXT="erste von zwei &#xe4;quivalenten L&#xf6;sungen">
<icon BUILTIN="flag-yellow"/>
<node COLOR="#338800" CREATED="1514329636838" ID="ID_815146070" MODIFIED="1515209028206" TEXT="L&#xf6;sungs-Auswahl">
<icon BUILTIN="button_ok"/>
<node COLOR="#338800" CREATED="1514329649868" ID="ID_1490593624" MODIFIED="1515209030440" TEXT="erste von zwei &#xe4;quivalenten L&#xf6;sungen">
<icon BUILTIN="button_ok"/>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1514329715859" ID="ID_734262382" MODIFIED="1514330083546" TEXT="gr&#xf6;&#xdf;ere Coverage">
<icon BUILTIN="flag-yellow"/>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1514329731257" ID="ID_845813721" MODIFIED="1514330078970" TEXT="durch l&#xe4;ngeres, festes Postifix">
<icon BUILTIN="flag-yellow"/>
<node COLOR="#338800" CREATED="1514329715859" ID="ID_734262382" MODIFIED="1515209032031" TEXT="gr&#xf6;&#xdf;ere Coverage durch l&#xe4;ngeres, festes Postifix">
<icon BUILTIN="button_ok"/>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1514329746423" ID="ID_1847189672" MODIFIED="1514330079970" TEXT="durch l&#xe4;ngere L&#xfc;cke">
<icon BUILTIN="flag-yellow"/>
<node COLOR="#338800" CREATED="1514329773739" ID="ID_1790993462" MODIFIED="1515209033707" TEXT="gr&#xf6;&#xdf;ere L&#xf6;sung wird sp&#xe4;ter gefunden">
<icon BUILTIN="button_ok"/>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1514329751134" ID="ID_1669315956" MODIFIED="1514330082439" TEXT="durch k&#xfc;rzere L&#xfc;cke">
<icon BUILTIN="flag-yellow"/>
<node COLOR="#338800" CREATED="1514329784090" ID="ID_976931684" MODIFIED="1515209035261" TEXT="gr&#xf6;&#xdf;ere L&#xf6;sung als mittlere von dreien">
<icon BUILTIN="button_ok"/>
</node>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1514329773739" ID="ID_1790993462" MODIFIED="1514330084921" TEXT="gr&#xf6;&#xdf;ere L&#xf6;sung sp&#xe4;ter">
<icon BUILTIN="flag-yellow"/>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1514329784090" ID="ID_976931684" MODIFIED="1514330085986" TEXT="gr&#xf6;&#xdf;ere L&#xf6;sung als mittlere von dreien">
<icon BUILTIN="flag-yellow"/>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1514329806999" ID="ID_787741094" MODIFIED="1514330087050" TEXT="gr&#xf6;&#xdf;te L&#xf6;sung zuerst">
<icon BUILTIN="flag-yellow"/>
<node COLOR="#338800" CREATED="1514329806999" ID="ID_787741094" MODIFIED="1515209036956" TEXT="gr&#xf6;&#xdf;te L&#xf6;sung zuerst">
<icon BUILTIN="button_ok"/>
</node>
</node>
</node>
@ -9016,10 +9041,10 @@
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1506984614487" ID="ID_380908645" MODIFIED="1513477111455" TEXT="UICoordResolver_test">
<icon BUILTIN="pencil"/>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1506984645745" ID="ID_244163155" MODIFIED="1513477122251" TEXT="verify_simpleUsage">
<icon BUILTIN="hourglass"/>
<node COLOR="#338800" CREATED="1506984645745" ID="ID_244163155" MODIFIED="1515209604952" TEXT="verify_simpleUsage">
<icon BUILTIN="button_ok"/>
</node>
<node COLOR="#338800" CREATED="1506984645747" ID="ID_517262443" MODIFIED="1512926191814" TEXT="verify_backingQuery">
<node COLOR="#338800" CREATED="1506984645747" FOLDED="true" ID="ID_517262443" MODIFIED="1515209675347" TEXT="verify_backingQuery">
<icon BUILTIN="button_ok"/>
<node CREATED="1508809610790" ID="ID_1860790851" MODIFIED="1512926191814" TEXT="Builder-Syntax war falsch">
<icon BUILTIN="button_ok"/>
@ -9165,59 +9190,63 @@
</node>
</node>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1506984645748" ID="ID_1254044275" MODIFIED="1506984664457" TEXT="verify_queryAnchor">
<icon BUILTIN="flag-yellow"/>
<node BACKGROUND_COLOR="#fdfdcf" COLOR="#ff0000" CREATED="1513477632318" ID="ID_1636138355" MODIFIED="1513477675273" TEXT="setzt PathResolution voraus">
<icon BUILTIN="hourglass"/>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1513477685935" ID="ID_115330701" MODIFIED="1513477750466" TEXT="brauche layered pull-Evaluation">
<node COLOR="#338800" CREATED="1506984645748" FOLDED="true" ID="ID_1254044275" MODIFIED="1515209692322" TEXT="verify_queryAnchor">
<icon BUILTIN="button_ok"/>
<node CREATED="1513477632318" ID="ID_1636138355" MODIFIED="1515209155590" TEXT="setzt PathResolution voraus">
<icon BUILTIN="info"/>
<node COLOR="#338800" CREATED="1513477685935" ID="ID_115330701" MODIFIED="1515209146174" TEXT="brauche layered pull-Evaluation">
<arrowlink COLOR="#786296" DESTINATION="ID_596422747" ENDARROW="Default" ENDINCLINATION="278;120;" ID="Arrow_ID_1919142695" STARTARROW="None" STARTINCLINATION="952;148;"/>
<icon BUILTIN="flag-yellow"/>
<icon BUILTIN="button_ok"/>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1513477772387" ID="ID_1207553398" MODIFIED="1513478191111" TEXT="neu implementierter ChildIter">
<icon BUILTIN="flag-yellow"/>
<node COLOR="#338800" CREATED="1513477772387" ID="ID_1207553398" MODIFIED="1515209119633" TEXT="neu implementierter ChildIter">
<icon BUILTIN="button_ok"/>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1513477790161" ID="ID_286375730" MODIFIED="1513477849374" TEXT="PathResolution implementieren">
<node COLOR="#338800" CREATED="1513477790161" ID="ID_286375730" MODIFIED="1515209148753" TEXT="PathResolution implementieren">
<arrowlink COLOR="#653655" DESTINATION="ID_394904963" ENDARROW="Default" ENDINCLINATION="606;374;" ID="Arrow_ID_1674594671" STARTARROW="None" STARTINCLINATION="863;77;"/>
<icon BUILTIN="flag-yellow"/>
<icon BUILTIN="button_ok"/>
</node>
</node>
<node CREATED="1513477954730" ID="ID_1541867154" MODIFIED="1513478089188" TEXT="F&#xe4;lle...">
<icon BUILTIN="info"/>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1513477957584" ID="ID_862780828" MODIFIED="1513478092737" TEXT="Explizit: window(&quot;window-1&quot;).persp(&quot;perspective-A&quot;)">
<icon BUILTIN="flag-yellow"/>
<node COLOR="#338800" CREATED="1513477957584" ID="ID_862780828" MODIFIED="1515209246199" TEXT="Explizit: window(&quot;window-1&quot;).persp(&quot;perspective-A&quot;)">
<icon BUILTIN="button_ok"/>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1513477957585" ID="ID_992417953" MODIFIED="1513478093809" TEXT="Gibtsned: window(&quot;windows&quot;);">
<icon BUILTIN="flag-yellow"/>
<node COLOR="#338800" CREATED="1513477957585" ID="ID_992417953" MODIFIED="1515209244400" TEXT="Gibtsned: window(&quot;windows&quot;);">
<icon BUILTIN="button_ok"/>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1513477957586" ID="ID_1927496001" MODIFIED="1513478094800" TEXT="contextual state: firstWindow();">
<icon BUILTIN="flag-yellow"/>
<node COLOR="#338800" CREATED="1513477957586" ID="ID_1927496001" MODIFIED="1515209242711" TEXT="contextual state: firstWindow();">
<icon BUILTIN="button_ok"/>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1513477957586" ID="ID_519256473" MODIFIED="1513478095840" TEXT="context-relativ: currentWindow().persp(&quot;perspective-B&quot;);">
<icon BUILTIN="flag-yellow"/>
<node COLOR="#338800" CREATED="1513477957586" ID="ID_519256473" MODIFIED="1515209240701" TEXT="context-relativ: currentWindow().persp(&quot;perspective-B&quot;);">
<icon BUILTIN="button_ok"/>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1513477957586" ID="ID_1636269470" MODIFIED="1513478096816" TEXT="context-relativ-unl&#xf6;sbar: currentWindow().panel(&quot;panelY&quot;);">
<icon BUILTIN="flag-yellow"/>
<node COLOR="#338800" CREATED="1513477957586" ID="ID_1636269470" MODIFIED="1515209179060" TEXT="context-relativ-unl&#xf6;sbar: currentWindow().panel(&quot;panelY&quot;);">
<icon BUILTIN="button_ok"/>
<node CREATED="1515209222726" ID="ID_959307669" MODIFIED="1515209232972" TEXT="aber ankerbar!">
<icon BUILTIN="idea"/>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1513477957586" ID="ID_1247686548" MODIFIED="1513478097784" TEXT="partiell-interpolierbar: view(&quot;someView&quot;).path(&quot;&#x3b1;/&#x3b2;/&#x3b3;&quot;);">
<icon BUILTIN="flag-yellow"/>
</node>
<node COLOR="#338800" CREATED="1513477957586" ID="ID_1247686548" MODIFIED="1515209175737" TEXT="partiell-interpolierbar: view(&quot;someView&quot;);">
<icon BUILTIN="button_ok"/>
</node>
</node>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1506984645748" ID="ID_670536416" MODIFIED="1506984663914" TEXT="verify_queryCoverage">
<icon BUILTIN="flag-yellow"/>
<node CREATED="1506984645748" ID="ID_670536416" MODIFIED="1515209277387" TEXT="verify_queryCoverage">
<icon BUILTIN="stop-sign"/>
<node CREATED="1515209280278" ID="ID_959372189" MODIFIED="1515209291984" TEXT="sinnlos, da man das Ergebnis nicht sieht"/>
<node CREATED="1515209292804" ID="ID_907780055" MODIFIED="1515209308566" TEXT="ansonsten redundant zur Mutierung"/>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1506984645748" ID="ID_1171284706" MODIFIED="1506984663361" TEXT="verify_mutateAnchor">
<icon BUILTIN="flag-yellow"/>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1506984645748" ID="ID_1688800613" MODIFIED="1506984662841" TEXT="verify_mutateCovered">
<node COLOR="#338800" CREATED="1506984645748" ID="ID_1688800613" MODIFIED="1515209392926" TEXT="verify_mutateCoverage">
<arrowlink COLOR="#4b5c8d" DESTINATION="ID_1362494392" ENDARROW="Default" ENDINCLINATION="398;572;" ID="Arrow_ID_82261909" STARTARROW="None" STARTINCLINATION="1404;115;"/>
<icon BUILTIN="flag-yellow"/>
<icon BUILTIN="button_ok"/>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1506984645748" ID="ID_768385613" MODIFIED="1506984662154" TEXT="verify_mutateExtend">
<icon BUILTIN="flag-yellow"/>
</node>
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1506984645748" ID="ID_900185933" MODIFIED="1506984661514" TEXT="verify_mutateCreate">
<icon BUILTIN="flag-yellow"/>
</node>
</node>
<node CREATED="1506182023288" ID="ID_1539184761" MODIFIED="1506182023288" TEXT="ViewSpecDSL_test">
<node BACKGROUND_COLOR="#eee5c3" COLOR="#990000" CREATED="1506182077694" ID="ID_839824654" MODIFIED="1506182098717" TEXT="verify_basicProperties">