org.checkerframework.framework.type.visitor

Class EquivalentAtmComboScanner.Visited

java.lang.Object

org.checkerframework.framework.type.visitor.EquivalentAtmComboScanner.Visited

Enclosing class:

EquivalentAtmComboScanner<RETURN_TYPE,PARAM>

protected class EquivalentAtmComboScanner.Visited
extends Object

A history of type pairs that have already been visited and the return type of their visit.

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	Visited()

Method Summary

Modifier and Type	Method and Description
void	add(AnnotatedTypeMirror type1, AnnotatedTypeMirror type2, RETURN_TYPE ret)
void	clear()
boolean	contains(AnnotatedTypeMirror type1, AnnotatedTypeMirror type2)
RETURN_TYPE	getResult(AnnotatedTypeMirror type1, AnnotatedTypeMirror type2)

Methods inherited from class java.lang.Object

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

Constructor Detail

Visited

protected Visited()

Method Detail

clear

public void clear()

contains

public boolean contains(AnnotatedTypeMirror type1,
                        AnnotatedTypeMirror type2)

getResult

public RETURN_TYPE getResult(AnnotatedTypeMirror type1,
                             AnnotatedTypeMirror type2)

add

public void add(AnnotatedTypeMirror type1,
                AnnotatedTypeMirror type2,
                RETURN_TYPE ret)