// Copyright (c) 2011, David J. Pearce (djp@ecs.vuw.ac.nz)
// All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
//    * Redistributions of source code must retain the above copyright
//      notice, this list of conditions and the following disclaimer.
//    * Redistributions in binary form must reproduce the above copyright
//      notice, this list of conditions and the following disclaimer in the
//      documentation and/or other materials provided with the distribution.
//    * Neither the name of the <organization> nor the
//      names of its contributors may be used to endorse or promote products
//      derived from this software without specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
// ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
// DISCLAIMED. IN NO EVENT SHALL DAVID J. PEARCE BE LIABLE FOR ANY
// DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
// (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
// LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
// ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
// SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

package jasm.attributes;

import jasm.io.BinaryOutputStream;
import jasm.lang.BytecodeAttribute;
import jasm.lang.Constant;

import java.io.IOException;
import java.io.PrintWriter;
import java.util.Map;
import java.util.Set;


public class SourceFile implements BytecodeAttribute {
	private String filename;
	
	public SourceFile(String filename) {
		this.filename = filename;
	}
	
	public String name() {
		return "SourceFile";
	}
	
	public String filename() {
		return filename;
	}
	
	public void write(BinaryOutputStream writer,
			Map<Constant.Info, Integer> constantPool)
			throws IOException {		
		writer.write_u16(constantPool.get(new Constant.Utf8("SourceFile")));
		writer.write_u32(2);
		writer.write_u16(constantPool.get(new Constant.Utf8(filename)));
	}
	
	public void addPoolItems(Set<Constant.Info> constantPool) {		
		Constant.addPoolItem(new Constant.Utf8("SourceFile"), constantPool);
		Constant.addPoolItem(new Constant.Utf8(filename), constantPool);
	}
	
	public void print(PrintWriter output, Map<Constant.Info, Integer> constantPool)
			throws IOException {
		output.println("  SourceFile: \"" + filename + "\"");
	}
}