AdaCore Paris Tech Day 2016: Pierre-Marie Rodat - Libadalang, New Generation of Ada Tooling
- 2. Libadalang new generation of Ada tooling Pierre-Marie de Rodat
- 3. Parsing and semantic analysis solutions for Ada tooling Code instrumentation Style checker Indentation engine
- 4. Parsing and semantic analysis solutions for Ada tooling Customers AdaCore Tool partners Code instrumentation Style checker Indentation engine
- 5. Parsing and semantic analysis solutions for Ada tooling Customers AdaCore Tool partners Code instrumentation Style checker Indentation engine GNAT
- 6. Parsing and semantic analysis solutions for Ada tooling Customers AdaCore Tool partners Code instrumentation Style checker Indentation engine GNAT GPS
- 7. Parsing and semantic analysis solutions for Ada tooling Customers AdaCore Tool partners Code instrumentation Style checker Indentation engine GNAT GPS ASIS
- 8. Parsing and semantic analysis solutions for Ada tooling Customers AdaCore Tool partners Code instrumentation Style checker Indentation engineLibadalang ASIS
- 9. Libadalang Internal • Fast parser • Incremental semantic analyzer • Standalone
- 10. Libadalang Internal • Fast parser • Incremental semantic analyzer • Standalone Operation • Illegal code • No semantic checks
- 11. Libadalang Internal • Fast parser • Incremental semantic analyzer • Standalone Operation • Illegal code • No semantic checks Usage • Usable from Ada, C, Python • Prime solution for Ada tooling • Replace modules in GPS, GNATcheck, GNATtest… • Windows, Linux, Mac https://github.com/AdaCore/libadalang
- 12. Libadalang ref = unit.root.lookup(Sloc(line=15, column=43)) def = ref.p_definition From reference to definition in IDE
- 13. Future In progress... • Target date – 2018 • Active migration of GNATpp • Better autocompletion, incremental stubbing in GPS
- 14. Future In progress... • Target date – 2018 • Active migration of GNATpp • Better autocompletion, incremental stubbing in GPS In discussion • Code refactoring • Semantic pattern matching • SQL-like queries
- 15. Future ref = unit.root.lookup(Sloc(line=15, column=43)) def = libadalang.xref.rename(ref.p_definition, “New_Name”) Code refactoring in IDE
- 16. Summary For you • Fast toolkit • Operational modes • Flexible • Feature rich • Multi-language • Multi-context
- 17. Summary For you • Fast toolkit • Operational modes • Flexible • Feature rich • Multi-language • Multi-context From us • Improved quality and performance of various tools • Better support for Ada and SPARK