Package sootup.java.frontend.conversion

Class WalaSootMethod

java.lang.Object

sootup.core.model.SootClassMember<MethodSignature>

sootup.core.model.SootMethod

sootup.java.core.JavaSootMethod

sootup.java.frontend.conversion.WalaSootMethod

All Implemented Interfaces:

HasPosition, Method, HasAnnotation

public class WalaSootMethod
extends JavaSootMethod

Nested Class Summary

Nested classes/interfaces inherited from class sootup.java.core.JavaSootMethod

JavaSootMethod.AnnotationOrSignatureStep, JavaSootMethod.JavaSootMethodBuilder

Nested classes/interfaces inherited from class sootup.core.model.SootMethod

SootMethod.BuildStep, SootMethod.MethodSourceStep, SootMethod.ModifierStep, SootMethod.SignatureStep, SootMethod.SootMethodBuilder, SootMethod.ThrownExceptionsStep

Field Summary

Fields inherited from class sootup.core.model.SootMethod

bodySource, exceptions, parameterTypes

Constructor Summary

Constructors

Constructor	Description
WalaSootMethod(BodySource source, MethodSignature methodSignature, Iterable<MethodModifier> modifiers, Iterable<ClassType> thrownExceptions, com.ibm.wala.cast.loader.AstMethod.DebuggingInformation debugInfo)	Constructs a SootMethod object with the given attributes.

Method Summary

Modifier and Type	Method	Description
com.ibm.wala.cast.loader.AstMethod.DebuggingInformation	getDebugInfo()
int	getJavaSourceStartLineNumber()
SootMethod	withDebugInfo(com.ibm.wala.cast.loader.AstMethod.DebuggingInformation debugInfo)
JavaSootMethod	withModifiers(Iterable<MethodModifier> modifiers)
JavaSootMethod	withOverridingMethodSource(Function<OverridingBodySource,OverridingBodySource> overrider)	Creates a new SootMethod based on a new OverridingBodySource.
JavaSootMethod	withSource(BodySource source)
JavaSootMethod	withThrownExceptions(Iterable<ClassType> thrownExceptions)

Methods inherited from class sootup.java.core.JavaSootMethod

builder, getAnnotations, withAnnotations, withBody

Methods inherited from class sootup.core.model.SootMethod

equals, equivHashCode, getBody, getBodySource, getExceptionSignatures, getModifiers, getParameterCount, getParameterType, getParameterTypes, getReturnType, hasBody, hashCode, isAbstract, isConcrete, isFinal, isMain, isNative, isPrivate, isProtected, isPublic, isStatic, isSynchronized, toString

Methods inherited from class sootup.core.model.SootClassMember

getDeclaringClassType, getName, getPosition, getSignature, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface sootup.core.model.Method

getSignature

Constructor Details

WalaSootMethod

public WalaSootMethod(@Nonnull
 BodySource source,
 @Nonnull
 MethodSignature methodSignature,
 @Nonnull
 Iterable<MethodModifier> modifiers,
 @Nonnull
 Iterable<ClassType> thrownExceptions,
 com.ibm.wala.cast.loader.AstMethod.DebuggingInformation debugInfo)

Constructs a SootMethod object with the given attributes.

Parameters:

source -

methodSignature -

modifiers -

thrownExceptions -

Method Details

getJavaSourceStartLineNumber

public int getJavaSourceStartLineNumber()

getDebugInfo

@Nullable
public com.ibm.wala.cast.loader.AstMethod.DebuggingInformation getDebugInfo()

withOverridingMethodSource

@Nonnull
public JavaSootMethod withOverridingMethodSource(Function<OverridingBodySource,OverridingBodySource> overrider)

Description copied from class: SootMethod

Creates a new SootMethod based on a new OverridingBodySource. This is useful to change selected parts of a SootMethod without recreating a BodySource completely. OverridingBodySource allows for replacing the body of a method.

Overrides:

withOverridingMethodSource in class JavaSootMethod

withSource

@Nonnull
public JavaSootMethod withSource(BodySource source)

Overrides:

withSource in class JavaSootMethod

withModifiers

@Nonnull
public JavaSootMethod withModifiers(Iterable<MethodModifier> modifiers)

Overrides:

withModifiers in class JavaSootMethod

withThrownExceptions

@Nonnull
public JavaSootMethod withThrownExceptions(Iterable<ClassType> thrownExceptions)

Overrides:

withThrownExceptions in class JavaSootMethod

withDebugInfo

@Nonnull
public SootMethod withDebugInfo(com.ibm.wala.cast.loader.AstMethod.DebuggingInformation debugInfo)