Python FuncDescription.get_args_list Examples

Example #1

File: smt_helper.py Project: 5nizza/Party

def call_func(func_desc:FuncDescription, func_args_dict:dict):
    func_name = func_desc.name
    smt_func_args_dict = dict()
    for (var,val) in func_args_dict.items():
        if val is True:
            val = true()
        elif val is False:
            val = false()
        smt_func_args_dict[var] = val

    func_args_dict = smt_func_args_dict

    args = func_desc.get_args_list(func_args_dict)  # TODO: bad dependence

    smt_str = '(' + func_name + ' '
    for arg in args:
        smt_str += str(arg) + ' '
    if len(args):
        smt_str = smt_str[:-1]
    smt_str += ')'

    return smt_str

Example #2

File: smt_helper.py Project: vraman/Party

def call_func(func_desc: FuncDescription, func_args_dict: dict):
    func_name = func_desc.name
    smt_func_args_dict = dict()
    for (var, val) in func_args_dict.items():
        if val is True:
            val = true()
        elif val is False:
            val = false()
        smt_func_args_dict[var] = val

    func_args_dict = smt_func_args_dict

    args = func_desc.get_args_list(func_args_dict)  # TODO: bad dependence

    smt_str = '(' + func_name + ' '
    for arg in args:
        smt_str += str(arg) + ' '
    if len(args):
        smt_str = smt_str[:-1]
    smt_str += ')'

    return smt_str