public class LoopAndroidModel extends SingleStartAndroidModel
body, entryPoints, insts, paramManager| Constructor and Description |
|---|
LoopAndroidModel(com.ibm.wala.ipa.summaries.VolatileMethodSummary body,
com.ibm.wala.util.ssa.TypeSafeInstructionFactory insts,
com.ibm.wala.util.ssa.SSAValueManager paramManager,
Iterable<? extends com.ibm.wala.ipa.callgraph.Entrypoint> entryPoints) |
| Modifier and Type | Method and Description |
|---|---|
protected int |
enterAFTER_LOOP(int PC)
Loops to START_OF_LOOP.
|
protected int |
enterSTART_OF_LOOP(int PC)
Prepares the PC to get looped to.
|
protected int |
leaveAT_LAST(int PC)
Does not insert any special handling.
|
enterEND_OF_LOOP, enterMULTIPLE_TIMES_IN_LOOPenter, enterAT_FIRST, enterAT_LAST, enterBEFORE_LOOP, enterMIDDLE_OF_LOOP, finish, hadSectionSwitch, returnTypesBetweenpublic LoopAndroidModel(com.ibm.wala.ipa.summaries.VolatileMethodSummary body,
com.ibm.wala.util.ssa.TypeSafeInstructionFactory insts,
com.ibm.wala.util.ssa.SSAValueManager paramManager,
Iterable<? extends com.ibm.wala.ipa.callgraph.Entrypoint> entryPoints)
body - The MethodSummary to add instructions toinsts - Will be used to generate the instructionsprotected int enterSTART_OF_LOOP(int PC)
enter(ExecutionOrder.START_OF_LOOP, int) instead
Sideeffects: currentSection is updated, instructions are inserted into the bodyenterSTART_OF_LOOP in class AbstractAndroidModelPC - Program Counter instructions shall be placed at. In most cases
you'll simply pass body.getNextProgramCounter()protected int enterAFTER_LOOP(int PC)
enter(ExecutionOrder.AFTER_LOOP, int) instead
Sideeffects: currentSection is updated, instructions are inserted into the bodyenterAFTER_LOOP in class AbstractAndroidModelPC - Program Counter instructions shall be placed at. In most cases
you'll simply pass body.getNextProgramCounter()protected int leaveAT_LAST(int PC)
AbstractAndroidModel.finish(int) instead
Sideeffects: instructions are inserted into the bodyleaveAT_LAST in class AbstractAndroidModelPC - Program Counter instructions shall be placed at. In most cases
you'll simply pass body.getNextProgramCounter()Copyright © 2019. All rights reserved.