hangshuo652
100 lines
3.9 KiB
HTML
100 lines
3.9 KiB
HTML
<!DOCTYPE html>
|
|
<html lang="en">
|
|
<head><meta charset="utf-8"><meta name="viewport" content="width=device-width,initial-scale=1">
|
|
<title>Result — {{ task.id }}</title>
|
|
<link rel="stylesheet" href="/static/style.css">
|
|
</head>
|
|
<body>
|
|
<div class="container">
|
|
|
|
<header>
|
|
<div class="badge">Verification Result</div>
|
|
<h1>{{ task.id }}</h1>
|
|
<div class="tagline">Status: <span class="poll-status">loading...</span></div>
|
|
</header>
|
|
|
|
<section>
|
|
<h2>Summary</h2>
|
|
<div class="matrix">
|
|
<dt>Status</dt><dd>{{ task.result.status }}</dd>
|
|
<dt>Program</dt><dd>{{ task.result.program }}</dd>
|
|
<dt>Matched</dt><dd>{{ task.result.matched }}</dd>
|
|
<dt>Mismatched</dt><dd>{{ task.result.mismatched }}</dd>
|
|
<dt>Runner</dt><dd>{{ task.result.runner }}</dd>
|
|
<dt>Duration</dt><dd>{{ task.result.duration }}s</dd>
|
|
</div>
|
|
</section>
|
|
|
|
<section>
|
|
<h2>Field Results</h2>
|
|
<div id="fields-table"></div>
|
|
</section>
|
|
|
|
<section>
|
|
<h2>Pipeline Details</h2>
|
|
<div id="debug-section"></div>
|
|
</section>
|
|
|
|
<div class="divider"></div>
|
|
<a href="/" class="btn btn-secondary">← New Verification</a>
|
|
|
|
<footer>
|
|
<span>verify-cli v0.2.0</span>
|
|
<span><a href="#">Docs</a> · <a href="#">Architecture</a></span>
|
|
</footer>
|
|
|
|
</div>
|
|
<script>
|
|
const id = "{{ task.id }}";
|
|
setInterval(async () => {
|
|
const r = await fetch("/status/" + id);
|
|
const d = await r.json();
|
|
document.querySelector(".poll-status").textContent = d.status;
|
|
if (d.status === "done" || d.status === "error") location.reload();
|
|
}, 3000);
|
|
|
|
// Load per-field results + debug
|
|
(async () => {
|
|
const r = await fetch("/fields/" + id);
|
|
const d = await r.json();
|
|
if (d.fields && d.fields.length) {
|
|
const rows = d.fields.map(f => {
|
|
const cls = f.status === "PASS" ? "pass" : f.status === "TOLERATED" ? "tolerated" : "fail";
|
|
return `<tr class="${cls}"><td>${f.name}</td><td>${f.status}</td><td>${f.cobol||""}</td><td>${f.java||""}</td><td>${f.suggestion||""}</td></tr>`;
|
|
}).join("");
|
|
document.getElementById("fields-table").innerHTML =
|
|
`<table><tr><th>Field</th><th>Status</th><th>COBOL</th><th>Java</th><th>Suggestion</th></tr>${rows}</table>`;
|
|
}
|
|
// Render debug info
|
|
const dbg = d.debug || {};
|
|
let html = "";
|
|
if (dbg.field_tree) {
|
|
const treeRows = dbg.field_tree.map(f =>
|
|
`<tr><td>L${f.level}</td><td>${f.name}</td><td>${f.pic}</td><td>${f.usage}</td><td>${f.offset}</td><td>${f.length}</td></tr>`).join("");
|
|
html += `<h3 style="color:var(--dim);font-size:.75rem;letter-spacing:.05em;margin:1rem 0 .5rem">COPYBOOK FieldTree</h3>
|
|
<table><tr><th>Lv</th><th>Name</th><th>PIC</th><th>Usage</th><th>Off</th><th>Len</th></tr>${treeRows}</table>`;
|
|
}
|
|
if (dbg.test_cases) {
|
|
const tcList = dbg.test_cases.map(tc =>
|
|
`<tr><td>${tc.id}</td><td>${JSON.stringify(tc.fields)}</td><td>${(tc.targets||[]).join(", ")}</td></tr>`).join("");
|
|
html += `<h3 style="color:var(--dim);font-size:.75rem;letter-spacing:.05em;margin:1rem 0 .5rem">Test Data (${dbg.test_cases.length} cases)</h3>
|
|
<table><tr><th>ID</th><th>Fields</th><th>Coverage</th></tr>${tcList}</table>`;
|
|
}
|
|
if (dbg.spark_config) {
|
|
html += `<h3 style="color:var(--dim);font-size:.75rem;letter-spacing:.05em;margin:1rem 0 .5rem">Spark Config</h3>
|
|
<pre>${dbg.spark_config.records} records via key_varied replication</pre>`;
|
|
}
|
|
if (dbg.cobol_build) {
|
|
html += `<h3 style="color:var(--dim);font-size:.75rem;letter-spacing:.05em;margin:1rem 0 .5rem">COBOL Compile${dbg.cobol_build.ok?"":" (FAILED)"}</h3>
|
|
<pre>${dbg.cobol_build.log||"(no output)"}</pre>`;
|
|
}
|
|
if (dbg.java_build) {
|
|
html += `<h3 style="color:var(--dim);font-size:.75rem;letter-spacing:.05em;margin:1rem 0 .5rem">Java Build${dbg.java_build.ok?"":" (FAILED)"}</h3>
|
|
<pre>${dbg.java_build.log||"(no output)"}</pre>`;
|
|
}
|
|
if (html) document.getElementById("debug-section").innerHTML = html;
|
|
})();
|
|
</script>
|
|
</body>
|
|
</html>
|