Package sootup.core.jimple.common

Interface Local

All Superinterfaces:

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

All Known Subinterfaces:

JavaLocal, JavaSlotLocal, JavaStackLocal, SlotLocal, StackLocal

All Known Implementing Classes:

AbstractLocal

public interface Local
extends Immediate, LValue, Acceptor<ImmediateVisitor>

Local variable in a Body. Use LocalGenerator or the factories in Jimple to create locals. JVM slot provenance is available through SlotLocal.

Implementations must compare locals by name in Object.equals(Object) and Object.hashCode(), and by name and type for Jimple equivalence. Extend AbstractLocal to inherit this contract.

Method Summary

Modifier and Type	Method	Description
List<AbstractDefinitionStmt>	getDefs(Collection<Stmt> defs)
List<Stmt>	getDefsForLocalUse(ControlFlowGraph<?> graph, Stmt stmt)
@NonNull String	getName()
List<Stmt>	getStmtsUsingOrDefiningthisLocal(Collection<Stmt> stmts, Stmt removedStmt)
@NonNull Local	withName(@NonNull String name)	Returns a copy with a new name, preserving all other state and capabilities.
@NonNull Local	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.Value

accept, collectUses, getType, getUses, toString

Method Details

getName

@NonNull String getName()

withName

@NonNull Local withName(@NonNull String name)

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

withType

@NonNull Local withType(@NonNull Type type)

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

getDefs

List<AbstractDefinitionStmt> getDefs(Collection<Stmt> defs)

getDefsForLocalUse

List<Stmt> getDefsForLocalUse(ControlFlowGraph<?> graph,
 Stmt stmt)

getStmtsUsingOrDefiningthisLocal

List<Stmt> getStmtsUsingOrDefiningthisLocal(Collection<Stmt> stmts,
 Stmt removedStmt)