Package soot.JastAddJ
Class ZipFilePart
- java.lang.Object
-
- soot.JastAddJ.PathPart
-
- soot.JastAddJ.ZipFilePart
-
public class ZipFilePart extends PathPart
Loads class files from a zip file (Jar file)
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static classZipFilePart.ZipEntryInputStreamWrapperWrapper class for the input stream of a ZipFile entry.
-
Constructor Summary
Constructors Constructor Description ZipFilePart(File file)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanhasPackage(String name)booleanselectCompilationUnit(String canonicalName)-
Methods inherited from class soot.JastAddJ.PathPart
createClassPath, createSourcePath, fileSuffix, getAge, getCompilationUnit, getInputStream, getProgram, setProgram
-
-
-
-
Constructor Detail
-
ZipFilePart
public ZipFilePart(File file) throws IOException
- Throws:
IOException
-
-
Method Detail
-
hasPackage
public boolean hasPackage(String name)
- Overrides:
hasPackagein classPathPart
-
selectCompilationUnit
public boolean selectCompilationUnit(String canonicalName) throws IOException
- Overrides:
selectCompilationUnitin classPathPart- Throws:
IOException
-
-