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.

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()	Clears the history.
boolean	contains(AnnotatedTypeMirror type1, AnnotatedTypeMirror type2)
@Nullable RETURN_TYPE	getResult(AnnotatedTypeMirror type1, AnnotatedTypeMirror type2)
boolean	isEmpty()	Returns true if no pairs have been recorded.

Methods inherited from class java.lang.Object

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

Method Details

isEmpty

public boolean isEmpty()

Returns true if no pairs have been recorded.

Returns:

true if no pairs have been recorded

clear

public void clear()

Clears the history.

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