public class


extends Object

Class Overview

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


Nested Classes
class DTypeInfo.TypingConlict Details about a typing conflict. 
Public Constructors
DTypeInfo(IDMethodContext ctx)
Public Methods
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()
Inherited Methods
From class java.lang.Object

Public Constructors

public DTypeInfo (IDMethodContext ctx)

Public Methods

public int getChangedCounter ()

public List<DTypeInfo.TypingConlict> getConflicts ()

public IDMethodContext getContext ()

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

public IJavaTypeFactory getTypeFactory ()

public int getUnchangedCounter ()

public int recordChanged ()

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

public int recordUnchanged ()

public void reset ()

public void resetCounters ()

public String toString ()