def __cmd_line(self): """Create GNATcheck command line arguments list. :return: the GNATcheck command line :rtype: collections.Iterable[str] """ cmd_line = [ 'gnatcheck', '--show-rule', '-o', self.output, '-P', GNAThub.Project.path()] if GNAThub.u_process_all(): cmd_line.extend(['-U']) # Keeping this for later implemntation of -U main switch # if GNAThub.u_main(): # cmd_line.extend(['-U']) # cmd_line.extend([GNAThub.u_main()]) cmd_line.extend(['-j%d' % GNAThub.jobs()]) cmd_line = cmd_line + GNAThub.Project.scenario_switches() if GNAThub.Project.target(): cmd = '{}-{}'.format(GNAThub.Project.target(), cmd_line[0]) if self.__cmd_exists(cmd): cmd_line[0] = cmd else: cmd_line.extend(['--target', GNAThub.Project.target()]) if GNAThub.Project.runtime(): cmd_line.extend(('--RTS', GNAThub.Project.runtime())) if GNAThub.subdirs(): cmd_line.extend(['--subdirs=' + GNAThub.subdirs()]) return cmd_line
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']) return cmd_line + GNAThub.Project.scenario_switches()
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' ]) return cmd_line + GNAThub.Project.scenario_switches()
def __cmd_line(): """Create GNATprove command line arguments list. :return: the GNATprove command line :rtype: collections.Iterable[str] """ cmd_line = ['gnatprove', '-P', GNAThub.Project.path()] if GNAThub.u_process_all(): cmd_line.extend(['-U']) # Keeping this for later implementation of -U main switch # if GNAThub.u_main(): # cmd_line.extend([GNAThub.u_main()]) if GNAThub.subdirs(): cmd_line.extend(['--subdirs=' + GNAThub.subdirs()]) cmd_line.extend(['--report=all', '-j', str(GNAThub.jobs())]) return cmd_line + GNAThub.Project.scenario_switches()
def __cmd_line(): """Create GNATprove command line arguments list. :return: the GNATprove command line :rtype: collections.Iterable[str] """ cmd_line = ['gnatprove', '-P', GNAThub.Project.path()] if GNAThub.u_process_all(): cmd_line.extend(['-U']) # Keeping this for later implementation of -U main switch # if GNAThub.u_main(): # cmd_line.extend([GNAThub.u_main()]) if GNAThub.subdirs(): cmd_line.extend(['--subdirs=' + GNAThub.subdirs()]) cmd_line.extend(['--report=all', '-j', str(GNAThub.jobs())]) return cmd_line + GNAThub.Project.scenario_switches()
def __cmd_line(): """Create CodePeer command line arguments list. :return: the CodePeer command line :rtype: collections.Iterable[str] """ cmd_line = ['codepeer', '-P', GNAThub.Project.path(), '-j%d' % GNAThub.jobs()] if GNAThub.u_process_all(): cmd_line.extend(['-U']) # Keeping this for -U main switch implemntation # if GNAThub.u_main(): # cmd_line.extend(['-U']) # cmd_line.extend([GNAThub.u_main()]) if GNAThub.subdirs(): cmd_line.extend(['--subdirs=' + GNAThub.subdirs()]) return cmd_line + GNAThub.Project.scenario_switches()
def __cmd_line(): """Create CodePeer command line arguments list. :return: the CodePeer command line :rtype: collections.Iterable[str] """ cmd_line = [ 'codepeer', '-P', GNAThub.Project.path(), '-j%d' % GNAThub.jobs() ] if GNAThub.u_process_all(): cmd_line.extend(['-U']) # Keeping this for -U main switch implemntation # if GNAThub.u_main(): # cmd_line.extend(['-U']) # cmd_line.extend([GNAThub.u_main()]) if GNAThub.subdirs(): cmd_line.extend(['--subdirs=' + GNAThub.subdirs()]) return cmd_line + GNAThub.Project.scenario_switches()
assertEqual(relpath(GNAThub.logs()), os.path.join('obj', 'gnathub', 'logs')) assertTrue(GNAThub.quiet()) assertFalse(GNAThub.verbose()) assertFalse(GNAThub.dry_run()) assertTrue(GNAThub.runners_only()) assertFalse(GNAThub.reporters_only()) assertTrue(os.path.isfile(GNAThub.database())) assertEqual( relpath(GNAThub.database()), os.path.join('obj', 'gnathub', 'gnathub.db') ) # Default for jobs number is 0 assertEqual(GNAThub.jobs(), 0) # The plugin list is expected to be empty 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)