blob: bea7263194c2de85f38f027fa89d3eeb3bd29c97 [file] [log] [blame]
/*******************************************************************************
* Copyright (c) 2000, 2006 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* IBM Corporation - initial API and implementation
*******************************************************************************/
package org.eclipse.releng;
import org.apache.tools.ant.Task;
import org.apache.tools.ant.BuildException;
import java.io.File;
/*
* A class that strips version numbers off built plugin directory names. This
* is helpful when prebuilt plugins are used in generating javadoc (on the
* classpath).
*/
public class VersionNumberStripper extends Task {
//the directory containing the directories and files from which to remove version information
private String directory;
public VersionNumberStripper() {
super();
}
public void setDirectory(String dir){directory=dir;}
public String getDirectory(){return directory;}
public void execute() throws BuildException {
setDirectory(directory);
stripVersions();
}
public static void main(String[] args) {
new VersionNumberStripper().execute();
}
private void stripVersions(){
/* rename directories by removing anything from an underscore onward,
* assuming that anything following the first
* occurence of an underscore is a version number
*/
File file=new File(directory);
File [] files = file.listFiles();
for (int i=0; i<files.length; i++){
String absolutePath = files[i].getAbsolutePath();
String path = absolutePath.substring(0, absolutePath.length()
- files[i].getName().length());
int underScorePos = files[i].getName().indexOf("_");
int jarExtPos = files[i].getName().indexOf(".jar");
if (underScorePos != -1) {
String targetPath;
if (jarExtPos != -1) {
targetPath =path
+ files[i].getName().substring(0, underScorePos)
+ ".jar";
} else {
targetPath = path
+ files[i].getName().substring(0, underScorePos);
}
files[i].renameTo(new File(targetPath));
}
}
}
}