Package com.pnfsoftware.jeb.core.units.code.android.ir

Class DTypeInfo

java.lang.Object

com.pnfsoftware.jeb.core.units.code.android.ir.DTypeInfo

public class DTypeInfo
extends Object

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

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	DTypeInfo.TypingConlict	Details about a typing conflict.

Constructor Summary

Constructors

Constructor	Description
DTypeInfo(IDMethodContext ctx)

Method Summary

Modifier and Type	Method	Description
int	getChangedCounter()
List<DTypeInfo.TypingConlict>	getConflicts()
IDMethodContext	getContext()
IJavaTypeFactory	getTypeFactory()
int	getUnchangedCounter()
int	recordChanged()
void	recordConflict(String msg, IDExpression exp, IJavaType currentType, IJavaType wantedType)
int	recordUnchanged()
void	reset()
void	resetCounters()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

DTypeInfo

public DTypeInfo(IDMethodContext ctx)

Method Details

getContext

public IDMethodContext getContext()

Returns:

retrieve the IR context in which the type propagation will take place

getTypeFactory

public IJavaTypeFactory getTypeFactory()

recordConflict

public void recordConflict(String msg,
 IDExpression exp,
 IJavaType currentType,
 IJavaType wantedType)

resetCounters

public void resetCounters()

reset

public void reset()

recordChanged

public int recordChanged()

getChangedCounter

public int getChangedCounter()

recordUnchanged

public int recordUnchanged()

getUnchangedCounter

public int getUnchangedCounter()

getConflicts

public List<DTypeInfo.TypingConlict> getConflicts()

toString

public String toString()

Overrides:

toString in class Object