Instantiator skips properties after encountering reference to an undefined property

[joeseibel]

When the instantiator encounters a property that refers to another property with an undefined value, then the instantiator skips the remaining properties. In the following example, good_value is instantiated, but another_good_value is not instantiated.

package pkg1
public
  with ps;

  system s
    properties
      ps::good_value => "Good Value";
      ps::ref_to_undefined => ps::undefined;
      ps::another_good_value => "Another good value";
  end s;

  system implementation s.i
  end s.i;
end pkg1;

property set ps is
  good_value: aadlstring applies to (all);
  undefined: aadlstring applies to (all);
  ref_to_undefined: aadlstring applies to (all);
  another_good_value: aadlstring applies to (all);
end ps;

[lwrage]

Note: make sure that there's an error on the instance model for the undefined reference.