Package sootup.interceptors.invokedynamic

Class Fragment

java.lang.Object

sootup.interceptors.invokedynamic.Fragment

public final class Fragment
extends Object

Code replacing one statement: a sequence of statements with forward jumps to Fragment.Labels. A label bound after the last statement continues with the replaced statement's successor. All statements get the replaced statement's position and exceptional flows.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static final class	Fragment.Label	A jump target, bound to the next statement emitted.

Method Summary

Modifier and Type	Method	Description
void	assign(@NonNull LValue target, @NonNull Value value)
void	bind(@NonNull Fragment.Label label)	label denotes the next statement emitted (or the successor, if none follows).
@NonNull ClassType	classType(@NonNull String fullyQualifiedName)
@NonNull IdentifierFactory	factory()
void	ifGoto(@NonNull AbstractConditionExpr condition, @NonNull Fragment.Label target)
@NonNull AbstractInvokeExpr	instanceCall(@NonNull Local base, @NonNull ClassType declaringType, @NonNull String name, @NonNull Type returnType, @NonNull List<Type> parameterTypes, @NonNull List<Immediate> args)	base.name(args): an interface or virtual invoke, as declaringType demands.
void	invoke(@NonNull AbstractInvokeExpr call)
void	jump(@NonNull Fragment.Label target)
@NonNull Fragment.Label	newLabel()
@NonNull Local	newLocal(@NonNull Type type)	A fresh local; added to the body if this fragment is used.
static @NonNull Fragment	of(@NonNull View view, @NonNull LocalGenerator localGenerator, @NonNull StmtPositionInfo pos)	An empty fragment for a statement at pos; locals come from localGenerator.
void	replace(@NonNull Body.BodyBuilder builder, @NonNull Stmt replaced)	Puts this fragment in place of replaced, a statement with exactly one successor, and adds its locals to builder.
@NonNull JSpecialInvokeExpr	specialCall(@NonNull Local base, @NonNull ClassType declaringType, @NonNull String name, @NonNull Type returnType, @NonNull List<Type> parameterTypes, @NonNull List<Immediate> args)
@NonNull JStaticInvokeExpr	staticCall(@NonNull ClassType declaringType, @NonNull String name, @NonNull Type returnType, @NonNull List<Type> parameterTypes, @NonNull List<Immediate> args)

Methods inherited from class java.lang.Object

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

Method Details

of

public static @NonNull Fragment of(@NonNull View view,
 @NonNull LocalGenerator localGenerator,
 @NonNull StmtPositionInfo pos)

An empty fragment for a statement at pos; locals come from localGenerator.

factory

public @NonNull IdentifierFactory factory()

classType

public @NonNull ClassType classType(@NonNull String fullyQualifiedName)

newLocal

public @NonNull Local newLocal(@NonNull Type type)

A fresh local; added to the body if this fragment is used.

assign

public void assign(@NonNull LValue target,
 @NonNull Value value)

invoke

public void invoke(@NonNull AbstractInvokeExpr call)

newLabel

public @NonNull Fragment.Label newLabel()

bind

public void bind(@NonNull Fragment.Label label)

label denotes the next statement emitted (or the successor, if none follows).

ifGoto

public void ifGoto(@NonNull AbstractConditionExpr condition,
 @NonNull Fragment.Label target)

jump

public void jump(@NonNull Fragment.Label target)

instanceCall

public @NonNull AbstractInvokeExpr instanceCall(@NonNull Local base,
 @NonNull ClassType declaringType,
 @NonNull String name,
 @NonNull Type returnType,
 @NonNull List<Type> parameterTypes,
 @NonNull List<Immediate> args)

base.name(args): an interface or virtual invoke, as declaringType demands.

specialCall

public @NonNull JSpecialInvokeExpr specialCall(@NonNull Local base,
 @NonNull ClassType declaringType,
 @NonNull String name,
 @NonNull Type returnType,
 @NonNull List<Type> parameterTypes,
 @NonNull List<Immediate> args)

staticCall

public @NonNull JStaticInvokeExpr staticCall(@NonNull ClassType declaringType,
 @NonNull String name,
 @NonNull Type returnType,
 @NonNull List<Type> parameterTypes,
 @NonNull List<Immediate> args)

replace

public void replace(@NonNull Body.BodyBuilder builder,
 @NonNull Stmt replaced)

Puts this fragment in place of replaced, a statement with exactly one successor, and adds its locals to builder.