public class DependentTypes
extends java.lang.Object
Constructor and Description |
---|
DependentTypes(BaseTypeChecker checker,
GeneralAnnotatedTypeFactory atypeFactory) |
Modifier and Type | Method and Description |
---|---|
void |
doSubsitution(javax.lang.model.element.Element symbol,
AnnotatedTypeMirror type,
AnnotatedTypeMirror receiver) |
void |
handle(com.sun.source.tree.Tree tree,
AnnotatedTypeMirror type) |
void |
handleConstructor(com.sun.source.tree.NewClassTree tree,
AnnotatedTypeMirror ctr,
AnnotatedTypeMirror.AnnotatedExecutableType type) |
public DependentTypes(BaseTypeChecker checker, GeneralAnnotatedTypeFactory atypeFactory)
public void doSubsitution(javax.lang.model.element.Element symbol, AnnotatedTypeMirror type, AnnotatedTypeMirror receiver)
public void handle(com.sun.source.tree.Tree tree, AnnotatedTypeMirror type)
public void handleConstructor(com.sun.source.tree.NewClassTree tree, AnnotatedTypeMirror ctr, AnnotatedTypeMirror.AnnotatedExecutableType type)