当前位置:
首页 >
将所有.java文件修改为.jad文件格式
发布时间:2024/8/1
51
豆豆
生活随笔
收集整理的这篇文章主要介绍了
将所有.java文件修改为.jad文件格式
小编觉得挺不错的,现在分享给大家,帮大家做个参考.
String filename = source.getName().replaceAll(".java$", ".jad");
之所以用replaceAll代替
String filename = source.getName().replace(".java", “.jad”);是由于如果真的存在a.java.java文件,那么会改变此文件的名称为a.jad.jad,而我们应该将他改为a.java.jad。
总结
以上是生活随笔为你收集整理的将所有.java文件修改为.jad文件格式的全部内容,希望文章能够帮你解决所遇到的问题。
- 上一篇: Unity设置鼠标指针图片
- 下一篇: Extjs EditorGridPane