File クラスの次のプロパティや関数は ZIPFile オブジェクトにおいて利用可能です: ZIPFile で利用可能な File API説明 .copyTo( destinationFolder : 4D.Folder { ; newName : Text } { ; overwrite : Integer } ) : 4D.File .creationDate : Date .creationTime : Time .exists : Boolean .extension : Text .fullName : Text .getContent( ) : Blob .getIcon( { size : Integer } ) : Picture .getText( { charSetName : Text } { ; } { breakMode : integer} ) : Text.getText( { charSetNum : integer } { ; } { breakMode : integer} ) : Text .hidden : Boolean .isAlias : Boolean .isFile : Boolean .isFolder : Boolean .isWritable : BooleanZIPアーカイブの場合は常に false .modificationDate : Date .modificationTime : Time .name : Text .original : 4D.File.original : 4D.Folder .parent : 4D.Folder .path : Textアーカイブを起点とした相対パスを返します .platformPath : Text