Package org.checkerframework.framework.util.typeinference.solver

Class TargetConstraints.Supertypes

java.lang.Object

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

Enclosing class:

TargetConstraints

protected static class TargetConstraints.Supertypes
extends Object

Field Summary

Fields

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

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	Supertypes()

Method Summary

Modifier and Type	Method	Description
void	clear()

Methods inherited from class java.lang.Object

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

Field Details

primaries

public AnnotationMirrorMap<AnnotationMirrorSet> primaries

types

public final Map<AnnotatedTypeMirror,AnnotationMirrorSet> types

targets

public final Map<TypeVariable,AnnotationMirrorSet> targets

Constructor Details

Supertypes

protected Supertypes()

Method Details

clear

public void clear()