Package sootup.jimple.frontend

Class JimpleBodyConverterState

java.lang.Object

sootup.jimple.frontend.JimpleBodyConverterState

public class JimpleBodyConverterState
extends Object

Constructor Summary

Constructors

Constructor	Description
JimpleBodyConverterState(@NonNull Path path, @NonNull JimpleConverterUtil util, @NonNull ClassType clazz, @NonNull IdentifierFactory identifierFactory, @NonNull Map<BranchingStmt,List<String>> unresolvedBranches, @NonNull Map<String,Local> locals)

Method Summary

Modifier and Type	Method	Description
@NonNull ClassType	getClazz()
@NonNull IdentifierFactory	getIdentifierFactory()
@NonNull Local	getLocal(@NonNull String name)
@NonNull Map<String,Local>	getLocals()
@NonNull Path	getPath()
@NonNull Map<BranchingStmt,List<String>>	getUnresolvedBranches()
@NonNull JimpleConverterUtil	getUtil()

Methods inherited from class java.lang.Object

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

Constructor Details

JimpleBodyConverterState

public JimpleBodyConverterState(@NonNull Path path,
 @NonNull JimpleConverterUtil util,
 @NonNull ClassType clazz,
 @NonNull IdentifierFactory identifierFactory,
 @NonNull Map<BranchingStmt,List<String>> unresolvedBranches,
 @NonNull Map<String,Local> locals)

Method Details

getPath

public @NonNull Path getPath()

getUtil

public @NonNull JimpleConverterUtil getUtil()

getClazz

public @NonNull ClassType getClazz()

getIdentifierFactory

public @NonNull IdentifierFactory getIdentifierFactory()

getUnresolvedBranches

public @NonNull Map<BranchingStmt,List<String>> getUnresolvedBranches()

getLocals

public @NonNull Map<String,Local> getLocals()

getLocal

public @NonNull Local getLocal(@NonNull String name)