Class JDTTypeDictionary

java.lang.Object
com.ibm.wala.cast.tree.impl.CAstTypeDictionaryImpl<org.eclipse.jdt.core.dom.ITypeBinding>
com.ibm.wala.cast.java.translator.jdt.JDTTypeDictionary
All Implemented Interfaces:
CAstTypeDictionary, Iterable<CAstType>

public class JDTTypeDictionary extends CAstTypeDictionaryImpl<org.eclipse.jdt.core.dom.ITypeBinding>
  • Field Details

    • fAst

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

      protected final JDTIdentityMapper fIdentityMapper
  • Constructor Details

    • JDTTypeDictionary

      public JDTTypeDictionary(org.eclipse.jdt.core.dom.AST ast, JDTIdentityMapper identityMapper)
      Parameters:
      ast - Needed to get root type "java.lang.Object"
  • Method Details