/usr/share/gps/plug-ins/gpr.py is in gnat-gps-common 6.1.2016-1ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 | """
Adds support for editing .gpr files (GPS project files)
This file provides syntax highlighting when editing .gpr files.
Generally, such files are best edited through the menu
/Project/Edit Project Properties
but it is sometimes more convenient to edit them by hand.
You need to reload your project file (/Project/Reload Project) to
force GPS to take into account your changes.
"""
import GPS
XML = r"""<?xml version="1.0"?>
<GPS>
<Language>
<Name>Project File</Name>
<Parent>Ada</Parent>
<Body_Suffix>.gpr</Body_Suffix>
<Keywords>(a(bstract|t|ll)|case|e(nd|xte(nds|rnal))|for|is|li(brary|mited)|null|</Keywords>
<Keywords>others|p(ackage|roject)|renames|type|use|w(hen|ith)|(aggregate|aggregate library|abstract|standard|configuration) project)\b</Keywords>
<Context>
<New_Line_Comment_Start>--</New_Line_Comment_Start>
<String_Delimiter>"</String_Delimiter>
<Constant_Character>'</Constant_Character>
<Can_Indent>True</Can_Indent>
<Syntax_Highlighting>True</Syntax_Highlighting>
<Case_Sensitive>False</Case_Sensitive>
</Context>
</Language>
</GPS>
"""
GPS.parse_xml(XML)
|