Renames regex to regex_matches in builtins.pl Change-Id: I24b3d734983fd5f98a64c435b20f2b647c4d3bf6
diff --git a/src/builtin/builtins.pl b/src/builtin/builtins.pl index b6dcda6..9b4d15a 100644 --- a/src/builtin/builtins.pl +++ b/src/builtin/builtins.pl
@@ -1693,8 +1693,10 @@ %:- public char_code/2. written in Java %:- public number_chars/2, number_codes/2. written in Java :- public name/2. -:- public regex/3. -:- public regex/2. +%:- public regex_compile/2. written in Java +%:- public regex_match/3. written in Java +:- public regex_matches/3. +:- public regex_matches/2. sub_atom(Atom, Before, Length, After, Sub_atom) :- atom_concat(AtomL, X, Atom), @@ -1716,20 +1718,20 @@ ; illarg(type(list(char)), name(Constant,Chars), 2) ). -regex(_, [], _) :- !, fail. -regex(Pattern, List, Result) :- +regex_matches(_, [], _) :- !, fail. +regex_matches(Pattern, List, Result) :- List = [_ | _], !, regex_list(Pattern, List, Result). -regex(Pattern, String, Result) :- +regex_matches(Pattern, String, Result) :- atom(String), regex_compile(Pattern, Matcher), regex_match(Matcher, String, Result). -regex(Pattern, String) :- - once(regex(Pattern, String, _)). +regex_matches(Pattern, String) :- + once(regex_matches(Pattern, String, _)). -regex_list(Pattern, [H | _ ], Result) :- regex(Pattern, H, Result). +regex_list(Pattern, [H | _ ], Result) :- regex_matches(Pattern, H, Result). regex_list(Pattern, [_ | Ls], Result) :- regex_list(Pattern, Ls, Result). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%