String.indexof(""),该如何处理

String.indexof("")
PrintWriter   fileWriter   =   new   PrintWriter(   new   FileWriter(   file   )   );

                                String   str   =   editArea.getText();

                                while(   true   )
                                {
                                        pos   =   str.indexOf(   '\12 '   ,   pos   );//这里是用来干什么的？

                                        if(   pos   ==   -1   )
                                        {
                                                break;
                                        }

                                        str   =   str.substring(0,   pos)   +   '\15 '   +   str.substring(pos);
                                        pos   =   pos   +   2;
                                }

                                fileWriter.print(   str   );
                                fileWriter.close();


这段代码中的‘/12’, '/15 '是代表什么意思？谢谢！

[解决办法]
这段代码中的‘/12’, '/15 '是代表什么意思？谢谢！

================================================

首先你的问题中,‘/12’, '/15 '写反了,应该是‘\12’, '\15 '
这是用ascii码表示的字符,注意12,15都是8进制,所以转成16进制就是0d和0a,其实就是回车和换号符啦!