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 |
}
|