/[classpath]/gjdoc/src/gnu/classpath/tools/gjdoc/RootDocImpl.java
ViewVC logotype

Diff of /gjdoc/src/gnu/classpath/tools/gjdoc/RootDocImpl.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.7 by julian, Tue Nov 23 12:49:55 2004 UTC revision 1.8 by julian, Tue Nov 23 15:19:33 2004 UTC
# Line 712  public class RootDocImpl extends DocImpl Line 712  public class RootDocImpl extends DocImpl
712        specifiedClassNames.add(className);        specifiedClassNames.add(className);
713     }     }
714    
715       public boolean hasSpecifiedPackagesOrClasses() {
716          return !specifiedClassNames.isEmpty() || !specifiedPackageNames.isEmpty();
717       }
718    
719     public void setOptions(String[][] customOptionArr) {     public void setOptions(String[][] customOptionArr) {
720        this.customOptionArr = customOptionArr;        this.customOptionArr = customOptionArr;
721     }     }

Legend:
Removed from v.1.7  
changed lines
  Added in v.1.8

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26