// Copyright (c) Corporation for National Research Initiatives
package org.python.compiler;
import java.io.*;
public class SourceFile extends Attribute {
int attName;
int filename;
public SourceFile(String name, ConstantPool pool) throws IOException {
attName = pool.UTF8("SourceFile");
filename = pool.UTF8(name);
}
public void write(DataOutputStream stream) throws IOException {
stream.writeShort(attName);
stream.writeInt(2);
stream.writeShort(filename);
}
}