checkers.util

Class DependentTypes

@NonNull java.lang.Object

checkers.util.DependentTypes

public class DependentTypes
extends @NonNull Object

Constructor Summary

Constructors

Constructor and Description
DependentTypes(SourceChecker checker, @Nullable CompilationUnitTree root)

Method Summary

Methods

Modifier and Type	Method and Description
void	doSubsitution(@Nullable Element symbol, @Mutable AnnotatedTypeMirror type, @Mutable AnnotatedTypeMirror receiver)
void	handle(@Nullable Tree tree, @Mutable AnnotatedTypeMirror type)
void	handleConstructor(NewClassTree tree, @Mutable AnnotatedTypeMirror ctr, 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(SourceChecker checker,
              @Nullable CompilationUnitTree root)

Method Detail

doSubsitution

public void doSubsitution(@Nullable Element symbol,
                 @Mutable AnnotatedTypeMirror type,
                 @Mutable AnnotatedTypeMirror receiver)

handle

public void handle(@Nullable Tree tree,
          @Mutable AnnotatedTypeMirror type)

handleConstructor

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