"""verify_result: copper no engine checked is checked on exact shapes."""

from pathlib import Path

from rpmroute.dsn import parse_dsn
from rpmroute.route.verify import verify_result
from rpmroute.ses.model import RoutedWire, RoutingResult

FIXTURE = Path(__file__).parents[1] / "dsn" / "fixtures" / "crossing_2net.dsn"
# rule: 2000 um wide traces, 2000 um clearance; NET_A runs along y = -40000
A = RoutedWire(layer="Top", width=2000, coords=[2000, -40000, 198000, -40000])


def _check(b_wire):
    result = RoutingResult()
    result.add_wire("NET_A", A)
    result.add_wire("NET_B", b_wire)
    return verify_result(parse_dsn(FIXTURE.read_text()), result)


def test_a_crossing_on_one_layer_is_a_short():
    report = _check(RoutedWire(layer="Top", width=2000, coords=[100000, -15000, 100000, -65000]))
    assert report.shorts == 1 and report.clearance == 0
    found = report.short_examples[0]
    assert {found.net, found.other} == {"NET_A", "NET_B"} and found.layer == "Top"
    assert abs(found.x_mm - 100.0) < 1.5 and abs(found.y_mm + 40.0) < 1.5


def test_copper_closer_than_the_rule_is_a_clearance_violation():
    # edges 1500 um apart against a 2000 um rule
    report = _check(RoutedWire(layer="Top", width=2000, coords=[50000, -36500, 150000, -36500]))
    assert report.shorts == 0 and report.clearance == 1


def test_exactly_the_clearance_apart_is_clean():
    report = _check(RoutedWire(layer="Top", width=2000, coords=[50000, -36000, 150000, -36000]))
    assert report.clean


def test_a_crossing_on_another_layer_is_clean():
    report = _check(RoutedWire(layer="Bottom", width=2000, coords=[100000, -15000, 100000, -65000]))
    assert report.clean