Assertion: package's file | /r/HasProperty | recompiled
Facets:
Source sentences:
text: A change to the package body will only require that the file containing the package body be recompiled, because nothing outside of the package body can ever access anything within the package body (beyond the declarations in the specification part).