logFile.java

   1 import java.io.*;
   2
   3 public class logFile {
   4         private String sangrado;
   5         private FileWriter log_file;
   6
   7         public logFile(String s){
   8                 sangrado = "";
   9                 int p = s.lastIndexOf('.');
  10                 s = s.substring(0, p+1);
  11                 s = s + "res";
  12                 try{
  13                         log_file = new FileWriter(s);
  14                 }catch(IOException e){
  15                         System.err.println("ERROR: no se ha podido crear el fichero de log");
  16                 }
  17         }
  18         public void close(){
  19                 try{
  20                         log_file.close();
  21                 }catch(IOException e){
  22                         System.out.println("ERROR: no se ha podido cerrar el fichero de log");
  23                 }
  24         }
  25
  26         public void incNivel(){
  27                 sangrado += "--";
  28         }
  29
  30         public void decNivel(){
  31                 sangrado = sangrado.substring(0,sangrado.length()-2);
  32         }
  33
  34         void write(String s){
  35                 try{
  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");
  39                 }
  40         }
  41         void writeNoIndent(String s){
  42                 try{
  43                         log_file.write(s);
  44                 }catch(IOException e){
  45                         System.out.println("ERROR: no se ha podido escribir en el fichero de log");
  46                 }
  47         }
  48
  49 }