ファイル名の拡張子を変更するには以下の関数を用意して行う。ASrcには変更したいファイル名をセットしAExtに変更後の拡張子をセットする。拡張子の変更されたファイル名が戻り値として返される。 public String ChangeFileExt(String ASrc, String AExt){String s=ASrc;int i=ASrc.lastIndexOf(".");if (i!=-1){s=ASrc.substring(0, i);s+=AExt;}return s;}例 s=file.getName();s=SDCARD_PATH+ChangeFileExt(s, ".txt"); |
android >