file.delete( ) メソッドはファイルを削除します。
ファイルが現在開いている場合、エラーが生成されます。
ファイルがディスク上に存在しない場合、メソッドは何もしません(エラーは何も生成されません)。
警告: file.delete( ) はディスク上の任意のファイルを削除することができます。これには他のアプリケーションで作成されたドキュメントや、アプリケーションそのものも対象になります。そのため、file.delete( ) を使用する際には特に十分な注意を払って 使用してください。ファイルの削除は恒久的な操作であり取り消しはできません。
データベースフォルダ内の特定のファイルを削除したい場合を考えます:
$tempo:=File("/PACKAGE/SpecialPrefs/"+Current user+".prefs")
If($tempo.exists)
$tempo.delete()
ALERT("User preference file deleted.")
End if