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