MCPcopy Create free account
hub / github.com/MiniZinc/MiniZincIDE / navLeft

Method navLeft

cp-profiler/src/cpprofiler/tree/traditional_view.cpp:165–186  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

163}
164
165void TraditionalView::navLeft()
166{
167 auto nid = node();
168 if (nid == NodeID::NoNode)
169 return;
170
171 utils::DebugMutexLocker tree_lock(&tree_.treeMutex());
172
173 auto pid = tree_.getParent(nid);
174 if (pid == NodeID::NoNode)
175 return;
176
177 auto cur_alt = tree_.getAlternative(nid);
178
179 if (cur_alt > 0)
180 {
181 auto kid = tree_.getChild(pid, cur_alt - 1);
182 emit nodeSelected(kid);
183 centerCurrentNode();
184 emit needsRedrawing();
185 }
186}
187
188void TraditionalView::navRight()
189{

Callers

nothing calls this directly

Calls 3

getParentMethod · 0.45
getAlternativeMethod · 0.45
getChildMethod · 0.45

Tested by

no test coverage detected