Package sootup.core.jimple.common

Interface SlotLocal

All Superinterfaces:

Acceptor<ImmediateVisitor>, EquivTo, Immediate, JimpleIR, Local, LValue, Value

All Known Subinterfaces:

JavaSlotLocal

public interface SlotLocal
extends Local

A local originating from a JVM local variable slot. The index is original bytecode provenance.

Method Summary

Modifier and Type	Method	Description
default int	getIndex()	Alias for getSlotIndex().
int	getSlotIndex()	Returns the original, nonnegative JVM local variable slot index.
default @NonNull SlotLocal	withIndex(int slotIndex)	Alias for withSlotIndex(int).
@NonNull SlotLocal	withName(@NonNull String name)	Returns a copy with a new name, preserving all other state and capabilities.
@NonNull SlotLocal	withSlotIndex(int slotIndex)	Returns a copy with a nonnegative slot index, preserving all other state and capabilities.
@NonNull SlotLocal	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.core.jimple.common.Local

getDefs, getDefsForLocalUse, getName, getStmtsUsingOrDefiningthisLocal

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

accept, collectUses, getType, getUses, toString

Method Details

getSlotIndex

int getSlotIndex()

Returns the original, nonnegative JVM local variable slot index.

withSlotIndex

@NonNull SlotLocal withSlotIndex(int slotIndex)

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

withName

@NonNull SlotLocal 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 Local

withType

@NonNull SlotLocal 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 Local

getIndex

default int getIndex()

Alias for getSlotIndex().

withIndex

default @NonNull SlotLocal withIndex(int slotIndex)

Alias for withSlotIndex(int).