| Package | Description |
|---|---|
| com.ibm.wala.analysis.typeInference |
This package provides intraprocedural type inference over the SSA form.
|
| Modifier and Type | Field and Description |
|---|---|
protected com.ibm.wala.fixpoint.AbstractOperator<TypeVariable> |
TypeInference.TypeOperatorFactory.result |
| Modifier and Type | Method and Description |
|---|---|
protected TypeVariable[] |
TypeInference.makeStmtRHS(int size) |
| Modifier and Type | Method and Description |
|---|---|
com.ibm.wala.fixpoint.AbstractOperator<TypeVariable> |
TypeInference.TypeOperatorFactory.get(SSAInstruction instruction) |
| Modifier and Type | Method and Description |
|---|---|
void |
TypeVariable.copyState(TypeVariable other) |
byte |
TypeInference.DeclaredTypeOperator.evaluate(TypeVariable lhs)
Note that we need evaluate this operator at most once
|
byte |
TypeInference.PrimitivePropagateOperator.evaluate(TypeVariable lhs,
TypeVariable[] rhs) |
byte |
TypeInference.PrimitivePropagateOperator.evaluate(TypeVariable lhs,
TypeVariable[] rhs) |
Copyright © 2015. All rights reserved.