org.checkerframework.framework.type

Class StructuralEqualityVisitHistory

java.lang.Object

org.checkerframework.framework.type.StructuralEqualityVisitHistory

public class StructuralEqualityVisitHistory
extends Object

Stores the result of StructuralEqualityComparer for type arguments.

This is similar to SubtypeVisitHistory, but both true and false results are stored.

Constructor Summary

Constructors

Constructor and Description
StructuralEqualityVisitHistory() Creates an empty StructuralEqualityVisitHistory.

Method Summary

Modifier and Type	Method and Description
void	add(AnnotatedTypeMirror type1, AnnotatedTypeMirror type2, AnnotationMirror hierarchy, boolean result) Add result of comparing type1 and type2 for structural equality for the given hierarchy.
@Nullable Boolean	result(AnnotatedTypeMirror type1, AnnotatedTypeMirror type2, AnnotationMirror hierarchy) Return whether or not the two types are structurally equal for the given hierarchy or null if no result exists for the types.

Methods inherited from class java.lang.Object

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

Constructor Detail

StructuralEqualityVisitHistory

public StructuralEqualityVisitHistory()

Creates an empty StructuralEqualityVisitHistory.

Method Detail

add

public void add(AnnotatedTypeMirror type1,
                AnnotatedTypeMirror type2,
                AnnotationMirror hierarchy,
                boolean result)

Add result of comparing type1 and type2 for structural equality for the given hierarchy.

result

public @Nullable Boolean result(AnnotatedTypeMirror type1,
                                AnnotatedTypeMirror type2,
                                AnnotationMirror hierarchy)

Return whether or not the two types are structurally equal for the given hierarchy or null if no result exists for the types.