WidgetScroll.cpp 18 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559
  1. /*
  2. * This source file is part of RmlUi, the HTML/CSS Interface Middleware
  3. *
  4. * For the latest information, see http://github.com/mikke89/RmlUi
  5. *
  6. * Copyright (c) 2008-2010 CodePoint Ltd, Shift Technology Ltd
  7. * Copyright (c) 2019 The RmlUi Team, and contributors
  8. *
  9. * Permission is hereby granted, free of charge, to any person obtaining a copy
  10. * of this software and associated documentation files (the "Software"), to deal
  11. * in the Software without restriction, including without limitation the rights
  12. * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
  13. * copies of the Software, and to permit persons to whom the Software is
  14. * furnished to do so, subject to the following conditions:
  15. *
  16. * The above copyright notice and this permission notice shall be included in
  17. * all copies or substantial portions of the Software.
  18. *
  19. * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
  20. * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
  21. * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
  22. * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
  23. * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
  24. * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
  25. * THE SOFTWARE.
  26. *
  27. */
  28. #include "WidgetScroll.h"
  29. #include "../../Include/RmlUi/Core/ComputedValues.h"
  30. #include "../../Include/RmlUi/Core/Element.h"
  31. #include "../../Include/RmlUi/Core/Event.h"
  32. #include "../../Include/RmlUi/Core/Factory.h"
  33. #include "../../Include/RmlUi/Core/Property.h"
  34. #include "Clock.h"
  35. #include "LayoutDetails.h"
  36. namespace Rml {
  37. static const float DEFAULT_REPEAT_DELAY = 0.5f;
  38. static const float DEFAULT_REPEAT_PERIOD = 0.1f;
  39. WidgetScroll::WidgetScroll(Element* _parent)
  40. {
  41. parent = _parent;
  42. orientation = UNKNOWN;
  43. track = nullptr;
  44. bar = nullptr;
  45. arrows[0] = nullptr;
  46. arrows[1] = nullptr;
  47. bar_position = 0;
  48. bar_drag_anchor = 0;
  49. arrow_timers[0] = -1;
  50. arrow_timers[1] = -1;
  51. last_update_time = 0;
  52. track_length = 0;
  53. bar_length = 0;
  54. line_height = 12;
  55. }
  56. WidgetScroll::~WidgetScroll()
  57. {
  58. if (bar != nullptr)
  59. {
  60. bar->RemoveEventListener(EventId::Drag, this);
  61. bar->RemoveEventListener(EventId::Dragstart, this);
  62. }
  63. if (track != nullptr)
  64. track->RemoveEventListener(EventId::Click, this);
  65. for (int i = 0; i < 2; i++)
  66. {
  67. if (arrows[i] != nullptr)
  68. {
  69. arrows[i]->RemoveEventListener(EventId::Mousedown, this);
  70. arrows[i]->RemoveEventListener(EventId::Mouseup, this);
  71. arrows[i]->RemoveEventListener(EventId::Mouseout, this);
  72. }
  73. }
  74. }
  75. // Initialises the slider to a given orientation.
  76. bool WidgetScroll::Initialise(Orientation _orientation)
  77. {
  78. // Check that we haven't already been successfully initialised.
  79. if (orientation != UNKNOWN)
  80. {
  81. RMLUI_ERROR;
  82. return false;
  83. }
  84. // Check that a valid orientation has been passed in.
  85. if (_orientation != HORIZONTAL &&
  86. _orientation != VERTICAL)
  87. {
  88. RMLUI_ERROR;
  89. return false;
  90. }
  91. orientation = _orientation;
  92. // Create all of our child elements as standard elements, and abort if we can't create them.
  93. ElementPtr track_element = Factory::InstanceElement(parent, "*", "slidertrack", XMLAttributes());
  94. ElementPtr bar_element = Factory::InstanceElement(parent, "*", "sliderbar", XMLAttributes());
  95. ElementPtr arrow0_element = Factory::InstanceElement(parent, "*", "sliderarrowdec", XMLAttributes());
  96. ElementPtr arrow1_element = Factory::InstanceElement(parent, "*", "sliderarrowinc", XMLAttributes());
  97. if (!track_element || !bar_element || !arrow0_element || !arrow1_element)
  98. {
  99. return false;
  100. }
  101. // Add them as non-DOM elements.
  102. track = parent->AppendChild(std::move(track_element), false);
  103. bar = parent->AppendChild(std::move(bar_element), false);
  104. arrows[0] = parent->AppendChild(std::move(arrow0_element), false);
  105. arrows[1] = parent->AppendChild(std::move(arrow1_element), false);
  106. bar->SetProperty(PropertyId::Drag, Property(Style::Drag::Drag));
  107. // Attach the listeners as appropriate.
  108. bar->AddEventListener(EventId::Drag, this);
  109. bar->AddEventListener(EventId::Dragstart, this);
  110. track->AddEventListener(EventId::Click, this);
  111. for (int i = 0; i < 2; i++)
  112. {
  113. arrows[i]->AddEventListener(EventId::Mousedown, this);
  114. arrows[i]->AddEventListener(EventId::Mouseup, this);
  115. arrows[i]->AddEventListener(EventId::Mouseout, this);
  116. }
  117. return true;
  118. }
  119. // Updates the key repeats for the increment / decrement arrows.
  120. void WidgetScroll::Update()
  121. {
  122. for (int i = 0; i < 2; i++)
  123. {
  124. bool updated_time = false;
  125. float delta_time = 0;
  126. if (arrow_timers[i] > 0)
  127. {
  128. if (!updated_time)
  129. {
  130. double current_time = Clock::GetElapsedTime();
  131. delta_time = float(current_time - last_update_time);
  132. last_update_time = current_time;
  133. }
  134. arrow_timers[i] -= delta_time;
  135. while (arrow_timers[i] <= 0)
  136. {
  137. arrow_timers[i] += DEFAULT_REPEAT_PERIOD;
  138. SetBarPosition(i == 0 ? OnLineDecrement() : OnLineIncrement());
  139. }
  140. }
  141. }
  142. }
  143. // Sets the position of the bar.
  144. void WidgetScroll::SetBarPosition(float _bar_position)
  145. {
  146. bar_position = Math::Clamp(_bar_position, 0.0f, 1.0f);
  147. PositionBar();
  148. // 'parent' is the scrollbar element, its parent again is the actual element we want to scroll
  149. Element* element_scroll = parent->GetParentNode();
  150. if (!element_scroll)
  151. {
  152. RMLUI_ERROR;
  153. return;
  154. }
  155. if (orientation == VERTICAL)
  156. element_scroll->SetScrollTop(bar_position * (element_scroll->GetScrollHeight() - element_scroll->GetClientHeight()));
  157. else if (orientation == HORIZONTAL)
  158. element_scroll->SetScrollLeft(bar_position * (element_scroll->GetScrollWidth() - element_scroll->GetClientWidth()));
  159. }
  160. // Returns the current position of the bar.
  161. float WidgetScroll::GetBarPosition() const
  162. {
  163. return bar_position;
  164. }
  165. // Returns the slider's orientation.
  166. WidgetScroll::Orientation WidgetScroll::GetOrientation() const
  167. {
  168. return orientation;
  169. }
  170. // Sets the dimensions to the size of the slider.
  171. void WidgetScroll::GetDimensions(Vector2f& dimensions) const
  172. {
  173. switch (orientation)
  174. {
  175. RMLUI_UNUSED_SWITCH_ENUM(UNKNOWN);
  176. case VERTICAL: dimensions.x = 16; dimensions.y = 256; break;
  177. case HORIZONTAL: dimensions.x = 256; dimensions.y = 16; break;
  178. }
  179. }
  180. // Lays out and resizes the internal elements.
  181. void WidgetScroll::FormatElements(const Vector2f containing_block, bool resize_element, float slider_length, float bar_length)
  182. {
  183. int length_axis = orientation == VERTICAL ? 1 : 0;
  184. // Build the box for the containing slider element. As the containing block is not guaranteed to have a defined
  185. // height, we must use the width for both axes.
  186. Box parent_box;
  187. LayoutDetails::BuildBox(parent_box, Vector2f(containing_block.x, containing_block.x), parent);
  188. slider_length -= orientation == VERTICAL ? (parent_box.GetCumulativeEdge(Box::CONTENT, Box::TOP) + parent_box.GetCumulativeEdge(Box::CONTENT, Box::BOTTOM)) :
  189. (parent_box.GetCumulativeEdge(Box::CONTENT, Box::LEFT) + parent_box.GetCumulativeEdge(Box::CONTENT, Box::RIGHT));
  190. // Set the length of the slider.
  191. Vector2f content = parent_box.GetSize();
  192. content[length_axis] = slider_length;
  193. parent_box.SetContent(content);
  194. // And set it on the slider element!
  195. if (resize_element)
  196. parent->SetBox(parent_box);
  197. // Generate the initial dimensions for the track. It'll need to be cut down to fit the arrows.
  198. Box track_box;
  199. LayoutDetails::BuildBox(track_box, parent_box.GetSize(), track);
  200. content = track_box.GetSize();
  201. content[length_axis] = slider_length -= orientation == VERTICAL ? (track_box.GetCumulativeEdge(Box::CONTENT, Box::TOP) + track_box.GetCumulativeEdge(Box::CONTENT, Box::BOTTOM)) :
  202. (track_box.GetCumulativeEdge(Box::CONTENT, Box::LEFT) + track_box.GetCumulativeEdge(Box::CONTENT, Box::RIGHT));
  203. // If no height has been explicitly specified for the track, it'll be initialised to -1 as per normal block
  204. // elements. We'll fix that up here.
  205. if (orientation == HORIZONTAL &&
  206. content.y < 0)
  207. content.y = parent_box.GetSize().y;
  208. // Now we size the arrows.
  209. for (int i = 0; i < 2; i++)
  210. {
  211. Box arrow_box;
  212. LayoutDetails::BuildBox(arrow_box, parent_box.GetSize(), arrows[i]);
  213. // Clamp the size to (0, 0).
  214. Vector2f arrow_size = arrow_box.GetSize();
  215. if (arrow_size.x < 0 ||
  216. arrow_size.y < 0)
  217. arrow_box.SetContent(Vector2f(0, 0));
  218. arrows[i]->SetBox(arrow_box);
  219. // Shrink the track length by the arrow size.
  220. content[length_axis] -= arrow_box.GetSize(Box::MARGIN)[length_axis];
  221. }
  222. // Now the track has been sized, we can fix everything into position.
  223. track_box.SetContent(content);
  224. track->SetBox(track_box);
  225. if (orientation == VERTICAL)
  226. {
  227. Vector2f offset(arrows[0]->GetBox().GetEdge(Box::MARGIN, Box::LEFT), arrows[0]->GetBox().GetEdge(Box::MARGIN, Box::TOP));
  228. arrows[0]->SetOffset(offset, parent);
  229. offset.x = track->GetBox().GetEdge(Box::MARGIN, Box::LEFT);
  230. offset.y += arrows[0]->GetBox().GetSize(Box::BORDER).y + arrows[0]->GetBox().GetEdge(Box::MARGIN, Box::BOTTOM) + track->GetBox().GetEdge(Box::MARGIN, Box::TOP);
  231. track->SetOffset(offset, parent);
  232. offset.x = arrows[1]->GetBox().GetEdge(Box::MARGIN, Box::LEFT);
  233. offset.y += track->GetBox().GetSize(Box::BORDER).y + track->GetBox().GetEdge(Box::MARGIN, Box::BOTTOM) + arrows[1]->GetBox().GetEdge(Box::MARGIN, Box::TOP);
  234. arrows[1]->SetOffset(offset, parent);
  235. }
  236. else
  237. {
  238. Vector2f offset(arrows[0]->GetBox().GetEdge(Box::MARGIN, Box::LEFT), arrows[0]->GetBox().GetEdge(Box::MARGIN, Box::TOP));
  239. arrows[0]->SetOffset(offset, parent);
  240. offset.x += arrows[0]->GetBox().GetSize(Box::BORDER).x + arrows[0]->GetBox().GetEdge(Box::MARGIN, Box::RIGHT) + track->GetBox().GetEdge(Box::MARGIN, Box::LEFT);
  241. offset.y = track->GetBox().GetEdge(Box::MARGIN, Box::TOP);
  242. track->SetOffset(offset, parent);
  243. offset.x += track->GetBox().GetSize(Box::BORDER).x + track->GetBox().GetEdge(Box::MARGIN, Box::RIGHT) + arrows[1]->GetBox().GetEdge(Box::MARGIN, Box::LEFT);
  244. offset.y = arrows[1]->GetBox().GetEdge(Box::MARGIN, Box::TOP);
  245. arrows[1]->SetOffset(offset, parent);
  246. }
  247. FormatBar(bar_length);
  248. }
  249. // Lays out and positions the bar element.
  250. void WidgetScroll::FormatBar(float bar_length)
  251. {
  252. Box bar_box;
  253. LayoutDetails::BuildBox(bar_box, parent->GetBox().GetSize(), bar);
  254. const auto& computed = bar->GetComputedValues();
  255. const Style::Width width = computed.width();
  256. const Style::Height height = computed.height();
  257. Vector2f bar_box_content = bar_box.GetSize();
  258. if (orientation == HORIZONTAL)
  259. {
  260. if (height.type == height.Auto)
  261. bar_box_content.y = parent->GetBox().GetSize().y;
  262. }
  263. if (bar_length >= 0)
  264. {
  265. Vector2f track_size = track->GetBox().GetSize();
  266. if (orientation == VERTICAL)
  267. {
  268. float track_length = track_size.y - (bar_box.GetCumulativeEdge(Box::CONTENT, Box::TOP) + bar_box.GetCumulativeEdge(Box::CONTENT, Box::BOTTOM));
  269. if (height.type == height.Auto)
  270. {
  271. bar_box_content.y = track_length * bar_length;
  272. // Check for 'min-height' restrictions.
  273. float min_track_length = ResolveValue(computed.min_height(), track_length);
  274. bar_box_content.y = Math::Max(min_track_length, bar_box_content.y);
  275. // Check for 'max-height' restrictions.
  276. float max_track_length = ResolveValue(computed.max_height(), track_length);
  277. if (max_track_length > 0)
  278. bar_box_content.y = Math::Min(max_track_length, bar_box_content.y);
  279. }
  280. // Make sure we haven't gone further than we're allowed to (min-height may have made us too big).
  281. bar_box_content.y = Math::Min(bar_box_content.y, track_length);
  282. }
  283. else
  284. {
  285. float track_length = track_size.x - (bar_box.GetCumulativeEdge(Box::CONTENT, Box::LEFT) + bar_box.GetCumulativeEdge(Box::CONTENT, Box::RIGHT));
  286. if (width.type == width.Auto)
  287. {
  288. bar_box_content.x = track_length * bar_length;
  289. // Check for 'min-width' restrictions.
  290. float min_track_length = ResolveValue(computed.min_width(), track_length);
  291. bar_box_content.x = Math::Max(min_track_length, bar_box_content.x);
  292. // Check for 'max-width' restrictions.
  293. float max_track_length = ResolveValue(computed.max_width(), track_length);
  294. if (max_track_length > 0)
  295. bar_box_content.x = Math::Min(max_track_length, bar_box_content.x);
  296. }
  297. // Make sure we haven't gone further than we're allowed to (min-width may have made us too big).
  298. bar_box_content.x = Math::Min(bar_box_content.x, track_length);
  299. }
  300. }
  301. // Set the new dimensions on the bar to re-decorate it.
  302. bar_box.SetContent(bar_box_content.Round());
  303. bar->SetBox(bar_box);
  304. // Now that it's been resized, re-position it.
  305. PositionBar();
  306. }
  307. // Handles events coming through from the slider's components.
  308. void WidgetScroll::ProcessEvent(Event& event)
  309. {
  310. if (event.GetTargetElement() == bar)
  311. {
  312. if (event == EventId::Drag)
  313. {
  314. if (orientation == HORIZONTAL)
  315. {
  316. float traversable_track_length = track->GetBox().GetSize(Box::CONTENT).x - bar->GetBox().GetSize(Box::CONTENT).x;
  317. if (traversable_track_length > 0)
  318. {
  319. float traversable_track_origin = track->GetAbsoluteOffset().x + bar_drag_anchor;
  320. float new_bar_position = (event.GetParameter< float >("mouse_x", 0) - traversable_track_origin) / traversable_track_length;
  321. new_bar_position = Math::Clamp(new_bar_position, 0.0f, 1.0f);
  322. SetBarPosition(new_bar_position);
  323. }
  324. }
  325. else
  326. {
  327. float traversable_track_length = track->GetBox().GetSize(Box::CONTENT).y - bar->GetBox().GetSize(Box::CONTENT).y;
  328. if (traversable_track_length > 0)
  329. {
  330. float traversable_track_origin = track->GetAbsoluteOffset().y + bar_drag_anchor;
  331. float new_bar_position = (event.GetParameter< float >("mouse_y", 0) - traversable_track_origin) / traversable_track_length;
  332. new_bar_position = Math::Clamp(new_bar_position, 0.0f, 1.0f);
  333. SetBarPosition(new_bar_position);
  334. }
  335. }
  336. }
  337. else if (event == EventId::Dragstart)
  338. {
  339. if (orientation == HORIZONTAL)
  340. bar_drag_anchor = event.GetParameter< int >("mouse_x", 0) - Math::RealToInteger(bar->GetAbsoluteOffset().x);
  341. else
  342. bar_drag_anchor = event.GetParameter< int >("mouse_y", 0) - Math::RealToInteger(bar->GetAbsoluteOffset().y);
  343. }
  344. }
  345. else if (event.GetTargetElement() == track)
  346. {
  347. if (event == EventId::Click)
  348. {
  349. if (orientation == HORIZONTAL)
  350. {
  351. float mouse_position = event.GetParameter< float >("mouse_x", 0);
  352. float click_position = (mouse_position - track->GetAbsoluteOffset().x) / track->GetBox().GetSize().x;
  353. SetBarPosition(click_position <= bar_position ? OnPageDecrement() : OnPageIncrement());
  354. }
  355. else
  356. {
  357. float mouse_position = event.GetParameter< float >("mouse_y", 0);
  358. float click_position = (mouse_position - track->GetAbsoluteOffset().y) / track->GetBox().GetSize().y;
  359. SetBarPosition(click_position <= bar_position ? OnPageDecrement() : OnPageIncrement());
  360. }
  361. }
  362. }
  363. if (event == EventId::Mousedown)
  364. {
  365. if (event.GetTargetElement() == arrows[0])
  366. {
  367. arrow_timers[0] = DEFAULT_REPEAT_DELAY;
  368. last_update_time = Clock::GetElapsedTime();
  369. SetBarPosition(OnLineDecrement());
  370. }
  371. else if (event.GetTargetElement() == arrows[1])
  372. {
  373. arrow_timers[1] = DEFAULT_REPEAT_DELAY;
  374. last_update_time = Clock::GetElapsedTime();
  375. SetBarPosition(OnLineIncrement());
  376. }
  377. }
  378. else if (event == EventId::Mouseup ||
  379. event == EventId::Mouseout)
  380. {
  381. if (event.GetTargetElement() == arrows[0])
  382. arrow_timers[0] = -1;
  383. else if (event.GetTargetElement() == arrows[1])
  384. arrow_timers[1] = -1;
  385. }
  386. }
  387. void WidgetScroll::PositionBar()
  388. {
  389. const Vector2f track_dimensions = track->GetBox().GetSize();
  390. const Vector2f bar_dimensions = bar->GetBox().GetSize(Box::BORDER);
  391. if (orientation == VERTICAL)
  392. {
  393. float traversable_track_length = track_dimensions.y - bar_dimensions.y;
  394. bar->SetOffset(Vector2f(bar->GetBox().GetEdge(Box::MARGIN, Box::LEFT), track->GetRelativeOffset().y + traversable_track_length * bar_position), parent);
  395. }
  396. else
  397. {
  398. float traversable_track_length = track_dimensions.x - bar_dimensions.x;
  399. bar->SetOffset(Vector2f(track->GetRelativeOffset().x + traversable_track_length * bar_position, bar->GetBox().GetEdge(Box::MARGIN, Box::TOP)), parent);
  400. }
  401. }
  402. // Sets the length of the entire track in some arbitrary unit.
  403. void WidgetScroll::SetTrackLength(float _track_length, bool RMLUI_UNUSED_PARAMETER(force_resize))
  404. {
  405. RMLUI_UNUSED(force_resize);
  406. if (track_length != _track_length)
  407. {
  408. track_length = _track_length;
  409. // GenerateBar();
  410. }
  411. }
  412. // Sets the length the bar represents in some arbitrary unit, relative to the track length.
  413. void WidgetScroll::SetBarLength(float _bar_length, bool RMLUI_UNUSED_PARAMETER(force_resize))
  414. {
  415. RMLUI_UNUSED(force_resize);
  416. if (bar_length != _bar_length)
  417. {
  418. bar_length = _bar_length;
  419. // GenerateBar();
  420. }
  421. }
  422. // Sets the line height of the parent element; this is used for scrolling speeds.
  423. void WidgetScroll::SetLineHeight(float _line_height)
  424. {
  425. line_height = _line_height;
  426. }
  427. // Lays out and resizes the internal elements.
  428. void WidgetScroll::FormatElements(const Vector2f containing_block, float slider_length)
  429. {
  430. float relative_bar_length;
  431. if (track_length <= 0)
  432. relative_bar_length = 1;
  433. else if (bar_length <= 0)
  434. relative_bar_length = 0;
  435. else
  436. relative_bar_length = bar_length / track_length;
  437. WidgetScroll::FormatElements(containing_block, true, slider_length, relative_bar_length);
  438. }
  439. // Called when the slider is incremented by one 'line', either by the down / right key or a mouse-click on the
  440. // increment arrow.
  441. float WidgetScroll::OnLineIncrement()
  442. {
  443. return Scroll(line_height);
  444. }
  445. // Called when the slider is decremented by one 'line', either by the up / left key or a mouse-click on the decrement
  446. // arrow.
  447. float WidgetScroll::OnLineDecrement()
  448. {
  449. return Scroll(-line_height);
  450. }
  451. // Called when the slider is incremented by one 'page', either by the page-up key or a mouse-click on the track
  452. // below / right of the bar.
  453. float WidgetScroll::OnPageIncrement()
  454. {
  455. return Scroll(bar_length);
  456. }
  457. // Called when the slider is incremented by one 'page', either by the page-down key or a mouse-click on the track
  458. // above / left of the bar.
  459. float WidgetScroll::OnPageDecrement()
  460. {
  461. return Scroll(-bar_length);
  462. }
  463. // Returns the bar position after scrolling for a number of pixels.
  464. float WidgetScroll::Scroll(float distance)
  465. {
  466. float traversable_track_length = (track_length - bar_length);
  467. if (traversable_track_length <= 0)
  468. return bar_position;
  469. return (bar_position * traversable_track_length + distance) / traversable_track_length;
  470. }
  471. } // namespace Rml