adactl_fix(1)

πŸ“¦ version 1.21r6b, in ubuntu jammy

✨ 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 your output_prefix stuck onto the front of the original source file name. The prefix can be any string, and Adactl_Fix doesn't analyze it at all πŸ€·β€β™€οΈ. A prefix like result/ sends everything into the result directory, keeping the same names as the originals πŸ“. A prefix like new- keeps all the output files in the same directory instead 🌸. Heads up, Adactl_Fix will 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