platform/org.eclipse.core.resources/src/org/eclipse/core/resources/DiagnosticLog.java
author dadubrow
Tue, 02 Jun 2009 09:59:27 -0500
changeset 16 06d88bb6aac0
permissions -rw-r--r--
Add refresh logging to core resources plugin
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
16
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
     1
/*
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
     2
* Copyright (c) 2009 Nokia Corporation and/or its subsidiary(-ies).
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
     3
* All rights reserved.
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
     4
* This component and the accompanying materials are made available
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
     5
* under the terms of the License "Eclipse Public License v1.0"
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
     6
* which accompanies this distribution, and is available
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
     7
* at the URL "http://www.eclipse.org/legal/epl-v10.html".
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
     8
*
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
     9
* Initial Contributors:
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    10
* Nokia Corporation - initial contribution.
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    11
*
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    12
* Contributors:
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    13
*
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    14
* Description: 
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    15
*
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    16
*/
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    17
package org.eclipse.core.resources;
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    18
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    19
import java.io.File;
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    20
import java.io.IOException;
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    21
import java.util.logging.FileHandler;
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    22
import java.util.logging.Handler;
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    23
import java.util.logging.Level;
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    24
import java.util.logging.LogRecord;
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    25
import java.util.logging.Logger;
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    26
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    27
public class DiagnosticLog {
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    28
	private String name;
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    29
	private String id;
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    30
	private Logger logger;
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    31
	private File file;
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    32
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    33
	private class LogHandler extends Handler {
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    34
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    35
		FileHandler fileHandler;
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    36
		File file;
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    37
		
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    38
		public LogHandler(File file) {
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    39
			this.file = file;
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    40
		}
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    41
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    42
		public void close() throws SecurityException {
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    43
			if (fileHandler != null)
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    44
				fileHandler.close();
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    45
		}
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    46
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    47
		public void flush() {
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    48
			if (fileHandler != null)
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    49
				fileHandler.flush();
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    50
		}
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    51
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    52
		public void publish(LogRecord record) {
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    53
			if (fileHandler == null)
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    54
			{
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    55
				try {
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    56
					fileHandler= new FileHandler(file.getAbsolutePath());
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    57
				} catch (SecurityException e) {
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    58
					e.printStackTrace();
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    59
				} catch (IOException e) {
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    60
					e.printStackTrace();
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    61
				} 				
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    62
			}
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    63
			if (fileHandler != null)
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    64
				fileHandler.publish(record);
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    65
		}
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    66
		
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    67
	}
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    68
	
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    69
	public DiagnosticLog(String name, String id, String logFilePath) {
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    70
		this.name = name;
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    71
		this.id = id;
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    72
		this.logger = Logger.getLogger(id);
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    73
		logger.setLevel(Level.OFF);
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    74
		logger.setUseParentHandlers(false);
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    75
		this.file = new File(logFilePath);
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    76
		logger.addHandler(new LogHandler(file));		
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    77
	}
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    78
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    79
	public String getName() {
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    80
		return name;
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    81
	}
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    82
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    83
	public String getId() {
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    84
		return id;
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    85
	}
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    86
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    87
	public File getFile() {
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    88
		return file;
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    89
	}
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    90
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    91
	public Logger getLogger() {
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    92
		return logger;
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    93
	}
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    94
06d88bb6aac0 Add refresh logging to core resources plugin
dadubrow
parents:
diff changeset
    95
}