com.ibm.wala.cast.java.translator.jdt

Class JDTTypeDictionary

java.lang.Object

com.ibm.wala.cast.tree.impl.CAstTypeDictionaryImpl

com.ibm.wala.cast.java.translator.jdt.JDTTypeDictionary

All Implemented Interfaces:

com.ibm.wala.cast.tree.CAstTypeDictionary, Iterable

public class JDTTypeDictionary
extends com.ibm.wala.cast.tree.impl.CAstTypeDictionaryImpl

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	JDTTypeDictionary.JdtJavaType

Field Summary

Fields

Modifier and Type	Field and Description
protected org.eclipse.jdt.core.dom.AST	fAst
protected JDTIdentityMapper	fIdentityMapper

Fields inherited from class com.ibm.wala.cast.tree.impl.CAstTypeDictionaryImpl

fMap

Constructor Summary

Constructors

Constructor and Description
JDTTypeDictionary(org.eclipse.jdt.core.dom.AST ast, JDTIdentityMapper identityMapper)

Method Summary

Methods

Modifier and Type	Method and Description
com.ibm.wala.cast.tree.CAstType	getCAstTypeFor(Object astType)

Methods inherited from class com.ibm.wala.cast.tree.impl.CAstTypeDictionaryImpl

iterator, map, resolveReference

Methods inherited from class java.lang.Object

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

Field Detail

fAst

protected final org.eclipse.jdt.core.dom.AST fAst

fIdentityMapper

protected final JDTIdentityMapper fIdentityMapper

Constructor Detail

JDTTypeDictionary

public JDTTypeDictionary(org.eclipse.jdt.core.dom.AST ast,
                 JDTIdentityMapper identityMapper)

Parameters:

ast - Needed to get root type "java.lang.Object"

Method Detail

getCAstTypeFor

public com.ibm.wala.cast.tree.CAstType getCAstTypeFor(Object astType)

Specified by:

getCAstTypeFor in interface com.ibm.wala.cast.tree.CAstTypeDictionary

Overrides:

getCAstTypeFor in class com.ibm.wala.cast.tree.impl.CAstTypeDictionaryImpl