Nicolas Setton
dd4d358ccb
wip
2022-02-10 20:42:02 +00:00
Nicolas Setton
bfa51ef352
Merge pull request #30 from AdaCore/topic/tabs
...
Fix support for tabs
2022-02-09 13:05:33 +00:00
Nicolas Setton
edbb6ce1e0
Merge pull request #29 from AdaCore/topic/fix_deletion_leftover
...
Fix issue with brute force removals
2022-02-09 12:52:01 +00:00
Nicolas Setton
c2fb9c188a
Fix support for tabs
...
Do this by removing all tabs from files - if the issue disappears
after removal of tabs, give up and ask the user to remove tabs.
Fixes #5
2022-02-09 12:50:44 +00:00
Nicolas Setton
4475f5b086
Fix issue with brute force removals
...
There could be a case where the brute force removal is successful
in getting rid of a file, but the engine still tries to read this
file from disk later. Add defensive programming against this and
add a test.
Fixes #27
2022-02-09 11:55:15 +00:00
Nicolas Setton
34a8ebca8f
Merge pull request #26 from AdaCore/topic/stop_at_externally_built
...
Prevent reduction of sources in "externally built" projects
2022-02-08 15:27:46 +00:00
Nicolas Setton
bb3c8df5d8
Avoid eating sources in externally built projects
...
Add a method in ProjectResolver to query whether a source belongs
to the non-externally-built closure.
Use this to filter out files discovered when --follow-closure
is used to walk the closure.
Add a test.
2022-02-08 14:02:18 +00:00
Nicolas Setton
f690aa879b
Merge pull request #19 from AdaCore/topic/18
...
Add a basic CI
2022-02-07 15:07:54 +00:00
Nicolas Setton
797009b77d
Add a basic CI
2022-02-07 16:04:14 +01:00
Nicolas Setton
a2659fb154
Merge pull request #23 from AdaCore/topic/add_driver_script
...
Add an "adareducer" script at the toplevel
2022-02-02 17:20:25 +00:00
Nicolas Setton
ec89ff0cc7
Add an "adareducer" script at the toplevel
...
For the benefit of the development environment, or any
users who only "git clone" this repository and work from it.
Fix the testsuite using this.
Rename the "adareducer" source dir to "ada_reducer"
2022-02-02 16:18:41 +00:00
Ghjuvan Lacambre
c51e0a8c97
engine.py: perform a first pass pretending to remove unnecessary files
...
This commit makes adareducer attempt to rename as many files as possible
before doing reduction.
2022-02-02 10:56:33 +01:00
Nicolas Setton
633d948c13
Merge pull request #22 from pmderodat/master
...
Rename ada_reduce.py to adareducer after installation
2022-02-02 09:22:22 +00:00
Nicolas Setton
9294118425
Merge pull request #21 from AdaCore/topic/11
...
Add a strategy to attempt removal of aspects
2022-02-02 09:21:28 +00:00
Boris Yakobowski
737747e068
minor "typo"
2022-02-01 22:34:36 +01:00
Pierre-Marie de Rodat
03b4a0dd6e
Rename ada_reduce.py to adareducer after installation
2022-02-01 20:36:25 +00:00
Nicolas Setton
836715f10e
Add a strategy to attempt removal of aspects
...
Do this before attempting to remove subprograms. When this
is successful, this allows more subprograms to be suppressed.
Add a test.
Fixes #11
2022-02-01 13:54:08 +00:00
Nicolas Setton
73fb96f4ea
Merge pull request #15 from AdaCore/topic/project_support
...
Add support for projects
2022-02-01 08:31:02 +00:00
Nicolas Setton
0873b965c3
Merge pull request #16 from AdaCore/topic/fix_handling_of_file_without_unit
...
Fix coding error
2022-01-31 20:57:45 +00:00
Nicolas Setton
d0869baf87
Add one type annotation and pass mypy
2022-01-31 19:26:35 +00:00
Nicolas Setton
e3fbdfa4e3
Fix coding error
...
Reducer.apply_strategies_on_file is expected to return a character
count: fix coding error where this was omitted, in the case where
the file does not contain a root node.
Fixes a crash in this case.
2022-01-31 18:57:23 +00:00
Nicolas Setton
13947f4bb9
Use pathlib for a more modern Python flair
2022-01-31 18:19:02 +00:00
Nicolas Setton
b88f945033
Add proper support for projects
...
Thanks to the Libadalang "SourceFiles" class.
Add a test.
2022-01-31 17:04:08 +00:00
Nicolas Setton
3da870a48c
Merge pull request #14 from AdaCore/topic/testsuite
...
Add a testsuite
2022-01-31 16:59:22 +00:00
Nicolas Setton
54553a364e
Fix the name of the testsuite driver class
...
Fixes copypasta
2022-01-31 16:55:01 +00:00
