Package 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	Description
protected	Visited()

Method Summary

Modifier and Type	Method	Description
void	add(AnnotatedTypeMirror type1, AnnotatedTypeMirror type2, RETURN_TYPE ret)	Add a new pair to the history.
void	clear()
boolean	contains(AnnotatedTypeMirror type1, AnnotatedTypeMirror type2)
@Nullable 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 Details

Visited

protected Visited()

Method Details

clear

public void clear()

contains

public boolean contains(AnnotatedTypeMirror type1,
 AnnotatedTypeMirror type2)

getResult

public @Nullable RETURN_TYPE getResult(AnnotatedTypeMirror type1,
 AnnotatedTypeMirror type2)

add

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

Add a new pair to the history.

Parameters:

type1 - the first type

type2 - the second type

ret - the result