OTP-8472 tools: xref: re/regexp

Xref has been updated to use the re module instead of the deprecated regexp
module.

4 files changed, 28 insertions, 24 deletions

diff --git a/lib/tools/doc/src/xref.xml b/lib/tools/doc/src/xref.xml
index 407a7392ad..75ffa25311 100644
--- a/lib/tools/doc/src/xref.xml
+++ b/lib/tools/doc/src/xref.xml
@@ -4,7 +4,7 @@
 <erlref>
   <header>
     <copyright>
-      <year>2000</year><year>2009</year>
+      <year>2000</year><year>2010</year>
       <holder>Ericsson AB. All Rights Reserved.</holder>
     </copyright>
     <legalnotice>
@@ -13,12 +13,12 @@
       compliance with the License. You should have received a copy of the
       Erlang Public License along with this software. If not, it can be
       retrieved online at http://www.erlang.org/.
-    
+
       Software distributed under the License is distributed on an "AS IS"
       basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
       the License for the specific language governing rights and limitations
       under the License.
-    
+
     </legalnotice>
 
     <title>xref</title>
@@ -239,7 +239,7 @@ represented by
       <item>RegArity ::= RegString | Number | <c>_</c> | <c>-1</c></item>
       <item>RegAtom ::= RegString | Atom | <c>_</c></item>
       <item>RegString ::= - a regular expression, as described in the 
-      <c>regexp</c> module, enclosed in double quotes -</item>
+      <c>re</c> module, enclosed in double quotes -</item>
       <item>Type ::= <c>Fun</c> | <c>Mod</c> | <c>App</c> | <c>Rel</c></item>
       <item>Function ::= Atom</item>
       <item>Application ::= Atom</item>
@@ -264,8 +264,7 @@ represented by
       Assigning a type to a list or tuple of <c>Constant</c> is
       equivalent to assigning the type to each <c>Constant</c>.
       </p>
-    <p>      <marker id="regexp"></marker>
-<em>Regular expressions</em> are used as a
+    <p><marker id="regexp"></marker><em>Regular expressions</em> are used as a
       means to select some of the vertices of a graph.
       A <c>RegExpr</c> consisting of a <c>RegString</c> and a type -
       an example is <c>"xref_.*" : Mod</c> - is interpreted as those
@@ -1546,8 +1545,11 @@ Evaluates a predefined analysis.
   </funcs>
 
   <section>
-    <title>See Also</title>
-    <p>beam_lib(3), digraph(3), digraph_utils(3), regexp(3), 
+    <title>See Also</title><p>
+      <seealso marker="stdlib:beam_lib">beam_lib(3)</seealso>,
+      <seealso marker="stdlib:digraph">digraph(3)</seealso>,
+      <seealso marker="stdlib:digraph_utils">digraph_utils(3)</seealso>,
+      <seealso marker="stdlib:re">re(3)</seealso>,
       <seealso marker="xref_chapter">TOOLS User's Guide</seealso></p>
   </section>
 </erlref>
diff --git a/lib/tools/src/xref_parser.yrl b/lib/tools/src/xref_parser.yrl
index e23dce1dec..1279ece061 100644
--- a/lib/tools/src/xref_parser.yrl
+++ b/lib/tools/src/xref_parser.yrl
@@ -1,19 +1,19 @@
 %%
 %% %CopyrightBegin%
-%% 
-%% Copyright Ericsson AB 2000-2009. All Rights Reserved.
-%% 
+%%
+%% Copyright Ericsson AB 2000-2010. All Rights Reserved.
+%%
 %% The contents of this file are subject to the Erlang Public License,
 %% Version 1.1, (the "License"); you may not use this file except in
 %% compliance with the License. You should have received a copy of the
 %% Erlang Public License along with this software. If not, it can be
 %% retrieved online at http://www.erlang.org/.
-%% 
+%%
 %% Software distributed under the License is distributed on an "AS IS"
 %% basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See
 %% the License for the specific language governing rights and limitations
 %% under the License.
-%% 
+%%
 %% %CopyrightEnd%
 %%
 
@@ -169,12 +169,11 @@ is_prefix_op('#') -> numeric;
 is_prefix_op(_) -> false.
 
 check_regexp(String) ->
-    case regexp:parse(String) of
+    case re:compile(String) of
 	{ok, _Expr} ->
 	    {regexpr, String};
-	{error, Reason} ->
-	    F = regexp:format_error(Reason),
-	    return_error(0, ["invalid_regexp", String, F])
+	{error, {ErrString, Position}} ->
+	    return_error(Position, ["invalid_regexp", String, ErrString])
     end.
 
 check_regexp_variable('_') ->
diff --git a/lib/tools/src/xref_utils.erl b/lib/tools/src/xref_utils.erl
index 680b7e8aac..0ef199cec7 100644
--- a/lib/tools/src/xref_utils.erl
+++ b/lib/tools/src/xref_utils.erl
@@ -640,22 +640,22 @@ neighbours([], G, Fun, VT, L, _V, Vs) ->
     neighbours(Vs, G, Fun, VT, L).
 
 match_list(L, RExpr) ->
-    {ok, Expr} = regexp:parse(RExpr),
+    {ok, Expr} = re:compile(RExpr),
     filter(fun(E) -> match(E, Expr) end, L).
 
 match_one(VarL, Con, Col) ->
     select_each(VarL, fun(E) -> Con =:= element(Col, E) end).
 
 match_many(VarL, RExpr, Col) ->
-    {ok, Expr} = regexp:parse(RExpr),    
+    {ok, Expr} = re:compile(RExpr),    
     select_each(VarL, fun(E) -> match(element(Col, E), Expr) end).
 
 match(I, Expr) when is_integer(I) ->
     S = integer_to_list(I),
-    {match, 1, length(S)} =:= regexp:first_match(S, Expr);
+    {match, [{0,length(S)}]} =:= re:run(S, Expr, [{capture, first}]);
 match(A, Expr) when is_atom(A) ->
     S = atom_to_list(A),
-    {match, 1, length(S)} =:= regexp:first_match(S, Expr).
+    {match, [{0,length(S)}]} =:= re:run(S, Expr, [{capture, first}]).
 
 select_each([{Mod,Funs} | L], Pred) ->
     case filter(Pred, Funs) of
diff --git a/lib/tools/test/xref_SUITE.erl b/lib/tools/test/xref_SUITE.erl
index b4684140ca..a7855b0bb9 100644
--- a/lib/tools/test/xref_SUITE.erl
+++ b/lib/tools/test/xref_SUITE.erl
@@ -2306,8 +2306,8 @@ format_error(Conf) when is_list(Conf) ->
     ?line ok = xref:set_default(s, [{verbose,false}, {warnings, false}]),    
 
     %% Parse error messages.
-    ?line 'Invalid regular expression "add(": unterminated \`(\'\n'
-        = fatom(xref:q(s,'"add("')),
+    ?line "Invalid regular expression \"add(\"" ++ _ =
+        fstring(xref:q(s,'"add("')),
     ?line 'Invalid operator foo\n' =
 	fatom(xref:q(s,'foo E')),
     ?line 'Invalid wildcard variable \'_Var\' (only \'_\' is allowed)\n'
@@ -2705,7 +2705,10 @@ f(S, A) ->
     flatten(io_lib:format(S, A)).
 
 fatom(R) ->
-    list_to_atom(flatten(xref:format_error(R))).
+    list_to_atom(fstring(R)).
+
+fstring(R) ->
+    flatten(xref:format_error(R)).
 
 start(Server) ->
     ?line case xref:start(Server) of