16.2. File 変数

file:name

String

起動ディレクトリーを起点とした相対パス名。

file:name.ext

String

ファイルの拡張子 (パス名の最後の . に続く文字)。複数ドットのあるファイル拡張子をサポートします (例: .tar.gz)。

file:name.ext.single

String

ファイルの拡張子 (パス名の最後の . に続く文字)。ファイル拡張子に複数のドットがある場合、この変数は最後の部分のみを返します。

file:name.noext

String

開始ディレクトリーを起点とし、ファイル拡張子を除外した相対パス名。

file:name.noext.single

String

開始ディレクトリーを起点とし、ファイル拡張子を除外した相対パス名。ファイル拡張子に複数のドットがある場合、この変数は最後の部分のみを取り除き、他の部分を返します。

file:onlyname

String

パス名の最後のセグメント。つまり、親ディレクトリーのパスがないファイル名です。

file:onlyname.noext

String

パス名の最後のセグメントで、ファイルの拡張子を省略します。つまり、親ディレクトリーのパスがなく、拡張子もないファイル名です。

file:onlyname.noext.single

String

パス名の最後のセグメントで、ファイルの拡張子を省略します。つまり、親ディレクトリーのパスがなく、拡張子もないファイル名です。ファイル拡張子に複数のドットがある場合、この変数は最後の部分のみを取り除き、他の部分を返します。

file:ext

String

ファイル拡張子 (file:name.ext と同じ)。

file:parent

String

開始ディレクトリーを含む、親ディレクトリーのパス名。

file:path

String

開始ディレクトリーを含む、ファイルのパス名。

file:absolute

ブール値

開始ディレクトリーが絶対パスとして指定された場合は true、そうでない場合は false。

file:absolute.path

String

ファイルの絶対パス名。

file:length

Long

ファイルのサイズ。

file:size

Long

file:length と同じです。

file:modified

java.util.Date

最終更新日。