This chapter describes simple annotations. These are annotations that apply to the Pascal-like subset of Ada: statement, object, subprogram, type and subtype annotations. We must first explain these annotations and how they are related, before going on to annotations of exceptions, packages, and generic units.
KeywordsObservable State Simple Annotation Logical Variable Result Annotation Program Variable
Unable to display preview. Download preview PDF.