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

..

drivers

Improve Group builder spec and add Conditional_Group builder

2024-07-02 12:54:31 +00:00

test_programs

Allow formatting of No_Document

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

tests

Allow formatting of No_Document

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

__init__.py

Improve Group builder spec and add Conditional_Group builder

2024-07-02 12:54:31 +00:00

testsuite.py

Add builders_tester test driver

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