The Reverser reverse engineers Ada pragmas through the «Ada Pragma» and «Ada Configuration Pragma» stereotypes and the Ada Pragma Text and Ada Configuration Pragma Text tag definitions they apply.

When the Reverser encounters an Ada configuration pragma in a code file that is being reverse engineered, the Reverser applies the «Ada Configuration Pragma» stereotype to the Modeler item that is created for that code file. The pragma text is then captured in the Ada Configuration Pragma Text tag definition, which is applied by the «Ada Configuration Pragma» stereotype.

When the Reverser encounters an Ada pragma in code that is being reverse engineered, the Reverser applies the «Ada Pragma» stereotype to the Modeler item that is created for the code that immediately precedes the pragma. The pragma text is then captured in the Ada Pragma Text tag definition, which is applied by the «Ada Pragma» stereotype.

If a Pragma applies to a with or use statement and the Reverser does not create a Dependency in the Model, the Pragma text is captured through the Ada_Declaration_Dependencies or Ada_Implementation_Dependencies tag definitions that are created for the with or use statement.