Package sootup.java.core

Class OverridingJavaClassSource

java.lang.Object

sootup.core.frontend.AbstractClassSource

sootup.core.frontend.SootClassSource

sootup.java.core.JavaSootClassSource

sootup.java.core.OverridingJavaClassSource

public class OverridingJavaClassSource
extends JavaSootClassSource

Allows for replacing specific parts of a class, such as fields and methods or, allows to resolve classes that are batchparsed like .java files using wala java source frontend or in tests where all information is already existing.

When replacing specific parts of a class by default, it delegates to the SootClassSource delegate provided in the constructor.

To alter the results of invocations to e.g. resolveFields(), simply call withFields(Collection) to obtain a new OverridingJavaClassSource. The new instance will then use the supplied value instead of calling resolveFields() on the delegate.

Author:

Christian Brüggemann, Hasitha Rajapakse

Field Summary

Fields inherited from class sootup.core.frontend.AbstractClassSource

analysisInputLocation, classSignature, sourcePath

Constructor Summary

Constructors

Constructor	Description
OverridingJavaClassSource(@NonNull AnalysisInputLocation srcNamespace, @NonNull Path sourcePath, @NonNull JavaClassType classType, @Nullable JavaClassType superClass, @NonNull Set<JavaClassType> interfaces, @Nullable JavaClassType outerClass, @NonNull Set<JavaSootField> sootFields, @NonNull Set<JavaSootMethod> sootMethods, @NonNull Position position, @NonNull EnumSet<ClassModifier> modifiers, @NonNull Iterable<AnnotationUsage> annotations, @NonNull Iterable<AnnotationUsage> methodAnnotations, @Nullable Iterable<AnnotationUsage> fieldAnnotations)	Class source where all information already available
OverridingJavaClassSource(@NonNull JavaSootClassSource delegate)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)	Even if a the signature changes, the classource remains the same, e.g., if it is associated to an automatic module s
int	hashCode()
protected @NonNull Iterable<AnnotationUsage>	resolveAnnotations()
@NonNull Collection<JavaSootField>	resolveFields()	Reads from the source to retrieve its fields.
@NonNull Set<ClassType>	resolveInterfaces()	Reads from the source to retrieve its directly implemented interfaces.
@NonNull Collection<JavaSootMethod>	resolveMethods()	Reads from the source to retrieve its methods.
@NonNull Set<ClassModifier>	resolveModifiers()	Reads from the source to retrieve its modifiers.
@NonNull Optional<ClassType>	resolveOuterClass()	Reads from the source to retrieve its outer class, if this is an inner class.
@NonNull Position	resolvePosition()	Reads from the source to retrieve its position in the source code.
@NonNull Optional<ClassType>	resolveSuperclass()	Reads from the source to retrieve its superclass, if present.
String	toString()
@NonNull OverridingJavaClassSource	withFields(@NonNull Collection<JavaSootField> overriddenSootFields)
@NonNull OverridingJavaClassSource	withInterfaces(@NonNull Set<JavaClassType> overriddenInterfaces)
@NonNull OverridingJavaClassSource	withMethods(@NonNull Collection<JavaSootMethod> overriddenSootMethods)
@NonNull OverridingJavaClassSource	withModifiers(@NonNull Set<ClassModifier> overriddenModifiers)
@NonNull OverridingJavaClassSource	withOuterClass(@NonNull Optional<JavaClassType> overriddenOuterClass)
@NonNull OverridingJavaClassSource	withPosition(@Nullable Position position)
@NonNull OverridingJavaClassSource	withReplacedField(@NonNull JavaSootField toReplace, @NonNull JavaSootField replacement)
@NonNull OverridingJavaClassSource	withReplacedMethod(@NonNull JavaSootMethod toReplace, @NonNull JavaSootMethod replacement)
@NonNull OverridingJavaClassSource	withSuperclass(@NonNull Optional<JavaClassType> overriddenSuperclass)

Methods inherited from class sootup.java.core.JavaSootClassSource

buildClass

Methods inherited from class sootup.core.frontend.AbstractClassSource

getAnalysisInputLocation, getClassType, getSourcePath

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

OverridingJavaClassSource

public OverridingJavaClassSource(@NonNull JavaSootClassSource delegate)

OverridingJavaClassSource

