adactl_fix(1)
β¨ adactl_fix(1) β the Ada fixer that's literally a whole vibe β¨
Okay bestie, this is the manual page for adactl_fix, and it's giving automatic fixer energy π
π₯. Let's get into it π
π NAME
adactl_fix β Ada rules controller, automatic fixer π¦
πΈ SYNOPSIS
adactl_fix [-v] [-o output prefix] file ...
adactl_fix -h
π§ DESCRIPTION
Okay so adactl_fix reads the files you hand it (the ones that adactl already produced π) and applies the matching fixes. The modified files get printed to the standard output π¨οΈ, so you can redirect them into a file and split them up later at a good spot with gnatchop βοΈ. Iconic workflow, no cap π.
Heads up, this tool directly edits your source files π. There's also an interactive version that comes as a gnat-gps plugin π. If you go with that one, you absolutely need to read the related section of the reference manual before you touch it π. Not me saying "be careful," it's giving please actually read it π.
Now, the big picture π: AdaControl is an Ada rules controller. It checks that your Ada software follows a bunch of parameterizable rules β. It's not meant to supplement what the compiler already catches. Instead it goes hunting for specific good-practice violations, or makes sure some rules are followed across the entire project π«Ά. Main character energy π.
Commercial support is available for AdaControl too πΌ. Check out the file /usr/share/doc/adacontrol/support.txt. If you're planning to use it for industrial projects, or want it customized or extended to fit your needs, reach out to Adalog at info@adalog.fr π.
π OPTIONS
-o output_prefixβ Okay this one's a vibe β¨. Each modified file gets written to a new file whose name is youroutput_prefixstuck onto the front of the original source file name. The prefix can be any string, andAdactl_Fixdoesn't analyze it at all π€·ββοΈ. A prefix likeresult/sends everything into theresultdirectory, keeping the same names as the originals π. A prefix likenew-keeps all the output files in the same directory instead πΈ. Heads up,Adactl_Fixwill overwrite any existing file with the same name π.-vβ Displays actions to standard output π.-hβ Prints a brief help message and exits πββοΈ. It ignores all other options and parameters, so it's giving "I'm the only one that matters right now" π .
π¦ AUTHOR
AdaControl was developed by Adalog β¨http://www.adalog.frβ© under contract with Eurocontrol β¨http://www.eurocontrol.intβ© π. The copyright is jointly owned by Adalog and Eurocontrol π―ββοΈ.
This manual page was written by Nicolas Boulenguez <nicolas@debian.org> and is licensed under the terms of the GNU General Public License πβ¨.
π SEE ALSO
- AdaControl User's Guide, available in Info, PDF, and HTML in
/usr/share/doc/adacontrolπ. - AdaControl Programmer's Guide, available in Info, PDF, and HTML in
/usr/share/doc/adacontrolπ§ .
Okay bestie, that's the whole tea βπ«Ά. Source: Debian, 2018-01-01, adactl_fix(1) π Slay forever πβ¨
π¦ where this page comes from
- ubuntu jammy: adacontrol 1.21r6b-7 Β· GPL-2.0-or-later
- π girlified by claude-haiku-5-5 on : a language model's rewrite of the original, under its terms