From 85e3b0e934aced452f4ad0234edfbbf1d9fc0521 Mon Sep 17 00:00:00 2001
From: szdytom <szdytom@qq.com>
Date: Sat, 20 Jan 2024 21:10:12 +0800
Subject: [PATCH] analyzer playback

---
 analyzer/index.html    |  71 ++++++---
 analyzer/index.js      |  89 ++++++++++-
 analyzer/normalize.css | 349 +++++++++++++++++++++++++++++++++++++++++
 analyzer/pushbox.js    |   2 -
 4 files changed, 475 insertions(+), 36 deletions(-)
 create mode 100644 analyzer/normalize.css
diff --git a/analyzer/index.html b/analyzer/index.html
index 2091cfb..d70b287 100644
--- a/analyzer/index.html
+++ b/analyzer/index.html
@@ -1,7 +1,10 @@
 <!DOCTYPE html>
 <html>
 <head>
+	<meta charset="utf-8" />
+	<meta name="viewport" content="width=device-width, initial-scale=1" />
 	<title>Visual Pushbox 2024</title>
+	<link rel="stylesheet" href="normalize.css" />
 </head>
 
 <body>
@@ -14,27 +17,32 @@
 		</div>
 		<div id="control-panel">
 			<div class="ctrl-title">Analyzer</div>
-			<table class="full-width info-table"><tbody>
-				<tr><td>Analyze Status:</td><td id="analyze-status" class="text-right">Not Analyzed</td></tr>
-				<tr><td>Total Steps:</td><td id="analyze-steps" class="text-right">N/A</td></tr>
-			</tbody></table>
-			<div class="btn-group full-width top-margin">
-				<button id="analyze" class="btn float-left full-width">Analyze</button>
-			</div>
+			<table class="full-width info-table"><tbody><tr>
+				<td><table class="info-table full-width" id="analyze-info-table"><tbody>
+					<tr><td>Status:</td><td id="analyze-status" class="text-right">Not Analyzed</td></tr>
+					<tr><td>Total Steps:</td><td id="analyze-steps" class="text-right">N/A</td></tr>
+				</tbody></table></td>
+				<td><button id="analyze" class="">Analyze</button></td>
+			</tr></tbody></table>
 			<div class="ctrl-title top-margin">Playback</div>
-			<div id="progress-indicator">
-				<div id="progress-value" class="float-left">415 / 1618</div>
-				<div id="progress-left" class="float-right">-1203</div>
-			</div>
-			<div id="progress-bar" class="full-width top-margin">
+			<table class="full-width info-table"><tbody>
+				<tr>
+					<td id="progress-value"><span id="current-progress">0</span>/<span id="full-progress">0</span></td>
+					<td id="progress-remain" class="text-right">-0</td>
+				</tr>
+			</tbody></table>
+			<div id="progress-bar" class="full-width">
 				<div id="progress-bar-fg" class="full-height"></div>
 			</div>
-			<div class="ctrl-title top-margin">Import / Export</div>
-			<textarea autocomplete="off" spellcheck="false" id="maze_charmap"></textarea>
-			<div id="charmap_controls" class="btn-group full-width top-margin">
-				<button id="charmap_import" class="btn float-left">Import</button>
-				<button id="charmap_export" class="btn float-right">Export</button>
+			<div id="progress-controls" class="full-width">
+				<a href="javascript:void(0)" class="abtn" id="progressctl-prev">Prev</a>
+				<a href="javascript:void(0)" class="abtn" id="progressctl-next">Next</a>
+				<a href="javascript:void(0)" class="abtn" id="progressctl-auto">Play</a>
+				<a href="javascript:void(0)" class="abtn" id="progressctl-reset">Reset</a>
 			</div>
+			<div class="ctrl-title top-margin">Edit</div>
+			<textarea autocomplete="off" spellcheck="false" id="maze-charmap"></textarea>
+			<button id="charmap_import" class="btn full-width top-margin">Import</button>
 		</div>
 	</main>
 </body>
