diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-01-12 13:57:12 +0100 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-01-12 13:57:12 +0100 |
commit | 4da3793985d1d177a95d67e78dd2f4f5f52e2eab (patch) | |
tree | ede0d7204daa01f4b47d28e205fa838bf273cec6 /monkey | |
parent | f1521c9769f9b28cf658a9255dbfc16c98870da9 (diff) |
Replace prolog.util.rename_vars with rename_vars_list everywhere
Diffstat (limited to 'monkey')
-rw-r--r-- | monkey/__init__.py | 4 | ||||
-rw-r--r-- | monkey/edits.py | 8 |
2 files changed, 6 insertions, 6 deletions
diff --git a/monkey/__init__.py b/monkey/__init__.py index fbb4535..79dfe2d 100644 --- a/monkey/__init__.py +++ b/monkey/__init__.py @@ -16,7 +16,7 @@ import time -from prolog.util import tokenize, rename_vars, stringify, parse, interesting_ranges, rename_vars_list +from prolog.util import tokenize, stringify, parse, interesting_ranges, rename_vars_list from .util import PQueue # Starting from [code], find a sequence of edits that transforms it into a @@ -33,7 +33,7 @@ def fix(code, edits, test, timeout=30, debug=False): for (path, a, b), (p, uids) in edits.items(): if path == range_path and a == part_normal: reverse_names = {v: k for k, v in names.items()} - b_real = tuple(rename_vars(b, reverse_names)) + b_real = tuple(rename_vars_list(b, reverse_names)) new_tokens = [] idx = None for i, t in enumerate(tokens): diff --git a/monkey/edits.py b/monkey/edits.py index 73f692d..82e5066 100644 --- a/monkey/edits.py +++ b/monkey/edits.py @@ -18,7 +18,7 @@ import collections import math from .action import expand, parse -from prolog.util import normalized, parse as prolog_parse, rename_vars, rename_vars_ast, rename_vars_list, interesting_ranges, stringify, tokenize +from prolog.util import normalized, parse as prolog_parse, rename_vars_ast, rename_vars_list, interesting_ranges, stringify, tokenize from .util import avg, logistic def get_edits_from_trace(trace, test, id): @@ -142,10 +142,10 @@ def get_edits_from_solutions(solutions, test): # Update submission/query counters (use normalized variables). for code, correct in trace_submissions: - code = stringify(rename_vars(tokenize(code))) + code = stringify(rename_vars_list(tokenize(code))) submissions[(code, correct)].add(uid) for query in trace_queries: - code = stringify(rename_vars(tokenize(query))) + code = stringify(rename_vars_list(tokenize(query))) queries[code] += 1 # Discard edits that only occur in one trace. @@ -232,7 +232,7 @@ if __name__ == '__main__': if p.identifier in used_predicate_identifiers]) # Check for cached results. - normal_code = stringify(rename_vars(tokenize(code))) + normal_code = stringify(rename_vars_list(tokenize(code))) code_key = (normal_code, tuple(dependencies)) if code_key not in test_results[pid]: aux_code = '\n' + solutions_for_problems(problem.language, dependencies) + '\n' + facts |