---

TypeResolver Member List

This is the complete list of members for TypeResolver, including all inherited members.

• addRelationsBetweenHardNodes() (defined in TypeResolver) [inline, private]
• assignTypesToLocals(JimpleBody stmtBody) [inline, static]
• classHierarchy [private]
• collapseStronglyConnectedComponents() [inline, private]
• computeArrayDepths() (defined in TypeResolver) [inline, private]
• constraintCollector [private]
• currentMethod [private]
• debug() (defined in TypeResolver) [inline, private]
• DEBUG (defined in TypeResolver) [private, static]
• debug_locals() (defined in TypeResolver) [inline, private]
• error(String message) (defined in TypeResolver) [inline, private, static]
• getTypeVariable(ClassHierarchy.TypeNode typeNode) [inline, private]
• getTypeVariable(Local local) [inline, private]
• getTypeVariable(SootClass sClass) [inline, private]
• getTypeVariable(Type type) [inline, private]
• lastClass (defined in TypeResolver) [private, static]
• mergeAll(TypeVariable var) [inline, private]
• mergeBaseTypeArrays() (defined in TypeResolver) [inline, private]
• new_relation [private]
• propagateArrayConstraints() [inline, private]
• propagateConstrains() (defined in TypeResolver) [inline, private]
• removeIndirectRelations() [inline, private]
• removeRelationsBetweenNonEcrs() (defined in TypeResolver) [inline, private]
• resolveComplexRelations() [inline, private]
• resolveSingleRelations() [inline, private]
• stmtBody (defined in TypeResolver) [private]
• TypeResolver(JimpleBody stmtBody) [inline, private]
• typeVariableHashtable [private]
• typeVariableInstances [private]
• typeVariableStringHashtable [private]
• unresolvedTypeVariables [private]

---