@@ -43,13 +51,26 @@
 
 <style>
 
+#analyze-info-table {
+	width: 215px;
+}
+
+#analyze {
+	height: 38px;
+	width: 75px;
+	float: right;
+}
+
+html {
+	background-color: #f6f6c6;
+}
+
 #progress-bar {
 	background-color: lightgrey;
 	height: 10px;
 }
 
 #progress-bar-fg {
-	width: 30%;
 	background-color: orange;
 }
 
@@ -95,6 +116,7 @@ textarea {
 	resize: none;
 	outline: none;
 	border-radius: 0px;
+	border: none;
 }
 
 .ctrl-title {
@@ -124,23 +146,21 @@ textarea {
 }
 
 .float-left {
-	display: inline-block;
 	float: left;
 }
 
 .float-right {
-	display: inline-block;
 	float: right;
 }
 
-#maze_charmap {
-	width: calc(100% - 2px);
-	height: 298px;
+#maze-charmap {
+	width: calc(100%);
+	height: 300px;
 	display: block;
 	margin: 0;
 	padding: 0;
 	overflow: hidden;
-	font-size: 13.33px;
+	font-size: 13px;
 	font-family: monospace;
 }
 
@@ -149,7 +169,6 @@ textarea {
 	height: 80vh;
 	border: 1px solid black;
 	padding: 0;
-	display: inline-block;
 	float: left;
 	position: relative;
 }
