harn-dap 0.10.157

Debug Adapter Protocol implementation for Harn
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81

use super::*;

#[test]
fn test_set_exception_breakpoints_enable() {
    let mut dbg = Debugger::new();
    assert!(!dbg.break_on_exceptions);

    let responses = dbg.handle_message(make_request(
        1,
        "setExceptionBreakpoints",
        Some(json!({"filters": ["all"]})),
    ));
    assert_eq!(responses.len(), 1);
    assert_eq!(responses[0].success, Some(true));
    assert!(dbg.break_on_exceptions);
}

#[test]
fn test_set_exception_breakpoints_disable() {
    let mut dbg = Debugger::new();
    dbg.break_on_exceptions = true;

    let responses = dbg.handle_message(make_request(
        1,
        "setExceptionBreakpoints",
        Some(json!({"filters": []})),
    ));
    assert_eq!(responses.len(), 1);
    assert_eq!(responses[0].success, Some(true));
    assert!(!dbg.break_on_exceptions);
}

#[test]
fn exception_breakpoints_stop_for_declared_and_legacy_throws() {
    for declaration in ["", " throws string"] {
        let source = format!("fn fail(){declaration} {{ throw \"exception-probe\" }}\nfail()");
        for enabled in [false, true] {
            let mut dbg = Debugger::new();
            let (_dir, file) = write_temp_program("exception.harn", &source);
            dbg.handle_message(make_request(1, "initialize", None));
            dbg.handle_message(make_request(
                2,
                "launch",
                Some(json!({"program": file.to_string_lossy()})),
            ));
            let filters: Vec<&str> = if enabled { vec!["all"] } else { vec![] };
            dbg.handle_message(make_request(
                3,
                "setExceptionBreakpoints",
                Some(json!({"filters": filters})),
            ));
            let mut responses = dbg.handle_message(make_request(4, "configurationDone", None));
            for _ in 0..1000 {
                if !dbg.is_running() {
                    break;
                }
                responses.extend(dbg.step_running_vm());
            }
            assert!(!dbg.is_running(), "exception probe did not finish");
            let stopped = responses.iter().any(|response| {
                response.event.as_deref() == Some("stopped")
                    && response
                        .body
                        .as_ref()
                        .is_some_and(|body| body["reason"] == "exception")
            });
            assert_eq!(stopped, enabled, "declaration={declaration:?}");
            assert!(
                responses.iter().any(|response| {
                    response.event.as_deref() == Some("output")
                        && response.body.as_ref().is_some_and(|body| {
                            body["output"]
                                .as_str()
                                .is_some_and(|text| text.contains("exception-probe"))
                        })
                }),
                "throw was not reached: {responses:?}"
            );
        }
    }
}