Function diamond_inheritance

src/toposort.rs:370–399

()

    #[test]
    fn diamond_inheritance() {
        // D extends B and C, both extend A.
        let a = make_class("A");
        let mut b = make_class("B");
        b.parent_class = Some(crate::atom::atom("A"));
        let mut c = make_class("C");
        c.parent_class = Some(crate::atom::atom("A"));
        let mut d = make_class("D");
        d.parent_class = Some(crate::atom::atom("B"));
        d.interfaces = vec![crate::atom::atom("C")];

        let classes = vec![
            ("D".to_string(), &d),
            ("C".to_string(), &c),
            ("B".to_string(), &b),
            ("A".to_string(), &a),
        ];

        let sorted = toposort_classes(classes.into_iter());

        let pos_a = sorted.iter().position(|s| s == "A").unwrap();
        let pos_b = sorted.iter().position(|s| s == "B").unwrap();
        let pos_c = sorted.iter().position(|s| s == "C").unwrap();
        let pos_d = sorted.iter().position(|s| s == "D").unwrap();

        assert!(pos_a < pos_b, "A must come before B");
        assert!(pos_a < pos_c, "A must come before C");
        assert!(pos_b < pos_d, "B must come before D");
        assert!(pos_c < pos_d, "C must come before D");
    }

    #[test]
    fn extends_generics_dependency() {