Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

ID class relies on assertion for validity check #529

Closed
rssen opened this issue Dec 22, 2020 · 0 comments · Fixed by #541
Closed

ID class relies on assertion for validity check #529

rssen opened this issue Dec 22, 2020 · 0 comments · Fixed by #541
Assignees
@rssen
Projects
RecordFlux 0.5

Comments

@rssen
Copy link
Contributor

rssen commented Dec 22, 2020

If the validity check of an ID fails, a RecordFluxError should be raised instead of an AssertionError.
@treiher treiher added this to To do in RecordFlux 0.5 via automation Jan 4, 2021
@rssen rssen mentioned this issue Jan 7, 2021
Merged
@treiher treiher moved this from To do to Done in RecordFlux 0.5 Jan 7, 2021
rssen added a commit that referenced this issue Jan 7, 2021
@rssen
Use custom errors instead of assertions for id check
0e3bad1 
Ref. #529
rssen added a commit that referenced this issue Jan 11, 2021
@rssen
Use custom errors instead of assertions for id check
94e5d31 
Ref. #529
RecordFlux 0.5 automation moved this from Done to Merged Jan 11, 2021
treiher pushed a commit that referenced this issue Jan 11, 2021
@rssen @treiher
Use custom errors instead of assertions for id check
f2a2e25 
Ref. #529
@treiher treiher mentioned this issue Aug 4, 2021
Closed
9 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@rssen rssen

Labels
None yet
Projects
No open projects
RecordFlux 0.5
  
Merged
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Issue 529: Use custom errors instead of assertions for id check AdaCore/RecordFlux
1 participant
@rssen