4 private String sangrado;
5 private FileWriter log_file;
7 public logFile(String s){
9 int p = s.lastIndexOf('.');
10 s = s.substring(0, p+1);
13 log_file = new FileWriter(s);
14 }catch(IOException e){
15 System.err.println("ERROR: no se ha podido crear el fichero de log");
21 }catch(IOException e){
22 System.out.println("ERROR: no se ha podido cerrar el fichero de log");
26 public void incNivel(){
30 public void decNivel(){
31 sangrado = sangrado.substring(0,sangrado.length()-2);
36 log_file.write(sangrado+s);
37 }catch(IOException e){
38 System.out.println("ERROR: no se ha podido escribir en el fichero de log");
41 void writeNoIndent(String s){
44 }catch(IOException e){
45 System.out.println("ERROR: no se ha podido escribir en el fichero de log");