]> _ Git - alire.git/commit
New Alire.Roots.Optional type (#492)
authorAlejandro R Mosteo <alejandro@mosteo.com>
Tue, 18 Aug 2020 09:00:41 +0000 (11:00 +0200)
committerAlejandro R. Mosteo <amosteo@unizar.es>
Tue, 1 Sep 2020 18:56:45 +0000 (20:56 +0200)
commit1000e5cf3a639c0bdb96e210ad1b8f85400c18ec
tree6f59df1765e5e36d13ead39dbf84cb868f194f6f
parent00c88e20feb87cdacb6150317b31d73b1e214038
New Alire.Roots.Optional type (#492)

In most cases, the Root has to be valid so it can be used. This patch moves the
Is_Valid code smell to a separate child type (Alire.Roots.Optional.Root) that
can be used in the few cases where all the root states have to be treated
separately.

This obsoletes Alr.Bootstrap.Session_States too.
30 files changed:
src/alire/alire-config.adb
src/alire/alire-config.ads
src/alire/alire-dependencies-states.adb
src/alire/alire-directories.adb
src/alire/alire-outcomes-definite.ads
src/alire/alire-outcomes-indefinite.ads
src/alire/alire-releases.adb
src/alire/alire-root.adb
src/alire/alire-root.ads
src/alire/alire-roots-check_valid.adb [deleted file]
src/alire/alire-roots-check_valid.ads [deleted file]
src/alire/alire-roots-optional.adb [new file with mode: 0644]
src/alire/alire-roots-optional.ads [new file with mode: 0644]
src/alire/alire-roots.adb
src/alire/alire-roots.ads
src/alire/alire-workspace.ads
src/alire/alire.adb
src/alire/alire.ads
src/alr/alr-bootstrap.adb
src/alr/alr-bootstrap.ads
src/alr/alr-commands-clean.adb
src/alr/alr-commands-get.adb
src/alr/alr-commands-init.adb
src/alr/alr-commands-show.adb
src/alr/alr-commands-version.adb
src/alr/alr-commands-withing.adb
src/alr/alr-commands.adb
src/alr/alr-commands.ads
src/alr/alr-root.adb [deleted file]
src/alr/alr-root.ads