Package sootup.java.frontend.conversion

Class WalaJavaClassProvider

java.lang.Object

sootup.java.frontend.conversion.WalaJavaClassProvider

All Implemented Interfaces:

ClassProvider

public class WalaJavaClassProvider
extends Object
implements ClassProvider

A ClassProvider that can read Java source code

Author:

Linghui Luo

Constructor Summary

Constructors

Constructor	Description
WalaJavaClassProvider(String sourceDirPath)
WalaJavaClassProvider(String sourceDirPath, String exclusionFilePath)
WalaJavaClassProvider(String sourceDirPath, String exclusionFilePath, SourceType sourceType)	Constructor used for loading classes from given source code path.
WalaJavaClassProvider(Collection<? extends com.ibm.wala.classLoader.Module> moduleFiles, SourceType sourceType)	Constructor used for LSP server.
WalaJavaClassProvider(Set<String> sourcePath)
WalaJavaClassProvider(Set<String> sourcePath, String exclusionFilePath)
WalaJavaClassProvider(Set<String> sourcePath, String apkPath, String androidJar, String exclusionFilePath)
WalaJavaClassProvider(Set<String> sourcePath, Set<String> libPath, String exclusionFilePath)

Method Summary

Modifier and Type	Method	Description
Optional<JavaSootClassSource>	createClassSource(AnalysisInputLocation srcNamespace, Path sourcePath, ClassType type)
Optional<JavaSootClassSource>	getClassSource(ClassType signature)	Return a ClassSource with the given signature converted from a WALA class.
List<JavaSootClassSource>	getClassSources(SourceType srcType)	Return ClassSources converted from WALA classes.
FileType	getHandledFileType()	Returns the file type that is handled by this provider, e.g.
Optional<SootClass>	getSootClass(JavaClassType signature)	Deprecated. The frontend.WalaJavaClassProvider should not create instances of SootClass.
List<JavaSootClass>	getSootClasses()	Deprecated. The frontend.WalaJavaClassProvider should not create instances of SootClass.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

WalaJavaClassProvider

public WalaJavaClassProvider(@Nonnull
 String sourceDirPath)

WalaJavaClassProvider

public WalaJavaClassProvider(@Nonnull
 String sourceDirPath,
 @Nullable
 String exclusionFilePath)

WalaJavaClassProvider

public WalaJavaClassProvider(@Nonnull
 Set<String> sourcePath)

WalaJavaClassProvider

public WalaJavaClassProvider(@Nonnull
 Set<String> sourcePath,
 @Nullable
 String exclusionFilePath)

WalaJavaClassProvider

public WalaJavaClassProvider(@Nonnull
 Set<String> sourcePath,
 @Nonnull
 Set<String> libPath,
 @Nonnull
 String exclusionFilePath)

WalaJavaClassProvider

public WalaJavaClassProvider(@Nonnull
 Set<String> sourcePath,
 @Nonnull
 String apkPath,
 @Nonnull
 String androidJar,
 @Nullable
 String exclusionFilePath)

WalaJavaClassProvider

public WalaJavaClassProvider(@Nonnull
 String sourceDirPath,
 @Nullable
 String exclusionFilePath,
 @Nonnull
 SourceType sourceType)

Constructor used for loading classes from given source code path.

Parameters:

sourceDirPath -

exclusionFilePath -

WalaJavaClassProvider

public WalaJavaClassProvider(@Nonnull
 Collection<? extends com.ibm.wala.classLoader.Module> moduleFiles,
 @Nonnull
 SourceType sourceType)

Constructor used for LSP server.

Parameters:

moduleFiles -

Method Details

getClassSources

public List<JavaSootClassSource> getClassSources(SourceType srcType)

Return ClassSources converted from WALA classes.

Returns:

list of classes

getSootClasses

@Deprecated
public List<JavaSootClass> getSootClasses()

Deprecated.

The frontend.WalaJavaClassProvider should not create instances of SootClass. This is the responsibility of the View.

Return soot classes converted from WALA classes.

Returns:

list of classes

getSootClass

@Deprecated
public Optional<SootClass> getSootClass(JavaClassType signature)

Deprecated.

The frontend.WalaJavaClassProvider should not create instances of SootClass. This is the responsibility of the View.

Return a soot class with the given signature converted from a WALA class.

getClassSource

public Optional<JavaSootClassSource> getClassSource(ClassType signature)

Return a ClassSource with the given signature converted from a WALA class.

createClassSource

public Optional<JavaSootClassSource> createClassSource(AnalysisInputLocation srcNamespace,
 Path sourcePath,
 ClassType type)

Specified by:

createClassSource in interface ClassProvider

getHandledFileType

public FileType getHandledFileType()

Description copied from interface: ClassProvider

Returns the file type that is handled by this provider, e.g. class, jimple, java

Specified by:

getHandledFileType in interface ClassProvider