public final class TypeUpdate
extends java.lang.Object
| Constructor and Description |
|---|
TypeUpdate(RootNode root) |
| Modifier and Type | Method and Description |
|---|---|
TypeUpdateResult |
apply(MethodNode mth,
SSAVar ssaVar,
ArgType candidateType)
Perform recursive type checking and type propagation for all related variables
|
TypeUpdateResult |
applyWithWiderAllow(MethodNode mth,
SSAVar ssaVar,
ArgType candidateType)
Allow wider types for apply from debug info and some special cases
|
TypeUpdateResult |
applyWithWiderIgnoreUnknown(MethodNode mth,
SSAVar ssaVar,
ArgType candidateType) |
TypeUpdateResult |
applyWithWiderIgnSame(MethodNode mth,
SSAVar ssaVar,
ArgType candidateType)
Force type setting
|
TypeCompare |
getTypeCompare() |
public TypeUpdate(RootNode root)
public TypeUpdateResult apply(MethodNode mth, SSAVar ssaVar, ArgType candidateType)
public TypeUpdateResult applyWithWiderAllow(MethodNode mth, SSAVar ssaVar, ArgType candidateType)
public TypeUpdateResult applyWithWiderIgnSame(MethodNode mth, SSAVar ssaVar, ArgType candidateType)
public TypeUpdateResult applyWithWiderIgnoreUnknown(MethodNode mth, SSAVar ssaVar, ArgType candidateType)
public TypeCompare getTypeCompare()