public class Archive
extends java.lang.Object
Constructor and Description |
---|
Archive(java.io.File path)
Creates an archive entry provding some infos regarding a classpath entry.
|
Archive(java.io.File path,
java.io.File source,
java.lang.String javadoc)
Creates an archive entry provding some infos regarding a classpath entry.
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getJavaDoc()
Returns the location of the java docs.
|
java.io.File |
getPath()
Returns the location of the classes.
|
java.io.File |
getSource()
Returns the location of the sources.
|
void |
setJavaDoc(java.lang.String newjavadoc)
Changes the javadoc entry for this archive.
|
void |
setSource(java.io.File newsource)
Changes the source entry for this archive.
|
public Archive(java.io.File path)
path
- The location of the classes. Maybe a directory or a Jar.public Archive(java.io.File path, java.io.File source, java.lang.String javadoc)
path
- The location of the classes. Maybe a directory or a Jar.source
- The location of corresponding sources.javadoc
- The location of the javadocs as an url.public void setSource(java.io.File newsource)
newsource
- The new source entry for this archive.public void setJavaDoc(java.lang.String newjavadoc)
newjavadoc
- The new javadoc entry.public java.io.File getPath()
public java.io.File getSource()
public java.lang.String getJavaDoc()