whitaker-common 0.2.6

Internal common utilities for Whitaker lints
Documentation 
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

//! Validates the runtime vector algebra used by decomposition advice.

use crate::decomposition_advice::vector::{dot_product, test_feature_vector};
use rstest::rstest;

#[rstest]
#[case::left_smaller(
    test_feature_vector("left", &[("field:grammar", 6), ("keyword:parse", 2)]),
    test_feature_vector(
        "right",
        &[
            ("field:grammar", 6),
            ("keyword:parse", 2),
            ("domain:serde::json", 5),
        ],
    )
)]
#[case::right_smaller(
    test_feature_vector(
        "left",
        &[
            ("field:grammar", 6),
            ("keyword:parse", 2),
            ("domain:serde::json", 5),
        ],
    ),
    test_feature_vector("right", &[("field:grammar", 6), ("keyword:parse", 2)])
)]
fn dot_product_is_commutative(
    #[case] left: crate::decomposition_advice::vector::MethodFeatureVector,
    #[case] right: crate::decomposition_advice::vector::MethodFeatureVector,
) {
    assert_eq!(
        dot_product(left.weights(), right.weights()),
        dot_product(right.weights(), left.weights())
    );
}

#[test]
fn norm_squared_is_zero_for_empty_vector() {
    let vector = test_feature_vector("empty", &[]);

    assert_eq!(vector.norm_squared(), 0);
}

#[test]
fn norm_squared_is_positive_for_non_empty_vector() {
    let vector = test_feature_vector(
        "parse_tokens",
        &[("field:grammar", 6), ("keyword:parse", 2)],
    );

    assert!(vector.norm_squared() > 0);
    assert_eq!(vector.norm_squared(), 40);
}

#[test]
fn dot_product_is_zero_when_vectors_share_no_positive_feature() {
    let left = test_feature_vector("left", &[("field:grammar", 6), ("keyword:shared", 0)]);
    let right = test_feature_vector("right", &[("domain:std::fs", 5), ("keyword:shared", 7)]);

    assert_eq!(dot_product(left.weights(), right.weights()), 0);
}