将所有.java文件修改为.jad文件格式
生活随笔
收集整理的這篇文章主要介紹了
将所有.java文件修改为.jad文件格式
小編覺得挺不錯的,現(xiàn)在分享給大家,幫大家做個參考.
String filename = source.getName().replaceAll(".java$", ".jad");
之所以用replaceAll代替
String filename = source.getName().replace(".java", “.jad”);是由于如果真的存在a.java.java文件,那么會改變此文件的名稱為a.jad.jad,而我們應該將他改為a.java.jad。
總結(jié)
以上是生活随笔為你收集整理的将所有.java文件修改为.jad文件格式的全部內(nèi)容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: Unity设置鼠标指针图片
- 下一篇: Extjs EditorGridPane