public OverridingJavaClassSource(@NonNull AnalysisInputLocation srcNamespace,
 @NonNull Path sourcePath,
 @NonNull JavaClassType classType,
 @Nullable JavaClassType superClass,
 @NonNull Set<JavaClassType> interfaces,
 @Nullable JavaClassType outerClass,
 @NonNull Set<JavaSootField> sootFields,
 @NonNull Set<JavaSootMethod> sootMethods,
 @NonNull Position position,
 @NonNull EnumSet<ClassModifier> modifiers,
 @NonNull Iterable<AnnotationUsage> annotations,
 @NonNull Iterable<AnnotationUsage> methodAnnotations,
 @Nullable Iterable<AnnotationUsage> fieldAnnotations)

Class source where all information already available

Method Details

resolveMethods

public @NonNull Collection<JavaSootMethod> resolveMethods()
                                                   throws ResolveException

Description copied from class: SootClassSource

Reads from the source to retrieve its methods. This may be an expensive operation.

Specified by:

resolveMethods in class SootClassSource

Throws:

ResolveException

resolveFields

public @NonNull Collection<JavaSootField> resolveFields()
                                                 throws ResolveException

Description copied from class: SootClassSource

Reads from the source to retrieve its fields. This may be an expensive operation.

Specified by:

resolveFields in class SootClassSource

Throws:

ResolveException

resolveModifiers

public @NonNull Set<ClassModifier> resolveModifiers()

Description copied from class: SootClassSource

Reads from the source to retrieve its modifiers. This may be an expensive operation.

Specified by:

resolveModifiers in class SootClassSource

resolveInterfaces

public @NonNull Set<ClassType> resolveInterfaces()

Description copied from class: SootClassSource

Reads from the source to retrieve its directly implemented interfaces. This may be an expensive operation.

Specified by:

resolveInterfaces in class SootClassSource

resolveSuperclass

public @NonNull Optional<ClassType> resolveSuperclass()

Description copied from class: SootClassSource

Reads from the source to retrieve its superclass, if present. This may be an expensive operation.

Specified by:

resolveSuperclass in class SootClassSource

resolveOuterClass

public @NonNull Optional<ClassType> resolveOuterClass()

Description copied from class: SootClassSource

Reads from the source to retrieve its outer class, if this is an inner class. This may be an expensive operation.

Specified by:

resolveOuterClass in class SootClassSource

Returns:

resolvePosition

public @NonNull Position resolvePosition()

Description copied from class: SootClassSource

Reads from the source to retrieve its position in the source code. This may be an expensive operation.

Specified by:

resolvePosition in class SootClassSource

resolveAnnotations

protected @NonNull Iterable<AnnotationUsage> resolveAnnotations()

Specified by:

resolveAnnotations in class JavaSootClassSource

equals

public boolean equals(Object o)

Description copied from class: AbstractClassSource

Even if a the signature changes, the classource remains the same, e.g., if it is associated to an automatic module s

Overrides:

equals in class AbstractClassSource

Parameters:

o - the object to compare with

Returns:

both objects are logically equal

hashCode

public int hashCode()

Overrides:

hashCode in class AbstractClassSource

toString

public String toString()

Overrides:

toString in class Object

withReplacedMethod

public @NonNull OverridingJavaClassSource withReplacedMethod(@NonNull JavaSootMethod toReplace,
 @NonNull JavaSootMethod replacement)

withMethods

public @NonNull OverridingJavaClassSource withMethods(@NonNull Collection<JavaSootMethod> overriddenSootMethods)

withReplacedField

public @NonNull OverridingJavaClassSource withReplacedField(@NonNull JavaSootField toReplace,
 @NonNull JavaSootField replacement)

withFields

public @NonNull OverridingJavaClassSource withFields(@NonNull Collection<JavaSootField> overriddenSootFields)

withModifiers

public @NonNull OverridingJavaClassSource withModifiers(@NonNull Set<ClassModifier> overriddenModifiers)

withInterfaces

public @NonNull OverridingJavaClassSource withInterfaces(@NonNull Set<JavaClassType> overriddenInterfaces)

withSuperclass

public @NonNull OverridingJavaClassSource withSuperclass(@NonNull Optional<JavaClassType> overriddenSuperclass)

withOuterClass

public @NonNull OverridingJavaClassSource withOuterClass(@NonNull Optional<JavaClassType> overriddenOuterClass)

withPosition

public @NonNull OverridingJavaClassSource withPosition(@Nullable Position position)