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'))