/*
* Copyright (c) 2007 Nokia Corporation and/or its subsidiary(-ies). 
* All rights reserved.
* This component and the accompanying materials are made available
* under the terms of "Eclipse Public License v1.0"
* which accompanies this distribution, and is available
* at the URL "http://www.eclipse.org/legal/epl-v10.html".
*
* Initial Contributors:
* Nokia Corporation - initial contribution.
*
* Contributors:
*
* Description:
*
* File-based implementation of the document interface
*
*/
package com.nokia.tracecompiler.document;

import java.io.File;
import java.io.FileInputStream;
import java.io.IOException;

import com.nokia.tracecompiler.file.FileUtils;
import com.nokia.tracecompiler.source.SourceConstants;
import com.nokia.tracecompiler.source.SourcePropertyProvider;

/**
 * File-based implementation of the document interface. This extends the string
 * document with SourcePropertyProvider implementation which can provide the
 * file name to TraceCompiler source framework
 * 
 */
final class FileDocument extends StringDocument implements
		SourcePropertyProvider {

	/**
	 * The file
	 */
	private File file;

	/**
	 * Constructor
	 * 
	 * @param file
	 *            the document file
	 * @throws IOException
	 *             if processing fails
	 */
	FileDocument(File file) throws IOException {
		this.file = file;
		byte[] buf = new byte[(int) file.length()];
		FileInputStream fis = new FileInputStream(file);
		fis.read(buf);
		fis.close();
		setSourceData(new String(buf));
	}

	/*
	 * (non-Javadoc)
	 * 
	 * @see com.nokia.tracecompiler.utils.DocumentAdapter#getPropertyProvider()
	 */
	@Override
	public SourcePropertyProvider getPropertyProvider() {
		return this;
	}

	/*
	 * (non-Javadoc)
	 * 
	 * @see com.nokia.tracecompiler.source.SourcePropertyProvider#getFileName()
	 */
	public String getFileName() {
		return file.getName();
	}

	/*
	 * (non-Javadoc)
	 * 
	 * @see com.nokia.tracecompiler.source.SourcePropertyProvider#getFilePath()
	 */
	public String getFilePath() {
		return FileUtils.convertSeparators(
				SourceConstants.FORWARD_SLASH_CHAR, file.getParent(), true);
	}

}