| Package | Description |
|---|---|
| com.ibm.wala.cfg |
This package provides control-flow graph utilities.
|
| com.ibm.wala.classLoader |
This package provides functionality related to class loading and
management of loaded classes.
|
| com.ibm.wala.ssa |
This package provides the WALA SSA IR.
|
| com.ibm.wala.util.ssa |
A set of classes facilitating the construction of synthetic methods.
|
| Modifier and Type | Method and Description |
|---|---|
void |
InducedCFG.BranchVisitor.visitGoto(SSAGotoInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSAGotoInstruction |
JavaLanguage.JavaInstructionFactory.GotoInstruction(int iindex,
int target) |
| Modifier and Type | Method and Description |
|---|---|
SSAGotoInstruction |
SSAInstructionFactory.GotoInstruction(int iindex,
int target) |
| Modifier and Type | Method and Description |
|---|---|
void |
SSAInstruction.IVisitor.visitGoto(SSAGotoInstruction instruction) |
void |
SSAInstruction.Visitor.visitGoto(SSAGotoInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
SSAGotoInstruction |
TypeSafeInstructionFactory.GotoInstruction(int iindex,
int target)
Unconditionally jump to a (non-Phi) Instruction.
|
Copyright © 2015. All rights reserved.