[netmod] implemented vs imported modules - checking XPath expressions

[Radek Krejčí <[e-mail]>]

Hi,
I have the following 3 modules and only the module c is initially
implemented. Because the module a is targeted in c's augment, a must be
also implemented. Since the b is not targeted in any augment nor
leafref, it need not be implemented.

In such a case (a, c are implemented; b is imported), is the module c
valid? It refers leaf b in the must expression, but the target leaf does
not exists (module b is not implemented, so it does not augments data in
module a). Is there any way how the module c could specify that the
imported module b must be also implemented?

module a {
  ...
  container a {
    leaf a {
      type string;
    }
  }
}

module b {
  ...
  import a {
    prefix a;
  }

  augment /a:a {
    leaf b {
      type string;
    }
  }
}

module c {
  ...
  import a {
    prefix a;
  }
  import b {
    prefix b;
  }

  augment /a:a {
    leaf c {
      type string;
      must "/a:a/b:b";
    }
  }
}

Regards,
Radek Krejci