org.checkerframework.framework.util

Class DependentTypes

java.lang.Object

org.checkerframework.framework.util.DependentTypes

public class DependentTypes
extends Object

Constructor Summary

Constructors

Constructor and Description
DependentTypes(BaseTypeChecker checker, GeneralAnnotatedTypeFactory atypeFactory)

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 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(BaseTypeChecker checker,
                      GeneralAnnotatedTypeFactory atypeFactory)

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 ctr,
                              AnnotatedTypeMirror.AnnotatedExecutableType type)