def create_inferJ_command(args, javac_arguments):
infer_args = ['-o', args.infer_out]
if args.debug:
infer_args.append('--debug')
infer_args += ['--analyzer', 'capture']
return inferlib.Infer(inferlib.inferJ_parser.parse_args(infer_args),
inferlib.get_javac_args(['javac'] + javac_arguments))
def __init__(self, args, cmd):
self.analysis = inferlib.Infer(args, cmd[1:])