Package sootup.java.core.jimple.basic

Interface JavaStackLocal

All Superinterfaces:

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

public interface JavaStackLocal
extends JavaLocal, StackLocal

Combines Java annotations with operand stack provenance.

Method Summary

Modifier and Type	Method	Description
@NonNull JavaStackLocal	withAnnotations(@NonNull Iterable<AnnotationUsage> annotations)	Returns a copy with new annotations, preserving all other state and capabilities.
@NonNull JavaStackLocal	withName(@NonNull String name)	Returns a copy with a new name, preserving all other state and capabilities.
@NonNull JavaStackLocal	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.Value

accept, collectUses, getType, getUses, toString

Method Details

withName

@NonNull JavaStackLocal 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 StackLocal

withType

@NonNull JavaStackLocal 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 StackLocal

withAnnotations

@NonNull JavaStackLocal 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