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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
"""
This file adds support for the gnatstub utility.
This external tool creates the Ada body from an Ada spec.
"""
import GPS
import gps_utils
import os
import os_utils
class OnExit(object):
def __init__(self, file):
self.file = file
def on_exit(self, proc, status, output):
# ??? For some reason, status is always "0"
GPS.Project.recompute()
f2 = self.file.other_file()
if os.path.isfile(f2.path):
GPS.EditorBuffer.get(f2)
else:
GPS.Locations.parse(output, "gnatstub")
def __contextual_label_for_gnatstub(context):
"""
Used to create the label for the gnatstub contextual menu.
"""
fmt = "Generate Body of <b>{}</b>"
name = os.path.basename(context.file().path)
return fmt.format(os_utils.display_name(name))
@gps_utils.interactive(
category="Ada",
contextual=__contextual_label_for_gnatstub,
filter="Spec_Has_No_Body",
name="generate body",
for_learning=True,
description="Run gnatstub on the selected Ada specification to " +
"generate a matching body file.",
static_path="Generate Body")
def generate_body():
"""
Run gnatstub on the current Ada spec to generate a matching
body file.
"""
GPS.MDI.save_all()
file = GPS.current_context().file()
sv = GPS.Project.scenario_variables()
x_args = ['-X%s=%s' % (k, v) for k, v in sv.items()] if sv else []
command = [gps_utils.get_gnat_driver_cmd(), 'stub']
proj = GPS.current_context().project()
if proj:
command.append('-P%s' % proj.file().path)
command += x_args + [file.path, file.directory()]
proc = GPS.Process(
command,
task_manager=True,
show_command=True,
on_exit=OnExit(file).on_exit)
proc.wait()
|
