Blame tests/conformance/sec9_2/mod13.yang

Packit 8fb591
module mod13 {
Packit 8fb591
    prefix abc;
Packit 8fb591
    namespace "urn:cesnet:mod13";
Packit 8fb591
Packit 8fb591
    typedef my {
Packit 8fb591
        type int16 {
Packit 8fb591
            range "min .. 6000";
Packit 8fb591
        }
Packit 8fb591
    }
Packit 8fb591
Packit 8fb591
    typedef my_2 {
Packit 8fb591
        type my {
Packit 8fb591
            range "-6000 .. max";
Packit 8fb591
        }
Packit 8fb591
    }
Packit 8fb591
Packit 8fb591
    leaf leaf1 {
Packit 8fb591
        type my;
Packit 8fb591
    }
Packit 8fb591
Packit 8fb591
    leaf leaf2 {
Packit 8fb591
        type my_2;
Packit 8fb591
    }
Packit 8fb591
Packit 8fb591
    leaf-list lleaf1 {
Packit 8fb591
        type my_2 {
Packit 8fb591
            range "min .. -100 | -55 .. 100 | 101 .. max";
Packit 8fb591
        }
Packit 8fb591
    }
Packit 8fb591
Packit 8fb591
    container cont {
Packit 8fb591
        leaf leaf1 {
Packit 8fb591
            type int8 {
Packit 8fb591
                range "min .. max";
Packit 8fb591
            }
Packit 8fb591
        }
Packit 8fb591
Packit 8fb591
        leaf leaf2 {
Packit 8fb591
            type int32 {
Packit 8fb591
                range "min .. max";
Packit 8fb591
            }
Packit 8fb591
        }
Packit 8fb591
Packit 8fb591
        leaf leaf3 {
Packit 8fb591
            type int64 {
Packit 8fb591
                range "min .. max";
Packit 8fb591
            }
Packit 8fb591
        }
Packit 8fb591
Packit 8fb591
        leaf leaf4 {
Packit 8fb591
            type uint8 {
Packit 8fb591
                range "min .. max";
Packit 8fb591
            }
Packit 8fb591
        }
Packit 8fb591
Packit 8fb591
        leaf leaf5 {
Packit 8fb591
            type uint16 {
Packit 8fb591
                range "min .. max";
Packit 8fb591
            }
Packit 8fb591
        }
Packit 8fb591
Packit 8fb591
        leaf leaf6 {
Packit 8fb591
            type uint32 {
Packit 8fb591
                range "min .. max";
Packit 8fb591
            }
Packit 8fb591
        }
Packit 8fb591
Packit 8fb591
        leaf leaf7 {
Packit 8fb591
            type uint64 {
Packit 8fb591
                range "min .. max";
Packit 8fb591
            }
Packit 8fb591
        }
Packit 8fb591
    }
Packit 8fb591
}