checkers.util
Class DependentTypes

java.lang.Object
  checkers.util.DependentTypes

public class DependentTypes
extends Object

Constructor Summary

DependentTypes(ProcessingEnvironment env, CompilationUnitTree root)

Method Summary

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)