Blame tests/conformance/sec9_12/mod5.yang

Packit 8fb591
module mod5 {
Packit 8fb591
    prefix abc;
Packit 8fb591
    namespace "urn:cesnet:mod5";
Packit 8fb591
Packit 8fb591
    typedef my {
Packit 8fb591
        type union {
Packit 8fb591
            type my_num {
Packit 8fb591
                range "min..-100 | -50 .. 50 | 100..max";
Packit 8fb591
            }
Packit 8fb591
            type uint8;
Packit 8fb591
            type enumeration {
Packit 8fb591
                enum unknown {
Packit 8fb591
                    value -1000;
Packit 8fb591
                }
Packit 8fb591
Packit 8fb591
                enum zero {
Packit 8fb591
                    value 0;
Packit 8fb591
                }
Packit 8fb591
Packit 8fb591
                enum one;
Packit 8fb591
            }
Packit 8fb591
        }
Packit 8fb591
    }
Packit 8fb591
Packit 8fb591
    typedef my_num {
Packit 8fb591
        type int16 {
Packit 8fb591
            range "-6000 .. 6000";
Packit 8fb591
        }
Packit 8fb591
        default 10;
Packit 8fb591
    }
Packit 8fb591
Packit 8fb591
    container ccc {
Packit 8fb591
        leaf-list test {
Packit 8fb591
            type my;
Packit 8fb591
        }
Packit 8fb591
    }
Packit 8fb591
Packit 8fb591
    leaf-list test {
Packit 8fb591
        type union {
Packit 8fb591
            type my_num {
Packit 8fb591
                range "min..-100 | -50 .. 50 | 100..max";
Packit 8fb591
            }
Packit 8fb591
            type uint8;
Packit 8fb591
            type enumeration {
Packit 8fb591
                enum unknown {
Packit 8fb591
                    value -1000;
Packit 8fb591
                }
Packit 8fb591
Packit 8fb591
                enum zero {
Packit 8fb591
                    value 0;
Packit 8fb591
                }
Packit 8fb591
Packit 8fb591
                enum one;
Packit 8fb591
            }
Packit 8fb591
            type string;
Packit 8fb591
        }
Packit 8fb591
    }
Packit 8fb591
Packit 8fb591
    container bbb {
Packit 8fb591
        presence "enable";
Packit 8fb591
Packit 8fb591
        leaf test {
Packit 8fb591
            type my;
Packit 8fb591
            default 10;
Packit 8fb591
        }
Packit 8fb591
        must "test = '10'";
Packit 8fb591
    }
Packit 8fb591
Packit 8fb591
    container aaa {
Packit 8fb591
        presence "enable";
Packit 8fb591
Packit 8fb591
        leaf test {
Packit 8fb591
            type my;
Packit 8fb591
        }
Packit 8fb591
        must "test = '10'";
Packit 8fb591
    }
Packit 8fb591
}