checkers.util
Class DependentTypes

java.lang.Object
  extended by checkers.util.DependentTypes

public class DependentTypes
extends Object


Constructor Summary
Constructor and Description
DependentTypes(ProcessingEnvironment env, CompilationUnitTree root)
           
 
Method Summary
Modifier and Type Method and Description
 void doSubsitution(Element symbol, AnnotatedTypeMirror type, AnnotatedTypeMirror receiver)
           
 void handle(Tree tree, AnnotatedTypeMirror type)
           
 void handleConstructor(NewClassTree tree, AnnotatedTypeMirror.AnnotatedExecutableType type)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DependentTypes

public DependentTypes(ProcessingEnvironment env,
                      CompilationUnitTree root)
Method Detail

doSubsitution

public void doSubsitution(Element symbol,
                          AnnotatedTypeMirror type,
                          AnnotatedTypeMirror receiver)

handle

public void handle(Tree tree,
                   AnnotatedTypeMirror type)

handleConstructor

public void handleConstructor(NewClassTree tree,
                              AnnotatedTypeMirror.AnnotatedExecutableType type)