DETS 파일을 삭제하는 방법은 무엇입니까?

Question

DETS 파일에 문제가 있습니다. 드라이브에서 DETS 파일 삭제를 완료하는 기능을 찾을 수 없습니다. 시나리오를 설명해 보겠습니다. DETS 파일을 만들어 하나의 요소를 삽입 한 다음 해당 파일을 임시이지만 영구 저장소로 파괴하려고합니다.

dets:open_file("TestFile",[{file, "TestFile.db"}]). 
{ok,"TestFile"} 
dets:insert("TestFile", {a,b,c}). 
ok 
dets:delete_all_objects("TestFile"). 
ok 
dets:info("TestFile"). 
[{type,set}, 
{keypos,1}, 
{size,0}, 
{file_size,5432}, 
{filename,"TestFile.db"}] 

"TestFile.db"파일을 어떻게 삭제할 수 있습니까?

Answer 1

파일 자체를 삭제하는 dets 모듈에는 기능이 없습니다. file : delete ("TestFile.db")를 호출하면됩니다.