def __msg_reader_cmd_line():
"""Create GNATprove Message Reader command line arguments list.
:return: the GNATprove message reader command line
:rtype: collections.Iterable[str]
"""
cmd_line = ['gnatprove', '-P', GNAThub.Project.path()]
if GNAThub.subdirs():
cmd_line.extend(['--subdirs=' + GNAThub.subdirs()])
cmd_line.extend([
'--report=all', '-j',
str(GNAThub.jobs()), '--output-msg-only', '--ide-progress-bar'
])
if GNAThub.tool_args("spark2014"):
cmd_line = cmd_line + GNAThub.tool_args("spark2014")
return cmd_line + GNAThub.Project.scenario_switches()
assertEqual(len(GNAThub.plugins()), 0)
# We ensure that the core and extra plugins directories exist
repos = GNAThub.repositories()
for kind in ('system', 'global'):
assertTrue(os.path.isdir(repos[kind]))
# GNAThub.run
TO_BE_ECHOED = 'this is the message to display on the standard output'
process = GNAThub.Run('echo', ('echo', TO_BE_ECHOED))
assertEqual(process.wait(), 0)
assertEqual(process.status, 0)
assertEqual(process.name, 'echo')
assertEqual(process.cmdline_image(), "echo '%s'" % TO_BE_ECHOED)
assertEqual(process.output(), os.path.join(GNAThub.logs(), 'echo.log'))
assertTrue(os.path.isfile(process.output()))
with open(process.output(), 'r') as logs:
content = logs.read().strip()
assertEqual(content, TO_BE_ECHOED)
assertListUnorderedEqual(
GNAThub.tool_args('codepeer'),
['-msg-output-only', '-j0', 'positional-arg'])
assertListUnorderedEqual(
GNAThub.tool_args('codepeer_msg_reader'), ['-msg-output-only'])
assertEmpty(GNAThub.tool_args('unknown-tool'))
# We ensure that the core and extra plugins directories exist
repos = GNAThub.repositories()
for kind in ('system', 'global'):
assertTrue(os.path.isdir(repos[kind]))
# GNAThub.run
TO_BE_ECHOED = 'this is the message to display on the standard output'
process = GNAThub.Run('echo', ('echo', TO_BE_ECHOED))
assertEqual(process.wait(), 0)
assertEqual(process.status, 0)
assertEqual(process.name, 'echo')
assertEqual(process.cmdline_image(), "echo '%s'" % TO_BE_ECHOED)
assertEqual(process.output(), os.path.join(GNAThub.logs(), 'echo.log'))
assertTrue(os.path.isfile(process.output()))
with open(process.output(), 'r') as logs:
content = logs.read().strip()
if platform.system() == 'Windows':
TO_BE_ECHOED = '"' + TO_BE_ECHOED + '"'
assertEqual(content, TO_BE_ECHOED)
assertListUnorderedEqual(GNAThub.tool_args('codepeer'),
['-msg-output-only', '-j0', 'positional-arg'])
assertListUnorderedEqual(GNAThub.tool_args('codepeer_msg_reader'),
['-msg-output-only'])
assertEmpty(GNAThub.tool_args('unknown-tool'))