@@ -174,7 +193,7 @@ textarea {
 
 .maze-mv {
 	z-index: 10;
-	transition: top 0.2s, left 0.2s;
+	/* transition: top 0.2s, left 0.2s; */
 }
 
 .sqr-wall {
diff --git a/analyzer/index.js b/analyzer/index.js
index 17047a3..70a0230 100644
--- a/analyzer/index.js
+++ b/analyzer/index.js
@@ -67,20 +67,64 @@ class BoardUI {
 	}
 };
 
+function fillTemplate(id, val) {
+	document.getElementById(id).innerHTML = val.toString();
+}
+
+function updateProgressBar(p) {
+	document.getElementById('progress-bar-fg').style.width = `${p}%`;
+}
+
 document.addEventListener('DOMContentLoaded', () => {
-	const charmap_input = document.getElementById('maze_charmap');
+	const charmap_input = document.getElementById('maze-charmap');
 	const analyze_button = document.getElementById('analyze');
 	const analyze_status_element = document.getElementById('analyze-status');
 	let board = new BoardUI();
-	let maze = null, analyze_res = null;
+	let maze = null, analyze_res = null, current_progress = 0;
+	let autoplay_timer = null;
 	let current_worker = null;
 
+	function stopAutplay() {
+		if (autoplay_timer != null) {
+			clearInterval(autoplay_timer);
+			autoplay_timer = null;
+			fillTemplate('progressctl-auto', 'Play');
+		}
+	}
+
 	function resetAnalyze() {
-		document.getElementById('analyze-status').innerHTML = 'Not Analyzed';
-		document.getElementById('analyze-steps').innerHTML = 'N/A';
+		stopAutplay();
+		analyze_status_element.innerHTML = 'Not Analyzed';
+		fillTemplate('analyze-steps', 'N/A');
+		fillTemplate('current-progress', '0');
+		fillTemplate('full-progress', '0');
+		fillTemplate('progress-remain', '-0');
+		updateProgressBar(0);
+		current_progress = 0;
 		analyze_res = null;
 	}
 
+	function moveProgress(d) {
+		if (analyze_res == null || analyze_res.step == -1) {
+			return;
+		}
+
+		current_progress += d;
+		if (current_progress < 0) {
+			current_progress = 0;
+		}
+
+		if (current_progress > analyze_res) {
+			current_progress = analyze_res.step;
+		}
+
+		let st = analyze_res.path[current_progress];
+		board.updateState(st);
+		fillTemplate('current-progress', current_progress.toString());
+		fillTemplate('progress-remain', `-${analyze_res.step - current_progress}`);
+		updateProgressBar(current_progress * 100 / analyze_res.step);
+	}
+
 	function importMaze(charmap_val) {
 		let charmp = charmap_val.split('\n').map(x => x.trimEnd());
 		maze = Maze.fromCharMap(charmp);
@@ -102,6 +146,34 @@ document.addEventListener('DOMContentLoaded', () => {
 		importMaze(charmap_input.value);
 	});
 
+	document.getElementById('progressctl-next').addEventListener('click', function() {
+		moveProgress(1);
+	});
+
+	document.getElementById('progressctl-prev').addEventListener('click', function() {
+		moveProgress(-1);
+	});
+
+	document.getElementById('progressctl-auto').addEventListener('click', function() {
+		if (autoplay_timer == null) {
+			autoplay_timer = setInterval(() => {
+				if (current_progress == analyze_res.step) {
+					stopAutplay();
+					return;
+				}
+				moveProgress(1);
+			}, 500);
+			fillTemplate('progressctl-auto', 'Pause');
+		} else {
+			stopAutplay();
+		}
+	});
+
+	document.getElementById('progressctl-reset').addEventListener('click', function() {
+		stopAutplay();
+		moveProgress(-current_progress);
+	});
+
 	analyze_button.addEventListener('click', function() {
 		resetAnalyze();
 		if (current_worker != null) {
@@ -121,15 +193,16 @@ document.addEventListener('DOMContentLoaded', () => {
 		current_worker.onmessage = (msg_r) => {
 			let msg = msg_r.data;
 			if (msg.what === 'started') {
-				analyze_status_element.innerHTML = 'Running';
+				analyze_status_element.innerHTML = 'Analyzing';
 			} else if (msg.what == 'done') {
 				analyze_res = msg.value;
-				console.log(analyze_res);
-				analyze_status_element.innerHTML = 'Done';
-				document.getElementById('analyze-steps').innerHTML = analyze_res.step.toString();
 				current_worker.terminate();
 				current_worker = null;
 				analyze_button.innerHTML = 'Analyze';
+				analyze_status_element.innerHTML = 'Analyze Done';
+				fillTemplate('full-progress', analyze_res.step);
+				fillTemplate('analyze-steps', analyze_res.step);
+				fillTemplate('progress-remain', `-${analyze_res.step}`);
 			}
 		};
 		current_worker.postMessage(maze);
diff --git a/analyzer/normalize.css b/analyzer/normalize.css
new file mode 100644
index 0000000..b211cb1
--- /dev/null
+++ b/analyzer/normalize.css
@@ -0,0 +1,349 @@
+/*! normalize.css v8.0.1 | MIT License | github.com/necolas/normalize.css */
+
+/* Document
+   ========================================================================== */
+
+/**
+ * 1. Correct the line height in all browsers.
+ * 2. Prevent adjustments of font size after orientation changes in iOS.
+ */
+
+ html {
+	line-height: 1.15; /* 1 */
+	-webkit-text-size-adjust: 100%; /* 2 */
+  }
+  
+  /* Sections
+	 ========================================================================== */
+  
+  /**
+   * Remove the margin in all browsers.
+   */
+  
+  body {
+	margin: 0;
+  }
+  
+  /**
+   * Render the `main` element consistently in IE.
+   */
+  
+  main {
+	display: block;
+  }
+  
+  /**
+   * Correct the font size and margin on `h1` elements within `section` and
+   * `article` contexts in Chrome, Firefox, and Safari.
+   */
+  
+  h1 {
+	font-size: 2em;
+	margin: 0.67em 0;
+  }
+  
+  /* Grouping content
+	 ========================================================================== */
+  
+  /**
+   * 1. Add the correct box sizing in Firefox.
+   * 2. Show the overflow in Edge and IE.
+   */
+  
+  hr {
+	box-sizing: content-box; /* 1 */
+	height: 0; /* 1 */
+	overflow: visible; /* 2 */
+  }
+  
+  /**
+   * 1. Correct the inheritance and scaling of font size in all browsers.
+   * 2. Correct the odd `em` font sizing in all browsers.
+   */
+  
+  pre {
+	font-family: monospace, monospace; /* 1 */
+	font-size: 1em; /* 2 */
+  }
+  
+  /* Text-level semantics
+	 ========================================================================== */
+  
+  /**
+   * Remove the gray background on active links in IE 10.
+   */
+  
+  a {
+	background-color: transparent;
+  }
+  
+  /**
+   * 1. Remove the bottom border in Chrome 57-
+   * 2. Add the correct text decoration in Chrome, Edge, IE, Opera, and Safari.
+   */
+  
+  abbr[title] {
+	border-bottom: none; /* 1 */
+	text-decoration: underline; /* 2 */
+	text-decoration: underline dotted; /* 2 */
+  }
+  
+  /**
+   * Add the correct font weight in Chrome, Edge, and Safari.
+   */
+  
+  b,
+  strong {
+	font-weight: bolder;
+  }
+  
+  /**
+   * 1. Correct the inheritance and scaling of font size in all browsers.
+   * 2. Correct the odd `em` font sizing in all browsers.
+   */
+  
+  code,
+  kbd,
+  samp {
+	font-family: monospace, monospace; /* 1 */
+	font-size: 1em; /* 2 */
+  }
+  
+  /**
+   * Add the correct font size in all browsers.
+   */
+  
+  small {
+	font-size: 80%;
+  }
+  
+  /**
+   * Prevent `sub` and `sup` elements from affecting the line height in
+   * all browsers.
+   */
+  
+  sub,
+  sup {
+	font-size: 75%;
+	line-height: 0;
+	position: relative;
+	vertical-align: baseline;
+  }
+  
+  sub {
+	bottom: -0.25em;
+  }
+  
+  sup {
+	top: -0.5em;
+  }
+  
+  /* Embedded content
+	 ========================================================================== */
+  
+  /**
+   * Remove the border on images inside links in IE 10.
+   */
+  
+  img {
+	border-style: none;
+  }
+  
+  /* Forms
+	 ========================================================================== */
+  
+  /**
+   * 1. Change the font styles in all browsers.
+   * 2. Remove the margin in Firefox and Safari.
+   */
+  
+  button,
+  input,
+  optgroup,
+  select,
+  textarea {
+	font-family: inherit; /* 1 */
+	font-size: 100%; /* 1 */
+	line-height: 1.15; /* 1 */
+	margin: 0; /* 2 */
+  }
+  
+  /**
+   * Show the overflow in IE.
+   * 1. Show the overflow in Edge.
+   */
+  
+  button,
+  input { /* 1 */
+	overflow: visible;
+  }
+  
+  /**
+   * Remove the inheritance of text transform in Edge, Firefox, and IE.
+   * 1. Remove the inheritance of text transform in Firefox.
+   */
+  
+  button,
+  select { /* 1 */
+	text-transform: none;
+  }
+  
+  /**
+   * Correct the inability to style clickable types in iOS and Safari.
+   */
+  
+  button,
+  [type="button"],
+  [type="reset"],
+  [type="submit"] {
+	-webkit-appearance: button;
+  }
+  
+  /**
+   * Remove the inner border and padding in Firefox.
+   */
+  
+  button::-moz-focus-inner,
+  [type="button"]::-moz-focus-inner,
+  [type="reset"]::-moz-focus-inner,
+  [type="submit"]::-moz-focus-inner {
+	border-style: none;
+	padding: 0;
+  }
+  
+  /**
+   * Restore the focus styles unset by the previous rule.
+   */
+  
+  button:-moz-focusring,
+  [type="button"]:-moz-focusring,
+  [type="reset"]:-moz-focusring,
+  [type="submit"]:-moz-focusring {
+	outline: 1px dotted ButtonText;
+  }
+  
+  /**
+   * Correct the padding in Firefox.
+   */
+  
+  fieldset {
+	padding: 0.35em 0.75em 0.625em;
+  }
+  
+  /**
+   * 1. Correct the text wrapping in Edge and IE.
+   * 2. Correct the color inheritance from `fieldset` elements in IE.
+   * 3. Remove the padding so developers are not caught out when they zero out
+   *    `fieldset` elements in all browsers.
+   */
+  
+  legend {
+	box-sizing: border-box; /* 1 */
+	color: inherit; /* 2 */
+	display: table; /* 1 */
+	max-width: 100%; /* 1 */
+	padding: 0; /* 3 */
+	white-space: normal; /* 1 */
+  }
+  
+  /**
+   * Add the correct vertical alignment in Chrome, Firefox, and Opera.
+   */
+  
+  progress {
+	vertical-align: baseline;
+  }
+  
+  /**
+   * Remove the default vertical scrollbar in IE 10+.
+   */
+  
+  textarea {
+	overflow: auto;
+  }
+  
+  /**
+   * 1. Add the correct box sizing in IE 10.
+   * 2. Remove the padding in IE 10.
+   */
+  
+  [type="checkbox"],
+  [type="radio"] {
+	box-sizing: border-box; /* 1 */
+	padding: 0; /* 2 */
+  }
+  
+  /**
+   * Correct the cursor style of increment and decrement buttons in Chrome.
+   */
+  
+  [type="number"]::-webkit-inner-spin-button,
+  [type="number"]::-webkit-outer-spin-button {
+	height: auto;
+  }
+  
+  /**
+   * 1. Correct the odd appearance in Chrome and Safari.
+   * 2. Correct the outline style in Safari.
+   */
+  
+  [type="search"] {
+	-webkit-appearance: textfield; /* 1 */
+	outline-offset: -2px; /* 2 */
+  }
+  
+  /**
+   * Remove the inner padding in Chrome and Safari on macOS.
+   */
+  
+  [type="search"]::-webkit-search-decoration {
+	-webkit-appearance: none;
+  }
+  
+  /**
+   * 1. Correct the inability to style clickable types in iOS and Safari.
+   * 2. Change font properties to `inherit` in Safari.
+   */
+  
+  ::-webkit-file-upload-button {
+	-webkit-appearance: button; /* 1 */
+	font: inherit; /* 2 */
+  }
+  
+  /* Interactive
+	 ========================================================================== */
+  
+  /*
+   * Add the correct display in Edge, IE 10+, and Firefox.
+   */
+  
+  details {
+	display: block;
+  }
+  
+  /*
+   * Add the correct display in all browsers.
+   */
+  
+  summary {
+	display: list-item;
+  }
+  
+  /* Misc
+	 ========================================================================== */
+  
+  /**
+   * Add the correct display in IE 10+.
+   */
+  
+  template {
+	display: none;
+  }
+  
+  /**
+   * Add the correct display in IE 10.
+   */
+  
+  [hidden] {
+	display: none;
+  }
\ No newline at end of file
diff --git a/analyzer/pushbox.js b/analyzer/pushbox.js
index a557cfa..f739fb4 100644
--- a/analyzer/pushbox.js
+++ b/analyzer/pushbox.js
@@ -167,7 +167,6 @@ export class AnalyzeContext {
 		while (q.size()) {
 			let x = q.front();
 			q.pop();
-			console.log(x.toString());
 
 			let dis = this.dis[x.asHash()];
 			if (x.box.equals(this.maze.target) && this.step == -1) {
@@ -184,7 +183,6 @@ export class AnalyzeContext {
 
 				let yh = y.asHash();
 				if (y.isValidInMaze(this.maze) && this.dis[yh] == -1) {
-					console.log(y.toString());
 					this.dis[yh] = dis + 1;
 					this.source[yh] = x.clone();
 					q.push(y);
