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 __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(): """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()