#!/usr/bin/env bash
#
# Dings-Feature-Render-Ir-Html Use-Cases
#
# Run from anywhere inside the Dings-System repository:
#
#   bash 300101006.use-cases.bash
#

set -euo pipefail

DINGS_GPT="${DINGS_GPT:-}"

Repo_Dir="$(git rev-parse --show-toplevel)"
Dings_Dir="${Dings_Dir:-$(cd "${Repo_Dir}/../../.." && pwd)}"
if [ -z "${DINGS_GPT}" ] && [ -x "${Dings_Dir}/Work-Dir/dings-gpt" ]; then
	DINGS_GPT="${Dings_Dir}/Work-Dir/dings-gpt"
fi
DINGS_GPT="${DINGS_GPT:-dings-gpt}"
Work_Dir="${Dings_Work_Directory:-${Dings_Dir}/Work-Dir}"
Output_Dir="$(mktemp -d "${TMPDIR:-/tmp}/dings-ir-html.XXXXXX")"
Fixture_Md_Path="${Output_Dir}/300101006.md"
Fixture_Ir_Path="${Output_Dir}/300101006.ir.json"
Fixture_Html_Path="${Output_Dir}/300101006.html"

cleanup()
{
	rm -rf "${Output_Dir}"
}

trap cleanup EXIT

export Dings_Dir
export Dings_Work_Directory="${Work_Dir}"

cd "${Dings_Dir}"

print_case()
{
	echo
	echo "== $1 =="
}

run()
{
	echo "+ $*"
	"$@"
}

assert_file()
{
	local File_Path="$1"
	if [ ! -f "${File_Path}" ]; then
		echo "Missing file: ${File_Path}" >&2
		exit 1
	fi
}

assert_grep()
{
	local Pattern="$1"
	local File_Path="$2"
	if ! grep -Eq "${Pattern}" "${File_Path}"; then
		echo "Pattern not found in ${File_Path}: ${Pattern}" >&2
		exit 1
	fi
}

assert_not_grep()
{
	local Pattern="$1"
	local File_Path="$2"
	if grep -Eq "${Pattern}" "${File_Path}"; then
		echo "Unexpected pattern found in ${File_Path}: ${Pattern}" >&2
		exit 1
	fi
}

assert_command_grep()
{
	local Pattern="$1"
	shift
	local Temp_File
	Temp_File="$(mktemp "${TMPDIR:-/tmp}/dings-ir-html-output.XXXXXX")"
	"$@" > "${Temp_File}" 2>&1
	if ! grep -Eq "${Pattern}" "${Temp_File}"; then
		echo "Pattern not found in command output: ${Pattern}" >&2
		cat "${Temp_File}" >&2
		rm -f "${Temp_File}"
		exit 1
	fi
	rm -f "${Temp_File}"
}

assert_command_fail_grep()
{
	local Pattern="$1"
	shift
	local Temp_File
	Temp_File="$(mktemp "${TMPDIR:-/tmp}/dings-ir-html-output.XXXXXX")"
	if "$@" > "${Temp_File}" 2>&1; then
		echo "Command unexpectedly succeeded: $*" >&2
		cat "${Temp_File}" >&2
		rm -f "${Temp_File}"
		exit 1
	fi
	if ! grep -Eq "${Pattern}" "${Temp_File}"; then
		echo "Pattern not found in failing command output: ${Pattern}" >&2
		cat "${Temp_File}" >&2
		rm -f "${Temp_File}"
		exit 1
	fi
	rm -f "${Temp_File}"
}

assert_ir_app_targets()
{
	local File_Path="$1"
	shift
	python3 - "$File_Path" "$@" <<'PY'
import json
import sys

Path = sys.argv[1]
Expected_Target_List = sys.argv[2:]

with open(Path, encoding="utf-8") as File:
	Document = json.load(File)

Target_List = [
	Block.get("Target_File")
	for Block in Document.get("Block_List", [])
	if Block.get("Type") == "Dings_IR_Node_Block_App"
]
Missing_Target_List = [
	Target
	for Target in Expected_Target_List
	if Target not in Target_List
]

if Missing_Target_List:
	print("Missing app targets in IR: " + ", ".join(Missing_Target_List), file=sys.stderr)
	raise SystemExit(1)
PY
}

print_case "Help documents Ir-Html"
assert_command_grep "Ir-Html" "${DINGS_GPT}" render --help
assert_command_grep "Day/<DINGS_NUMBER>\\.html" "${DINGS_GPT}" render Ir-Html --help

cat > "${Fixture_Md_Path}" <<'EOF'
# Ir Html Fixture

## Body

