Assertion: package's body | /r/HasAspect | an initialization part
Facets:
Source sentences:
text: Finally, the body can have an initialization part, whose statements initialize variables and do other one-time setup steps, and an exception-handling part.
text: Finally, the body can have an initialization part, whose statements initialize variables and do other one-time setup steps, and an exception-handling part.
text: Finally, the body can have an initialization part, whose statements initialize public variables and do other one-time setup steps.
text: The body declares a private variable, defines the public cursor and subprograms that the specification declares, declares and defines a private function, and has an initialization part.