Add comment explaining the VAST 2-pass algorithm.
This commit adds a comment to the Ada compiler's VAST pass to explain the 2-pass algorithm.
A comment has been added to the Ada compiler’s VAST (Verification Aspect Syntax Tree) pass to explain the 2-pass algorithm. This improves the code’s readability and helps developers understand the structure and operation of the VAST pass.
In Details
The commit adds a comment to vast.adb (Pass) explaining the 2-pass algorithm used in the VAST pass. This clarifies the purpose and operation of the pass for developers working on the Ada compiler.
For Context
The Verification Aspect Syntax Tree (VAST) is a part of the Ada compiler responsible for handling aspects, which are additional properties or constraints associated with program entities. This commit adds a comment to the code to explain how the VAST pass works, making it easier for developers to understand and maintain.