org.checkerframework.framework.util.typeinference.solver

Class TargetConstraints.Subtypes

java.lang.Object

org.checkerframework.framework.util.typeinference.solver.TargetConstraints.Subtypes

Enclosing class:

TargetConstraints

protected static class TargetConstraints.Subtypes
extends Object

Field Summary

Fields

Modifier and Type	Field and Description
AnnotationMirrorMap<AnnotationMirrorSet>	primaries
Map<TypeVariable,AnnotationMirrorSet>	targets
Map<AnnotatedTypeMirror,AnnotationMirrorSet>	types

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Subtypes()

Method Summary

Modifier and Type	Method and Description
void	clear()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

primaries

public AnnotationMirrorMap<AnnotationMirrorSet> primaries

types

public final Map<AnnotatedTypeMirror,AnnotationMirrorSet> types

targets

public final Map<TypeVariable,AnnotationMirrorSet> targets

Constructor Detail

Subtypes

protected Subtypes()

Method Detail

clear

public void clear()