langtools/src/jdk.compiler/share/classes/com/sun/tools/classfile/Dependencies.java
changeset 30848 c275389a3680
parent 30842 b02fa8bb730c
parent 30847 9385b9c8506b
child 30849 fcfa8eb95c23
equal deleted inserted replaced
30842:b02fa8bb730c 30848:c275389a3680
     1 /*
       
     2  * Copyright (c) 2009, 2013, Oracle and/or its affiliates. All rights reserved.
       
     3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
       
     4  *
       
     5  * This code is free software; you can redistribute it and/or modify it
       
     6  * under the terms of the GNU General Public License version 2 only, as
       
     7  * published by the Free Software Foundation.  Oracle designates this
       
     8  * particular file as subject to the "Classpath" exception as provided
       
     9  * by Oracle in the LICENSE file that accompanied this code.
       
    10  *
       
    11  * This code is distributed in the hope that it will be useful, but WITHOUT
       
    12  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
       
    13  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
       
    14  * version 2 for more details (a copy is included in the LICENSE file that
       
    15  * accompanied this code).
       
    16  *
       
    17  * You should have received a copy of the GNU General Public License version
       
    18  * 2 along with this work; if not, write to the Free Software Foundation,
       
    19  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
       
    20  *
       
    21  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
       
    22  * or visit www.oracle.com if you need additional information or have any
       
    23  * questions.
       
    24  */
       
    25 package com.sun.tools.classfile;
       
    26 
       
    27 import java.util.Deque;
       
    28 import java.util.HashMap;
       
    29 import java.util.HashSet;
       
    30 import java.util.LinkedList;
       
    31 import java.util.List;
       
    32 import java.util.Map;
       
    33 import java.util.Objects;
       
    34 import java.util.Set;
       
    35 import java.util.regex.Pattern;
       
    36 
       
    37 import com.sun.tools.classfile.Dependency.Filter;
       
    38 import com.sun.tools.classfile.Dependency.Finder;
       
    39 import com.sun.tools.classfile.Dependency.Location;
       
    40 import com.sun.tools.classfile.Type.ArrayType;
       
    41 import com.sun.tools.classfile.Type.ClassSigType;
       
    42 import com.sun.tools.classfile.Type.ClassType;
       
    43 import com.sun.tools.classfile.Type.MethodType;
       
    44 import com.sun.tools.classfile.Type.SimpleType;
       
    45 import com.sun.tools.classfile.Type.TypeParamType;
       
    46 import com.sun.tools.classfile.Type.WildcardType;
       
    47 
       
    48 import static com.sun.tools.classfile.ConstantPool.*;
       
    49 
       
    50 /**
       
    51  * A framework for determining {@link Dependency dependencies} between class files.
       
    52  *
       
    53  * A {@link Dependency.Finder finder} is used to identify the dependencies of
       
    54  * individual classes. Some finders may return subtypes of {@code Dependency} to
       
    55  * further characterize the type of dependency, such as a dependency on a
       
    56  * method within a class.
       
    57  *
       
    58  * A {@link Dependency.Filter filter} may be used to restrict the set of
       
    59  * dependencies found by a finder.
       
    60  *
       
    61  * Dependencies that are found may be passed to a {@link Dependencies.Recorder
       
    62  * recorder} so that the dependencies can be stored in a custom data structure.
       
    63  */
       
    64 public class Dependencies {
       
    65     /**
       
    66      * Thrown when a class file cannot be found.
       
    67      */
       
    68     public static class ClassFileNotFoundException extends Exception {
       
    69         private static final long serialVersionUID = 3632265927794475048L;
       
    70 
       
    71         public ClassFileNotFoundException(String className) {
       
    72             super(className);
       
    73             this.className = className;
       
    74         }
       
    75 
       
    76         public ClassFileNotFoundException(String className, Throwable cause) {
       
    77             this(className);
       
    78             initCause(cause);
       
    79         }
       
    80 
       
    81         public final String className;
       
    82     }
       
    83 
       
    84     /**
       
    85      * Thrown when an exception is found processing a class file.
       
    86      */
       
    87     public static class ClassFileError extends Error {
       
    88         private static final long serialVersionUID = 4111110813961313203L;
       
    89 
       
    90         public ClassFileError(Throwable cause) {
       
    91             initCause(cause);
       
    92         }
       
    93     }
       
    94 
       
    95     /**
       
    96      * Service provider interface to locate and read class files.
       
    97      */
       
    98     public interface ClassFileReader {
       
    99         /**
       
   100          * Get the ClassFile object for a specified class.
       
   101          * @param className the name of the class to be returned.
       
   102          * @return the ClassFile for the given class
       
   103          * @throws Dependencies.ClassFileNotFoundException if the classfile cannot be
       
   104          *   found
       
   105          */
       
   106         public ClassFile getClassFile(String className)
       
   107                 throws ClassFileNotFoundException;
       
   108     }
       
   109 
       
   110     /**
       
   111      * Service provide interface to handle results.
       
   112      */
       
   113     public interface Recorder {
       
   114         /**
       
   115          * Record a dependency that has been found.
       
   116          * @param d
       
   117          */
       
   118         public void addDependency(Dependency d);
       
   119     }
       
   120 
       
   121     /**
       
   122      * Get the  default finder used to locate the dependencies for a class.
       
   123      * @return the default finder
       
   124      */
       
   125     public static Finder getDefaultFinder() {
       
   126         return new APIDependencyFinder(AccessFlags.ACC_PRIVATE);
       
   127     }
       
   128 
       
   129     /**
       
   130      * Get a finder used to locate the API dependencies for a class.
       
   131      * These include the superclass, superinterfaces, and classes referenced in
       
   132      * the declarations of fields and methods.  The fields and methods that
       
   133      * are checked can be limited according to a specified access.
       
   134      * The access parameter must be one of {@link AccessFlags#ACC_PUBLIC ACC_PUBLIC},
       
   135      * {@link AccessFlags#ACC_PRIVATE ACC_PRIVATE},
       
   136      * {@link AccessFlags#ACC_PROTECTED ACC_PROTECTED}, or 0 for
       
   137      * package private access. Members with greater than or equal accessibility
       
   138      * to that specified will be searched for dependencies.
       
   139      * @param access the access of members to be checked
       
   140      * @return an API finder
       
   141      */
       
   142     public static Finder getAPIFinder(int access) {
       
   143         return new APIDependencyFinder(access);
       
   144     }
       
   145 
       
   146     /**
       
   147      * Get a finder to do class dependency analysis.
       
   148      *
       
   149      * @return a Class dependency finder
       
   150      */
       
   151     public static Finder getClassDependencyFinder() {
       
   152         return new ClassDependencyFinder();
       
   153     }
       
   154 
       
   155     /**
       
   156      * Get the finder used to locate the dependencies for a class.
       
   157      * @return the finder
       
   158      */
       
   159     public Finder getFinder() {
       
   160         if (finder == null)
       
   161             finder = getDefaultFinder();
       
   162         return finder;
       
   163     }
       
   164 
       
   165     /**
       
   166      * Set the finder used to locate the dependencies for a class.
       
   167      * @param f the finder
       
   168      */
       
   169     public void setFinder(Finder f) {
       
   170         finder = Objects.requireNonNull(f);
       
   171     }
       
   172 
       
   173     /**
       
   174      * Get the default filter used to determine included when searching
       
   175      * the transitive closure of all the dependencies.
       
   176      * Unless overridden, the default filter accepts all dependencies.
       
   177      * @return the default filter.
       
   178      */
       
   179     public static Filter getDefaultFilter() {
       
   180         return DefaultFilter.instance();
       
   181     }
       
   182 
       
   183     /**
       
   184      * Get a filter which uses a regular expression on the target's class name
       
   185      * to determine if a dependency is of interest.
       
   186      * @param pattern the pattern used to match the target's class name
       
   187      * @return a filter for matching the target class name with a regular expression
       
   188      */
       
   189     public static Filter getRegexFilter(Pattern pattern) {
       
   190         return new TargetRegexFilter(pattern);
       
   191     }
       
   192 
       
   193     /**
       
   194      * Get a filter which checks the package of a target's class name
       
   195      * to determine if a dependency is of interest. The filter checks if the
       
   196      * package of the target's class matches any of a set of given package
       
   197      * names. The match may optionally match subpackages of the given names as well.
       
   198      * @param packageNames the package names used to match the target's class name
       
   199      * @param matchSubpackages whether or not to match subpackages as well
       
   200      * @return a filter for checking the target package name against a list of package names
       
   201      */
       
   202     public static Filter getPackageFilter(Set<String> packageNames, boolean matchSubpackages) {
       
   203         return new TargetPackageFilter(packageNames, matchSubpackages);
       
   204     }
       
   205 
       
   206     /**
       
   207      * Get the filter used to determine the dependencies included when searching
       
   208      * the transitive closure of all the dependencies.
       
   209      * Unless overridden, the default filter accepts all dependencies.
       
   210      * @return the filter
       
   211      */
       
   212     public Filter getFilter() {
       
   213         if (filter == null)
       
   214             filter = getDefaultFilter();
       
   215         return filter;
       
   216     }
       
   217 
       
   218     /**
       
   219      * Set the filter used to determine the dependencies included when searching
       
   220      * the transitive closure of all the dependencies.
       
   221      * @param f the filter
       
   222      */
       
   223     public void setFilter(Filter f) {
       
   224         filter = Objects.requireNonNull(f);
       
   225     }
       
   226 
       
   227     /**
       
   228      * Find the dependencies of a class, using the current
       
   229      * {@link Dependencies#getFinder finder} and
       
   230      * {@link Dependencies#getFilter filter}.
       
   231      * The search may optionally include the transitive closure of all the
       
   232      * filtered dependencies, by also searching in the classes named in those
       
   233      * dependencies.
       
   234      * @param classFinder a finder to locate class files
       
   235      * @param rootClassNames the names of the root classes from which to begin
       
   236      *      searching
       
   237      * @param transitiveClosure whether or not to also search those classes
       
   238      *      named in any filtered dependencies that are found.
       
   239      * @return the set of dependencies that were found
       
   240      * @throws ClassFileNotFoundException if a required class file cannot be found
       
   241      * @throws ClassFileError if an error occurs while processing a class file,
       
   242      *      such as an error in the internal class file structure.
       
   243      */
       
   244     public Set<Dependency> findAllDependencies(
       
   245             ClassFileReader classFinder, Set<String> rootClassNames,
       
   246             boolean transitiveClosure)
       
   247             throws ClassFileNotFoundException {
       
   248         final Set<Dependency> results = new HashSet<>();
       
   249         Recorder r = new Recorder() {
       
   250             public void addDependency(Dependency d) {
       
   251                 results.add(d);
       
   252             }
       
   253         };
       
   254         findAllDependencies(classFinder, rootClassNames, transitiveClosure, r);
       
   255         return results;
       
   256     }
       
   257 
       
   258     /**
       
   259      * Find the dependencies of a class, using the current
       
   260      * {@link Dependencies#getFinder finder} and
       
   261      * {@link Dependencies#getFilter filter}.
       
   262      * The search may optionally include the transitive closure of all the
       
   263      * filtered dependencies, by also searching in the classes named in those
       
   264      * dependencies.
       
   265      * @param classFinder a finder to locate class files
       
   266      * @param rootClassNames the names of the root classes from which to begin
       
   267      *      searching
       
   268      * @param transitiveClosure whether or not to also search those classes
       
   269      *      named in any filtered dependencies that are found.
       
   270      * @param recorder a recorder for handling the results
       
   271      * @throws ClassFileNotFoundException if a required class file cannot be found
       
   272      * @throws ClassFileError if an error occurs while processing a class file,
       
   273      *      such as an error in the internal class file structure.
       
   274      */
       
   275     public void findAllDependencies(
       
   276             ClassFileReader classFinder, Set<String> rootClassNames,
       
   277             boolean transitiveClosure, Recorder recorder)
       
   278             throws ClassFileNotFoundException {
       
   279         Set<String> doneClasses = new HashSet<>();
       
   280 
       
   281         getFinder();  // ensure initialized
       
   282         getFilter();  // ensure initialized
       
   283 
       
   284         // Work queue of names of classfiles to be searched.
       
   285         // Entries will be unique, and for classes that do not yet have
       
   286         // dependencies in the results map.
       
   287         Deque<String> deque = new LinkedList<>(rootClassNames);
       
   288 
       
   289         String className;
       
   290         while ((className = deque.poll()) != null) {
       
   291             assert (!doneClasses.contains(className));
       
   292             doneClasses.add(className);
       
   293 
       
   294             ClassFile cf = classFinder.getClassFile(className);
       
   295 
       
   296             // The following code just applies the filter to the dependencies
       
   297             // followed for the transitive closure.
       
   298             for (Dependency d: finder.findDependencies(cf)) {
       
   299                 recorder.addDependency(d);
       
   300                 if (transitiveClosure && filter.accepts(d)) {
       
   301                     String cn = d.getTarget().getClassName();
       
   302                     if (!doneClasses.contains(cn))
       
   303                         deque.add(cn);
       
   304                 }
       
   305             }
       
   306         }
       
   307     }
       
   308 
       
   309     private Filter filter;
       
   310     private Finder finder;
       
   311 
       
   312     /**
       
   313      * A location identifying a class.
       
   314      */
       
   315     static class SimpleLocation implements Location {
       
   316         public SimpleLocation(String name) {
       
   317             this.name = name;
       
   318             this.className = name.replace('/', '.');
       
   319         }
       
   320 
       
   321         public String getName() {
       
   322             return name;
       
   323         }
       
   324 
       
   325         public String getClassName() {
       
   326             return className;
       
   327         }
       
   328 
       
   329         public String getPackageName() {
       
   330             int i = name.lastIndexOf('/');
       
   331             return (i > 0) ? name.substring(0, i).replace('/', '.') : "";
       
   332         }
       
   333 
       
   334         @Override
       
   335         public boolean equals(Object other) {
       
   336             if (this == other)
       
   337                 return true;
       
   338             if (!(other instanceof SimpleLocation))
       
   339                 return false;
       
   340             return (name.equals(((SimpleLocation) other).name));
       
   341         }
       
   342 
       
   343         @Override
       
   344         public int hashCode() {
       
   345             return name.hashCode();
       
   346         }
       
   347 
       
   348         @Override
       
   349         public String toString() {
       
   350             return name;
       
   351         }
       
   352 
       
   353         private String name;
       
   354         private String className;
       
   355     }
       
   356 
       
   357     /**
       
   358      * A dependency of one class on another.
       
   359      */
       
   360     static class SimpleDependency implements Dependency {
       
   361         public SimpleDependency(Location origin, Location target) {
       
   362             this.origin = origin;
       
   363             this.target = target;
       
   364         }
       
   365 
       
   366         public Location getOrigin() {
       
   367             return origin;
       
   368         }
       
   369 
       
   370         public Location getTarget() {
       
   371             return target;
       
   372         }
       
   373 
       
   374         @Override
       
   375         public boolean equals(Object other) {
       
   376             if (this == other)
       
   377                 return true;
       
   378             if (!(other instanceof SimpleDependency))
       
   379                 return false;
       
   380             SimpleDependency o = (SimpleDependency) other;
       
   381             return (origin.equals(o.origin) && target.equals(o.target));
       
   382         }
       
   383 
       
   384         @Override
       
   385         public int hashCode() {
       
   386             return origin.hashCode() * 31 + target.hashCode();
       
   387         }
       
   388 
       
   389         @Override
       
   390         public String toString() {
       
   391             return origin + ":" + target;
       
   392         }
       
   393 
       
   394         private Location origin;
       
   395         private Location target;
       
   396     }
       
   397 
       
   398 
       
   399     /**
       
   400      * This class accepts all dependencies.
       
   401      */
       
   402     static class DefaultFilter implements Filter {
       
   403         private static DefaultFilter instance;
       
   404 
       
   405         static DefaultFilter instance() {
       
   406             if (instance == null)
       
   407                 instance = new DefaultFilter();
       
   408             return instance;
       
   409         }
       
   410 
       
   411         public boolean accepts(Dependency dependency) {
       
   412             return true;
       
   413         }
       
   414     }
       
   415 
       
   416     /**
       
   417      * This class accepts those dependencies whose target's class name matches a
       
   418      * regular expression.
       
   419      */
       
   420     static class TargetRegexFilter implements Filter {
       
   421         TargetRegexFilter(Pattern pattern) {
       
   422             this.pattern = pattern;
       
   423         }
       
   424 
       
   425         public boolean accepts(Dependency dependency) {
       
   426             return pattern.matcher(dependency.getTarget().getClassName()).matches();
       
   427         }
       
   428 
       
   429         private final Pattern pattern;
       
   430     }
       
   431 
       
   432     /**
       
   433      * This class accepts those dependencies whose class name is in a given
       
   434      * package.
       
   435      */
       
   436     static class TargetPackageFilter implements Filter {
       
   437         TargetPackageFilter(Set<String> packageNames, boolean matchSubpackages) {
       
   438             for (String pn: packageNames) {
       
   439                 if (pn.length() == 0) // implies null check as well
       
   440                     throw new IllegalArgumentException();
       
   441             }
       
   442             this.packageNames = packageNames;
       
   443             this.matchSubpackages = matchSubpackages;
       
   444         }
       
   445 
       
   446         public boolean accepts(Dependency dependency) {
       
   447             String pn = dependency.getTarget().getPackageName();
       
   448             if (packageNames.contains(pn))
       
   449                 return true;
       
   450 
       
   451             if (matchSubpackages) {
       
   452                 for (String n: packageNames) {
       
   453                     if (pn.startsWith(n + "."))
       
   454                         return true;
       
   455                 }
       
   456             }
       
   457 
       
   458             return false;
       
   459         }
       
   460 
       
   461         private final Set<String> packageNames;
       
   462         private final boolean matchSubpackages;
       
   463     }
       
   464 
       
   465     /**
       
   466      * This class identifies class names directly or indirectly in the constant pool.
       
   467      */
       
   468     static class ClassDependencyFinder extends BasicDependencyFinder {
       
   469         public Iterable<? extends Dependency> findDependencies(ClassFile classfile) {
       
   470             Visitor v = new Visitor(classfile);
       
   471             for (CPInfo cpInfo: classfile.constant_pool.entries()) {
       
   472                 v.scan(cpInfo);
       
   473             }
       
   474             try {
       
   475                 v.addClass(classfile.super_class);
       
   476                 v.addClasses(classfile.interfaces);
       
   477                 v.scan(classfile.attributes);
       
   478 
       
   479                 for (Field f : classfile.fields) {
       
   480                     v.scan(f.descriptor, f.attributes);
       
   481                 }
       
   482                 for (Method m : classfile.methods) {
       
   483                     v.scan(m.descriptor, m.attributes);
       
   484                     Exceptions_attribute e =
       
   485                         (Exceptions_attribute)m.attributes.get(Attribute.Exceptions);
       
   486                     if (e != null) {
       
   487                         v.addClasses(e.exception_index_table);
       
   488                     }
       
   489                 }
       
   490             } catch (ConstantPoolException e) {
       
   491                 throw new ClassFileError(e);
       
   492             }
       
   493 
       
   494             return v.deps;
       
   495         }
       
   496     }
       
   497 
       
   498     /**
       
   499      * This class identifies class names in the signatures of classes, fields,
       
   500      * and methods in a class.
       
   501      */
       
   502     static class APIDependencyFinder extends BasicDependencyFinder {
       
   503         APIDependencyFinder(int access) {
       
   504             switch (access) {
       
   505                 case AccessFlags.ACC_PUBLIC:
       
   506                 case AccessFlags.ACC_PROTECTED:
       
   507                 case AccessFlags.ACC_PRIVATE:
       
   508                 case 0:
       
   509                     showAccess = access;
       
   510                     break;
       
   511                 default:
       
   512                     throw new IllegalArgumentException("invalid access 0x"
       
   513                             + Integer.toHexString(access));
       
   514             }
       
   515         }
       
   516 
       
   517         public Iterable<? extends Dependency> findDependencies(ClassFile classfile) {
       
   518             try {
       
   519                 Visitor v = new Visitor(classfile);
       
   520                 v.addClass(classfile.super_class);
       
   521                 v.addClasses(classfile.interfaces);
       
   522                 // inner classes?
       
   523                 for (Field f : classfile.fields) {
       
   524                     if (checkAccess(f.access_flags))
       
   525                         v.scan(f.descriptor, f.attributes);
       
   526                 }
       
   527                 for (Method m : classfile.methods) {
       
   528                     if (checkAccess(m.access_flags)) {
       
   529                         v.scan(m.descriptor, m.attributes);
       
   530                         Exceptions_attribute e =
       
   531                                 (Exceptions_attribute) m.attributes.get(Attribute.Exceptions);
       
   532                         if (e != null)
       
   533                             v.addClasses(e.exception_index_table);
       
   534                     }
       
   535                 }
       
   536                 return v.deps;
       
   537             } catch (ConstantPoolException e) {
       
   538                 throw new ClassFileError(e);
       
   539             }
       
   540         }
       
   541 
       
   542         boolean checkAccess(AccessFlags flags) {
       
   543             // code copied from javap.Options.checkAccess
       
   544             boolean isPublic = flags.is(AccessFlags.ACC_PUBLIC);
       
   545             boolean isProtected = flags.is(AccessFlags.ACC_PROTECTED);
       
   546             boolean isPrivate = flags.is(AccessFlags.ACC_PRIVATE);
       
   547             boolean isPackage = !(isPublic || isProtected || isPrivate);
       
   548 
       
   549             if ((showAccess == AccessFlags.ACC_PUBLIC) && (isProtected || isPrivate || isPackage))
       
   550                 return false;
       
   551             else if ((showAccess == AccessFlags.ACC_PROTECTED) && (isPrivate || isPackage))
       
   552                 return false;
       
   553             else if ((showAccess == 0) && (isPrivate))
       
   554                 return false;
       
   555             else
       
   556                 return true;
       
   557         }
       
   558 
       
   559         private int showAccess;
       
   560     }
       
   561 
       
   562     static abstract class BasicDependencyFinder implements Finder {
       
   563         private Map<String,Location> locations = new HashMap<>();
       
   564 
       
   565         Location getLocation(String className) {
       
   566             Location l = locations.get(className);
       
   567             if (l == null)
       
   568                 locations.put(className, l = new SimpleLocation(className));
       
   569             return l;
       
   570         }
       
   571 
       
   572         class Visitor implements ConstantPool.Visitor<Void,Void>, Type.Visitor<Void, Void> {
       
   573             private ConstantPool constant_pool;
       
   574             private Location origin;
       
   575             Set<Dependency> deps;
       
   576 
       
   577             Visitor(ClassFile classFile) {
       
   578                 try {
       
   579                     constant_pool = classFile.constant_pool;
       
   580                     origin = getLocation(classFile.getName());
       
   581                     deps = new HashSet<>();
       
   582                 } catch (ConstantPoolException e) {
       
   583                     throw new ClassFileError(e);
       
   584                 }
       
   585             }
       
   586 
       
   587             void scan(Descriptor d, Attributes attrs) {
       
   588                 try {
       
   589                     scan(new Signature(d.index).getType(constant_pool));
       
   590                     scan(attrs);
       
   591                 } catch (ConstantPoolException e) {
       
   592                     throw new ClassFileError(e);
       
   593                 }
       
   594             }
       
   595 
       
   596             void scan(CPInfo cpInfo) {
       
   597                 cpInfo.accept(this, null);
       
   598             }
       
   599 
       
   600             void scan(Type t) {
       
   601                 t.accept(this, null);
       
   602             }
       
   603 
       
   604             void scan(Attributes attrs) {
       
   605                 try {
       
   606                     Signature_attribute sa = (Signature_attribute)attrs.get(Attribute.Signature);
       
   607                     if (sa != null)
       
   608                         scan(sa.getParsedSignature().getType(constant_pool));
       
   609 
       
   610                     scan((RuntimeVisibleAnnotations_attribute)
       
   611                             attrs.get(Attribute.RuntimeVisibleAnnotations));
       
   612                     scan((RuntimeVisibleParameterAnnotations_attribute)
       
   613                             attrs.get(Attribute.RuntimeVisibleParameterAnnotations));
       
   614                 } catch (ConstantPoolException e) {
       
   615                     throw new ClassFileError(e);
       
   616                 }
       
   617             }
       
   618 
       
   619             private void scan(RuntimeAnnotations_attribute attr) throws ConstantPoolException {
       
   620                 if (attr == null) {
       
   621                     return;
       
   622                 }
       
   623                 for (int i = 0; i < attr.annotations.length; i++) {
       
   624                     int index = attr.annotations[i].type_index;
       
   625                     scan(new Signature(index).getType(constant_pool));
       
   626                 }
       
   627             }
       
   628 
       
   629             private void scan(RuntimeParameterAnnotations_attribute attr) throws ConstantPoolException {
       
   630                 if (attr == null) {
       
   631                     return;
       
   632                 }
       
   633                 for (int param = 0; param < attr.parameter_annotations.length; param++) {
       
   634                     for (int i = 0; i < attr.parameter_annotations[param].length; i++) {
       
   635                         int index = attr.parameter_annotations[param][i].type_index;
       
   636                         scan(new Signature(index).getType(constant_pool));
       
   637                     }
       
   638                 }
       
   639             }
       
   640 
       
   641             void addClass(int index) throws ConstantPoolException {
       
   642                 if (index != 0) {
       
   643                     String name = constant_pool.getClassInfo(index).getBaseName();
       
   644                     if (name != null)
       
   645                         addDependency(name);
       
   646                 }
       
   647             }
       
   648 
       
   649             void addClasses(int[] indices) throws ConstantPoolException {
       
   650                 for (int i: indices)
       
   651                     addClass(i);
       
   652             }
       
   653 
       
   654             private void addDependency(String name) {
       
   655                 deps.add(new SimpleDependency(origin, getLocation(name)));
       
   656             }
       
   657 
       
   658             // ConstantPool.Visitor methods
       
   659 
       
   660             public Void visitClass(CONSTANT_Class_info info, Void p) {
       
   661                 try {
       
   662                     if (info.getName().startsWith("["))
       
   663                         new Signature(info.name_index).getType(constant_pool).accept(this, null);
       
   664                     else
       
   665                         addDependency(info.getBaseName());
       
   666                     return null;
       
   667                 } catch (ConstantPoolException e) {
       
   668                     throw new ClassFileError(e);
       
   669                 }
       
   670             }
       
   671 
       
   672             public Void visitDouble(CONSTANT_Double_info info, Void p) {
       
   673                 return null;
       
   674             }
       
   675 
       
   676             public Void visitFieldref(CONSTANT_Fieldref_info info, Void p) {
       
   677                 return visitRef(info, p);
       
   678             }
       
   679 
       
   680             public Void visitFloat(CONSTANT_Float_info info, Void p) {
       
   681                 return null;
       
   682             }
       
   683 
       
   684             public Void visitInteger(CONSTANT_Integer_info info, Void p) {
       
   685                 return null;
       
   686             }
       
   687 
       
   688             public Void visitInterfaceMethodref(CONSTANT_InterfaceMethodref_info info, Void p) {
       
   689                 return visitRef(info, p);
       
   690             }
       
   691 
       
   692             public Void visitInvokeDynamic(CONSTANT_InvokeDynamic_info info, Void p) {
       
   693                 return null;
       
   694             }
       
   695 
       
   696             public Void visitLong(CONSTANT_Long_info info, Void p) {
       
   697                 return null;
       
   698             }
       
   699 
       
   700             public Void visitMethodHandle(CONSTANT_MethodHandle_info info, Void p) {
       
   701                 return null;
       
   702             }
       
   703 
       
   704             public Void visitMethodType(CONSTANT_MethodType_info info, Void p) {
       
   705                 return null;
       
   706             }
       
   707 
       
   708             public Void visitMethodref(CONSTANT_Methodref_info info, Void p) {
       
   709                 return visitRef(info, p);
       
   710             }
       
   711 
       
   712             public Void visitNameAndType(CONSTANT_NameAndType_info info, Void p) {
       
   713                 try {
       
   714                     new Signature(info.type_index).getType(constant_pool).accept(this, null);
       
   715                     return null;
       
   716                 } catch (ConstantPoolException e) {
       
   717                     throw new ClassFileError(e);
       
   718                 }
       
   719             }
       
   720 
       
   721             public Void visitString(CONSTANT_String_info info, Void p) {
       
   722                 return null;
       
   723             }
       
   724 
       
   725             public Void visitUtf8(CONSTANT_Utf8_info info, Void p) {
       
   726                 return null;
       
   727             }
       
   728 
       
   729             private Void visitRef(CPRefInfo info, Void p) {
       
   730                 try {
       
   731                     visitClass(info.getClassInfo(), p);
       
   732                     return null;
       
   733                 } catch (ConstantPoolException e) {
       
   734                     throw new ClassFileError(e);
       
   735                 }
       
   736             }
       
   737 
       
   738             // Type.Visitor methods
       
   739 
       
   740             private void findDependencies(Type t) {
       
   741                 if (t != null)
       
   742                     t.accept(this, null);
       
   743             }
       
   744 
       
   745             private void findDependencies(List<? extends Type> ts) {
       
   746                 if (ts != null) {
       
   747                     for (Type t: ts)
       
   748                         t.accept(this, null);
       
   749                 }
       
   750             }
       
   751 
       
   752             public Void visitSimpleType(SimpleType type, Void p) {
       
   753                 return null;
       
   754             }
       
   755 
       
   756             public Void visitArrayType(ArrayType type, Void p) {
       
   757                 findDependencies(type.elemType);
       
   758                 return null;
       
   759             }
       
   760 
       
   761             public Void visitMethodType(MethodType type, Void p) {
       
   762                 findDependencies(type.paramTypes);
       
   763                 findDependencies(type.returnType);
       
   764                 findDependencies(type.throwsTypes);
       
   765                 findDependencies(type.typeParamTypes);
       
   766                 return null;
       
   767             }
       
   768 
       
   769             public Void visitClassSigType(ClassSigType type, Void p) {
       
   770                 findDependencies(type.superclassType);
       
   771                 findDependencies(type.superinterfaceTypes);
       
   772                 return null;
       
   773             }
       
   774 
       
   775             public Void visitClassType(ClassType type, Void p) {
       
   776                 findDependencies(type.outerType);
       
   777                 addDependency(type.getBinaryName());
       
   778                 findDependencies(type.typeArgs);
       
   779                 return null;
       
   780             }
       
   781 
       
   782             public Void visitTypeParamType(TypeParamType type, Void p) {
       
   783                 findDependencies(type.classBound);
       
   784                 findDependencies(type.interfaceBounds);
       
   785                 return null;
       
   786             }
       
   787 
       
   788             public Void visitWildcardType(WildcardType type, Void p) {
       
   789                 findDependencies(type.boundType);
       
   790                 return null;
       
   791             }
       
   792         }
       
   793     }
       
   794 }