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

LocationSolver: testcases regarding perspective

Browse source 
TODO support for existentially quantified perspective to match against
"just the" perspectice, disregarding the actual value
This commit is contained in:
Fischlurch 2018-02-13 01:51:51 +01:00
parent c11e557b45
commit 9fe314ad04
1 changed files with 12 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
tests/gui/interact/ui-location-solver-test.cpp
View file

@ -225,12 +225,24 @@ namespace test {
/* === query on existing perspective === */
LocationRule r41{UICoord().persp("A")};
CHECK ("UI:win[A]" == string{solver.solve (r41, UIC_PERSP, "x")});
CHECK ("UI:win[A]-x" == string{solver.solve (r41, UIC_PANEL, "x")});
/* === query on elided perspective === */
LocationRule r42{UICoord().persp(UIC_ELIDED)};
// CHECK ("UI:win[A]" == string{solver.solve (r42, UIC_PERSP, "x")}); //////////////////////////////TICKET #1128 : support existential quantification
// CHECK ("UI:win[A]-x" == string{solver.solve (r42, UIC_PANEL, "x")});
/* === query on non existing perspective === */
LocationRule r43{UICoord::firstWindow().persp("Ω")};
CHECK (isnil (solver.solve (r43, UIC_PERSP, "x")));
CHECK (isnil (solver.solve (r43, UIC_PANEL, "x")));
/* === query on non existing perspective with create clause === */
LocationRule r44{UICoord::firstWindow().persp("Ω").create()};
CHECK ("UI:win[Ω]" == string{solver.solve (r44, UIC_PERSP, "x")});
CHECK ("UI:win[Ω]-x" == string{solver.solve (r44, UIC_PANEL, "x")});
/* === query on deep path covered === */