def __cmd_line(self): """Create GNATmetric command line arguments list. :return: the GNATmetric command line :rtype: collections.Iterable[str] """ cmd_line = [ self.name, '-ox', self.output, '-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(['-U']) # cmd_line.extend([GNAThub.u_main()]) cmd_line = cmd_line + GNAThub.Project.scenario_switches() if GNAThub.Project.target(): cmd_line[0] = '{}-{}'.format(GNAThub.Project.target(), cmd_line[0]) if GNAThub.Project.runtime(): cmd_line.extend(('--RTS', GNAThub.Project.runtime())) if GNAThub.subdirs(): cmd_line.extend(['--subdirs=' + GNAThub.subdirs()]) return cmd_line
def __cmd_line(self): """Create GNATmetric command line arguments list. :return: the GNATmetric command line :rtype: collections.Iterable[str] """ cmd_line = [ self.name, '-ox', self.output, '-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(['-U']) # cmd_line.extend([GNAThub.u_main()]) cmd_line = cmd_line + GNAThub.Project.scenario_switches() if GNAThub.Project.target(): cmd_line[0] = '{}-{}'.format(GNAThub.Project.target(), cmd_line[0]) if GNAThub.Project.runtime(): cmd_line.extend(('--RTS', GNAThub.Project.runtime())) if GNAThub.subdirs(): cmd_line.extend(['--subdirs=' + GNAThub.subdirs()]) return cmd_line
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 __cmd_line(self): """Create GNATstack command line arguments list. :return: the GNATstack command line :rtype: collections.Iterable[str] """ cmd_line = [ 'gnatstack', '-Q', '-x', '-Wa', '-P', GNAThub.Project.path() ] + GNAThub.Project.scenario_switches() 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 CodePeer Message Reader command line arguments list. :return: the CodePeer message reader command line :rtype: collections.Iterable[str] """ cmd_start = ['codepeer', '-P', GNAThub.Project.path()] if GNAThub.subdirs(): cmd_start.extend(['--subdirs=' + GNAThub.subdirs()]) cmd_start.extend([ToolArgsPlaceholder('codepeer')]) cmd_end = [ '-output-msg-only', '-csv', ToolArgsPlaceholder('codepeer_msg_reader') ] return cmd_start + GNAThub.Project.scenario_switches() + cmd_end
def __cmd_line(self): """Create GNATstack command line arguments list. :return: the GNATstack command line :rtype: collections.Iterable[str] """ cmd_line = [ 'gnatstack', '-Q', '-x', '-Wa', '-P', GNAThub.Project.path()] + GNAThub.Project.scenario_switches() if GNAThub.Project.target(): cmd_line[0] = '{}-{}'.format(GNAThub.Project.target(), cmd_line[0]) 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(report): """Create CodePeer Message Reader command line arguments list. :return: the CodePeer message reader command line :rtype: collections.Iterable[str] """ cmd_start = ['codepeer', '-P', GNAThub.Project.path()] if GNAThub.subdirs(): cmd_start.extend(['--subdirs=' + GNAThub.subdirs()]) cmd_start.extend([ToolArgsPlaceholder('codepeer')]) cmd_end = [ '-output-msg-only', '-csv', '-out', report, ToolArgsPlaceholder('codepeer_msg_reader') ] return cmd_start + GNAThub.Project.scenario_switches() + cmd_end
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 __msg_reader_cmd_line(report): """Create CodePeer Message Reader command line arguments list. :return: the CodePeer message reader command line :rtype: collections.Iterable[str] """ cmd_start = ['codepeer', '-P', GNAThub.Project.path()] if GNAThub.subdirs(): cmd_start.extend(['--subdirs=' + GNAThub.subdirs()]) cmd_start.extend([ToolArgsPlaceholder('codepeer')]) dest = os.path.join(GNAThub.Project.artifacts_dir(), 'codepeer', 'codepeer_run') cmd_end = [ '-output-msg-only', '-csv', '-csv-out', report, ToolArgsPlaceholder('codepeer_msg_reader'), '-db-info', dest ] return cmd_start + GNAThub.Project.scenario_switches() + cmd_end
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()