package Ġnu . peg . web . files . file Ċ Ċ import Ġjava . io . IOException Ċ import Ġjava . nio . file . File Visit Result Ċ import Ġjava . nio . file . File Visitor Ċ import Ġjava . nio . file . Files Ċ import Ġjava . nio . file . Path Ċ import Ġjava . nio . file . attribute . Basic File Attributes Ċ Ċ /** Ċ Ġ* ĠAllows Ġthe Ġdeletion Ġof Ġnon - empty Ġdirectory Ġtrees Ċ Ġ*/ Ċ class ĠDe leting File Visitor Ġ: ĠFile Visitor < Path > Ġ{ ĊĠĠĠ Ġoverride Ġfun Ġvisit File Failed ( file : ĠPath ?, Ġexc : ĠIOException ?) Ġ= ĠFile Visit Result . CONTINUE ĊĊĠĠĠ Ġoverride Ġfun Ġpre Visit Directory ( dir : ĠPath ?, Ġattrs : ĠBasic File Attributes ?) Ġ= ĠFile Visit Result . CONTINUE ĊĊĠĠĠ Ġoverride Ġfun Ġpost Visit Directory ( dir : ĠPath , Ġexc : ĠIOException ?): ĠFile Visit Result Ġ{ ĊĠĠĠĠĠĠĠ ĠFiles . delete ( dir ) ĊĠĠĠĠĠĠĠ Ġreturn ĠFile Visit Result . CONTINUE ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġoverride Ġfun Ġvisit File ( file : ĠPath , Ġattrs : ĠBasic File Attributes ?): ĠFile Visit Result Ġ{ ĊĠĠĠĠĠĠĠ ĠFiles . delete ( file ) ĊĠĠĠĠĠĠĠ Ġreturn ĠFile Visit Result . CONTINUE ĊĠĠĠ Ġ} Ċ }