Class EquivalentAtmComboScanner.Visited
- java.lang.Object
-
- org.checkerframework.framework.type.visitor.EquivalentAtmComboScanner.Visited
-
- Enclosing class:
- EquivalentAtmComboScanner<RETURN_TYPE,PARAM>
protected class EquivalentAtmComboScanner.Visited extends java.lang.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
All Methods Instance Methods Concrete Methods 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)
-
-
-
Method Detail
-
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 typetype2
- the second typeret
- the result
-
-