Joao Azevedo 85d9fa11d5 Allow formatting of No_Document ...

Assertions that check that no No_Documents are present were removed.
The reason is because one could create a Document_Type object as
follows:
`Document : Document_Type;`
This is equivalent to No_Document.
To disallow this, we would have to make the type Document_Type limited,
which is not desirable.
Therefore, we should allow `No_Document` and simply skip any operations
on it.

2024-10-09 09:32:48 +00:00

..

.vscode

Fix test_programs.gpr path

2024-02-01 11:19:22 +00:00

src

Allow formatting of No_Document

2024-10-09 09:32:48 +00:00

test_programs.gpr

Add builders_tester test driver

2024-02-12 11:32:41 +00:00