Blame tests/conformance/sec7_5_4/mod1.yang

Packit 8fb591
module mod1 {
Packit 8fb591
Packit 8fb591
    prefix abc;
Packit 8fb591
    namespace "urn:cesnet:mod1";
Packit 8fb591
Packit 8fb591
    container interface {
Packit 8fb591
        leaf ifType {
Packit 8fb591
            type enumeration {
Packit 8fb591
                enum ethernet;
Packit 8fb591
                enum atm;
Packit 8fb591
            }
Packit 8fb591
        }
Packit 8fb591
Packit 8fb591
        leaf ifMTU {
Packit 8fb591
            type uint32;
Packit 8fb591
        }
Packit 8fb591
Packit 8fb591
        must "ifType != 'ethernet' or " +
Packit 8fb591
             "(ifType = 'ethernet' and ifMTU = 1500)" {
Packit 8fb591
            error-message "An ethernet MTU must be 1500";
Packit 8fb591
        }
Packit 8fb591
        must "ifType != 'atm' or " +
Packit 8fb591
             "(ifType = 'atm' and ifMTU <= 17966 and ifMTU >= 64)" {
Packit 8fb591
            error-message "An atm MTU must be  64 .. 17966";
Packit 8fb591
            error-message "Duplicated error-message";
Packit 8fb591
        }
Packit 8fb591
    }
Packit 8fb591
}