Acceso a clase
[PL2.git] / 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 }