Package sootup.java.core.jimple.basic

Interface JavaSlotLocal

All Superinterfaces:

Acceptor<ImmediateVisitor>, EquivTo, HasAnnotation, Immediate, JavaLocal, JimpleIR, Local, LValue, SlotLocal, Value

public interface JavaSlotLocal
extends JavaLocal, SlotLocal

Combines Java annotations with original JVM local variable slot provenance.

Method Summary

Modifier and Type	Method	Description
@NonNull JavaSlotLocal	withAnnotations(@NonNull Iterable<AnnotationUsage> annotations)	Returns a copy with new annotations, preserving all other state and capabilities.
default @NonNull JavaSlotLocal	withIndex(int slotIndex)	Alias for SlotLocal.withSlotIndex(int).
@NonNull JavaSlotLocal	withName(@NonNull String name)	Returns a copy with a new name, preserving all other state and capabilities.
@NonNull JavaSlotLocal	withSlotIndex(int slotIndex)	Returns a copy with a nonnegative slot index, preserving all other state and capabilities.
@NonNull JavaSlotLocal	withType(@NonNull Type type)	Returns a copy with a new type, preserving all other state and capabilities.

Methods inherited from interface sootup.core.jimple.visitor.Acceptor

accept

Methods inherited from interface sootup.core.jimple.basic.EquivTo

equivHashCode, equivTo, equivTo

Methods inherited from interface sootup.java.core.jimple.basic.JavaLocal

getAnnotations

Methods inherited from interface sootup.core.jimple.common.Local

getDefs, getDefsForLocalUse, getName, getStmtsUsingOrDefiningthisLocal

Methods inherited from interface sootup.core.jimple.common.SlotLocal

getIndex, getSlotIndex

Methods inherited from interface sootup.core.jimple.common.Value

accept, collectUses, getType, getUses, toString

Method Details

withName

@NonNull JavaSlotLocal withName(@NonNull String name)

Description copied from interface: Local

Returns a copy with a new name, preserving all other state and capabilities.

Specified by:

withName in interface JavaLocal

Specified by:

withName in interface Local

Specified by:

withName in interface SlotLocal

withType

@NonNull JavaSlotLocal withType(@NonNull Type type)

Description copied from interface: Local

Returns a copy with a new type, preserving all other state and capabilities.

Specified by:

withType in interface JavaLocal

Specified by:

withType in interface Local

Specified by:

withType in interface SlotLocal

withAnnotations

@NonNull JavaSlotLocal withAnnotations(@NonNull Iterable<AnnotationUsage> annotations)

Description copied from interface: JavaLocal

Returns a copy with new annotations, preserving all other state and capabilities.

Specified by:

withAnnotations in interface JavaLocal

withSlotIndex

@NonNull JavaSlotLocal withSlotIndex(int slotIndex)

Description copied from interface: SlotLocal

Returns a copy with a nonnegative slot index, preserving all other state and capabilities.

Specified by:

withSlotIndex in interface SlotLocal

withIndex

default @NonNull JavaSlotLocal withIndex(int slotIndex)

Description copied from interface: SlotLocal

Alias for SlotLocal.withSlotIndex(int).

Specified by:

withIndex in interface SlotLocal