001    package AST;
002    
003    import java.util.HashSet;
004    import java.io.File;
005    import java.util.*;
006    import beaver.*;
007    import java.util.ArrayList;
008    import java.util.zip.*;
009    import java.io.*;
010    import java.io.FileNotFoundException;
011    import java.util.Collection;
012    /**
013      * @ast class
014     * 
015     */
016    public class SourceFileAttribute extends Attribute {
017    
018        public SourceFileAttribute(ConstantPool p, String sourcefile) {
019          super(p, "SourceFile");
020          u2(p.addUtf8(sourcefile));
021        }
022    
023    
024    }