Customizing GPS through Python for Enhanced Integration

Python integration in GPS
Anthony Leonardo Gracio
October 4th, 2018
Problem: “GPS does not do what I need”
-
GPS comes with built-in support
for some languages (Ada, C,
C++...), tools (GNATprove,
CodePeer...) and debuggers
(GDB)
-
Problem: users may have some
more specific needs
GNATprove integration in GPS
Solution: customize GPS through Python
The Python
Console 
(Python
interpreter in
GPS)
Python plugins
specific to your
project
(
<project>.ide.py
)
Personal Python
plugins
(
~/.gps/plugins
)
-
Version currently supported: Python 2.7.10
GPS Python API
How?
Demo time!
Future enhancements
-
Extend more and more the GPS Python API
-
Improve the GPS support for editing Python
-
Switch to Python 3 at some point
References
-
The GPS Python API:
  
http://docs.adacore.com/gps-docs/users_guide/_build/html/extending.html
-
The GPS Python API:
  
http:
//python-gtk-3-tutorial.readthedocs.io/en/latest
-
Libadalang GitHub:
  
http:
//github.com/AdaCore/libadalang
-
GPS GitHub:
  
http:
//github.com/AdaCore/gps
Slide Note
Embed
Share

In this guide, we explore how to customize GPS using Python for better integration, particularly focusing on the GNATprove tool. By leveraging Python plugins and the Python Console within GPS, users can tailor their GPS experience to meet specific project requirements, enhancing the overall functionality and usability of the tool. The future enhancements include extending the GPS Python API, improving Python editing support, and transitioning to Python 3. References to relevant resources are also provided for further exploration.


Uploaded on Nov 12, 2024 | 0 Views


Download Presentation

Please find below an Image/Link to download the presentation.

The content on the website is provided AS IS for your information and personal use only. It may not be sold, licensed, or shared on other websites without obtaining consent from the author. Download presentation by click this link. If you encounter any issues during the download, it is possible that the publisher has removed the file from their server.

E N D

Presentation Transcript


  1. Python integration in GPS Anthony Leonardo Gracio October 4th, 2018

  2. Problem: GPS does not do what I need - GPS comes with built-in support for some languages (Ada, C, C++...), tools (GNATprove, CodePeer...) and debuggers (GDB) - Problem: users may have some more specific needs GNATprove integration in GPS

  3. Solution: customize GPS through Python GPS Python API How? Python plugins specific to your project (<project>.ide.py) Personal Python plugins (~/.gps/plugins) The Python Console (Python interpreter in GPS) - Version currently supported: Python 2.7.10

  4. Demo time!

  5. Future enhancements - Extend more and more the GPS Python API - Improve the GPS support for editing Python - Switch to Python 3 at some point

  6. References - The GPS Python API: http://docs.adacore.com/gps-docs/users_guide/_build/html/extending.html - The GPS Python API: http://python-gtk-3-tutorial.readthedocs.io/en/latest - Libadalang GitHub: http://github.com/AdaCore/libadalang - GPS GitHub: http://github.com/AdaCore/gps

More Related Content

giItT1WQy@!-/#giItT1WQy@!-/#giItT1WQy@!-/#giItT1WQy@!-/#giItT1WQy@!-/#