# Class: com.pnfsoftware.jeb.core.units.code.android.ir.DTypeInfo

Type information object used to collect typing results when propagating types through an SSA'ed IR.

## Constructor: DTypeInfo
- parameter: `ctx`, type: `com.pnfsoftware.jeb.core.units.code.android.ir.IDMethodContext`


## Method: getChangedCounter
- return type: `int`


## Method: getConflicts
- return type: `java.util.List<com.pnfsoftware.jeb.core.units.code.android.ir.DTypeInfo.TypingConlict>`


## Method: getContext
- return type: `com.pnfsoftware.jeb.core.units.code.android.ir.IDMethodContext`

Description: 
return: retrieve the IR context in which the type propagation will take place

## Method: getTypeFactory
- return type: `com.pnfsoftware.jeb.core.units.code.java.IJavaTypeFactory`


## Method: getUnchangedCounter
- return type: `int`


## Method: getVariableCandidateTypes
- parameter: `varid`, type: `int`
- return type: `java.util.Set<com.pnfsoftware.jeb.core.units.code.java.IJavaType>`


## Method: getVariableCandidateTypes
- return type: `java.util.Map<java.lang.Integer,java.util.Set<com.pnfsoftware.jeb.core.units.code.java.IJavaType>>`


## Method: recordChanged
- return type: `int`


## Method: recordConflict
- parameter: `msg`, type: `java.lang.String`
- parameter: `exp`, type: `com.pnfsoftware.jeb.core.units.code.android.ir.IDExpression`
- parameter: `currentType`, type: `com.pnfsoftware.jeb.core.units.code.java.IJavaType`
- parameter: `wantedType`, type: `com.pnfsoftware.jeb.core.units.code.java.IJavaType`


## Method: recordUnchanged
- return type: `int`


## Method: recordVariableCandidateType
- parameter: `varid`, type: `int`
- parameter: `t`, type: `com.pnfsoftware.jeb.core.units.code.java.IJavaType`


## Method: reset


## Method: resetCounters


## Method: toString
- return type: `java.lang.String`


