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 AnnotationsAttribute extends Attribute {
017    
018        public AnnotationsAttribute(ConstantPool cp, Collection annotations, String name) {
019          super(cp, name);
020          u2(annotations.size());
021          for(Iterator iter = annotations.iterator(); iter.hasNext(); )
022            ((Annotation)iter.next()).appendAsAttributeTo(this);
023        }
024    
025    
026    }