Text with [[3]](#foot), [[4]](4711), and $2^{\frac{7}{12}}$.

Inline markup with _M1/M2_, *real* [Foot](#foot), **bold**, and __strong__.

- First [Foot](#foot)
- Second `Code`

> Yes!

$$ F = \sqrt[12]{128} $${#fixture-equation:7}

| Method | Result |
|--------|--------|
| Chat-Gpt-Newton | 1.498 |

![](400000195.jpg)
![Let us go](400000196.mp3)

[<a id="foot"/>3] Foot
[<a id="4711"/>4] Local numeric anchor
EOF

print_case "Md-Ir parses fixture Markdown"
run "${DINGS_GPT}" render Md-Ir -output-dir "${Output_Dir}" "${Fixture_Md_Path}"
assert_file "${Fixture_Ir_Path}"
assert_ir_app_targets "${Fixture_Ir_Path}" "400000195.jpg" "400000196.mp3"
assert_grep "Dings_IR_Node_Inline_Math" "${Fixture_Ir_Path}"
assert_grep "Dings_IR_Node_Inline_Emphasis" "${Fixture_Ir_Path}"
assert_grep "Dings_IR_Node_Inline_Strong" "${Fixture_Ir_Path}"
assert_grep "Dings_IR_Node_Block_List" "${Fixture_Ir_Path}"
assert_grep "Dings_IR_Node_Block_Quote" "${Fixture_Ir_Path}"
assert_grep "Dings_IR_Node_Block_Math" "${Fixture_Ir_Path}"
assert_grep '"Anchor_Id": "fixture-equation"' "${Fixture_Ir_Path}"
assert_grep '"Equation_Number": "7"' "${Fixture_Ir_Path}"
assert_grep "Dings_IR_Node_Block_Table" "${Fixture_Ir_Path}"
run "${DINGS_GPT}" render Ir-Html -output-dir "${Output_Dir}" "${Fixture_Ir_Path}"
assert_file "${Fixture_Html_Path}"
assert_grep "href=\"#foot\">\\[3\\]</a>" "${Fixture_Html_Path}"
assert_grep "href=\"#4711\">\\[4\\]</a>" "${Fixture_Html_Path}"
assert_grep "<math display=\"inline\">" "${Fixture_Html_Path}"
assert_grep "<em>M1/M2</em>" "${Fixture_Html_Path}"
assert_grep "<em>real</em> <a href=\"#foot\">Foot</a>" "${Fixture_Html_Path}"
assert_grep "<strong>bold</strong>" "${Fixture_Html_Path}"
assert_grep "<strong>strong</strong>" "${Fixture_Html_Path}"
assert_grep "<ul>" "${Fixture_Html_Path}"
assert_grep "<li>First <a href=\"#foot\">Foot</a></li>" "${Fixture_Html_Path}"
assert_grep "<li>Second <code>Code</code></li>" "${Fixture_Html_Path}"
assert_grep "<blockquote><p>Yes!" "${Fixture_Html_Path}"
assert_grep "<math display=\"block\">" "${Fixture_Html_Path}"
assert_grep "<table class=\"TeX-Table\">" "${Fixture_Html_Path}"
assert_grep "<a id=\"fixture-equation\"></a>" "${Fixture_Html_Path}"
assert_grep "<td class=\"TeX-Td-Right\">\\(7\\)</td>" "${Fixture_Html_Path}"
assert_grep "<table>" "${Fixture_Html_Path}"
assert_grep "<th>Method</th>" "${Fixture_Html_Path}"
assert_grep "<td>Chat-Gpt-Newton</td>" "${Fixture_Html_Path}"

print_case "Primary Ir-Html render all"
run "${DINGS_GPT}" render Ir-Html -output-dir "${Output_Dir}"
assert_file "${Output_Dir}/300100001.html"

print_case "Generated HTML contains Document-View structures"
run "${DINGS_GPT}" render Md-Ir -output-dir "${Output_Dir}" 300100001
run "${DINGS_GPT}" render Ir-Html -output-dir "${Output_Dir}" "${Output_Dir}/300100001.ir.json"
assert_grep "<h2 id=\"8000\">Foreword</h2>" "${Output_Dir}/300100001.html"
assert_grep "href=\"700062\\.html\"" "${Output_Dir}/300100001.html"
assert_grep "href=\"#8000\"" "${Output_Dir}/300100001.html"
assert_grep "<ul>" "${Output_Dir}/300100001.html"

print_case "Generated HTML renders Paragraph Embeddings"
run "${DINGS_GPT}" render Md-Ir -output-dir "${Output_Dir}" 23
run "${DINGS_GPT}" render Ir-Html -output-dir "${Output_Dir}" "${Output_Dir}/23.ir.json"
assert_file "${Output_Dir}/23.html"
assert_grep "400000195\\.jpg" "${Output_Dir}/23.html"
assert_grep "<audio id=\"?Dings_Object_[0-9]+\\.Player\"? controls>" "${Output_Dir}/23.html"
assert_grep "<source src=\"400000196\\.mp3\" type=\"audio/mpeg\"" "${Output_Dir}/23.html"
assert_grep "<a id=\"12009\"></a>" "${Output_Dir}/23.html"
assert_grep "fa-square-o" "${Output_Dir}/23.html"
assert_grep "fa-share-square" "${Output_Dir}/23.html"
assert_grep "Dings_Object_0\\.Link_Icon" "${Output_Dir}/23.html"
assert_grep "Dings_Object_0\\.Toggle_Full_Screen\\(\\)" "${Output_Dir}/23.html"
assert_not_grep "!\\[\\]\\(400000195\\.jpg\\)" "${Output_Dir}/23.html"
assert_not_grep "!\\[Let's do it!\\]\\(400000196\\.mp3\\)" "${Output_Dir}/23.html"

print_case "Generated HTML renders inline Markdown compatibility"
assert_not_grep "&amp;nbsp;" "${Output_Dir}/23.html"
assert_grep "href=\"#12053\">\\[3\\]</a>" "${Output_Dir}/23.html"
assert_not_grep "\\[\\[3\\]\\]\\(#12053\\)" "${Output_Dir}/23.html"

print_case "Generated HTML renders LaTeX MathML"
run "${DINGS_GPT}" render Md-Ir -output-dir "${Output_Dir}" 21
run "${DINGS_GPT}" render Ir-Html -output-dir "${Output_Dir}" "${Output_Dir}/21.ir.json"
assert_grep "<math display=\"inline\">" "${Output_Dir}/23.html"
assert_grep "<math display=\"block\">" "${Output_Dir}/23.html"
assert_grep "<td class=\"TeX-Td-Right\">\\(1\\)</td>" "${Output_Dir}/23.html"
assert_grep "<td class=\"TeX-Td-Right\">\\(2\\)</td>" "${Output_Dir}/23.html"
assert_grep "<mfrac>" "${Output_Dir}/23.html"
assert_grep "<mroot>" "${Output_Dir}/23.html"
assert_grep "<msup><mrow><mo>\\(</mo><msup><mi>F</mi><mn>12</mn></msup><mo>\\)</mo></mrow><mrow><mfrac>" "${Output_Dir}/23.html"
assert_not_grep "<msup><mo>\\)</mo><mrow><mfrac>" "${Output_Dir}/23.html"
assert_grep "<mstyle mathvariant=\"normal\"><mfrac><mrow><mi>Euro</mi></mrow><mrow><mi>Year</mi></mrow></mfrac></mstyle>" "${Output_Dir}/23.html"
assert_not_grep "\\\\frac\\{Euro\\}\\{Year\\}" "${Output_Dir}/23.html"
assert_grep "<munderover><mo>&#x2211;</mo>" "${Output_Dir}/21.html"
assert_not_grep "sumlimits" "${Output_Dir}/21.html"

print_case "Generated HTML renders Markdown Tables"
assert_grep "<table>" "${Output_Dir}/23.html"
assert_grep "<th>Method</th>" "${Output_Dir}/23.html"
assert_grep "<td>Chat-Gpt-Newton</td>" "${Output_Dir}/23.html"

print_case "Generated HTML embeds Navigator App"
run "${DINGS_GPT}" render Md-Ir -output-dir "${Output_Dir}" 300040011
run "${DINGS_GPT}" render Ir-Html -output-dir "${Output_Dir}" "${Output_Dir}/300040011.ir.json"
assert_file "${Output_Dir}/300040011.html"
assert_grep "300010012\\.js" "${Output_Dir}/300040011.html"
assert_grep "300010013\\.js" "${Output_Dir}/300040011.html"
assert_grep "300010014\\.js" "${Output_Dir}/300040011.html"
assert_grep "300040011\\.js" "${Output_Dir}/300040011.html"
assert_grep "<canvas id=\"Dings_Object_0\\.viewport\"" "${Output_Dir}/300040011.html"
assert_grep "Dings_Object_0 = new Dings_Navigator_Class" "${Output_Dir}/300040011.html"
assert_grep "Dings_Object_0\\.Toggle_Full_Screen\\(\\)" "${Output_Dir}/300040011.html"
assert_not_grep "<p><a href=\"300040011\\.navigator\">" "${Output_Dir}/300040011.html"

print_case "Selection renders one Dings object"
run "${DINGS_GPT}" render Ir-Html -output-dir "${Output_Dir}" 100001
assert_file "${Output_Dir}/100001.html"
assert_grep "<pre><code class=\"language-console\">" "${Output_Dir}/100001.html"
assert_grep "href=\"99\\.html#fix-the-last-commit\"" "${Output_Dir}/100001.html"

print_case "Missing Ir-Html selection reports missing IR"
assert_command_fail_grep "Json File Not Found: .*999999999\\.ir\\.json" \
	"${DINGS_GPT}" render Ir-Html -output-dir "${Output_Dir}" 999999999

print_case "Compatibility syntax Ir->Html"
run "${DINGS_GPT}" render "Ir->Html" -output-dir "${Output_Dir}" 300100001
assert_file "${Output_Dir}/300100001.html"

print_case "Compatibility syntax Ir Html"
run "${DINGS_GPT}" render Ir Html -output-dir "${Output_Dir}" 0
assert_file "${Output_Dir}/0.html"
assert_grep "400000028\\.jpg" "${Output_Dir}/0.html"

echo
echo "OK: Ir-Html use-cases passed."