Class HashcodeAtmVisitor
java.lang.Object
org.checkerframework.framework.type.visitor.AnnotatedTypeScanner<Integer,Void>
org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeScanner<Integer,Void>
org.checkerframework.framework.type.HashcodeAtmVisitor
- All Implemented Interfaces:
AnnotatedTypeVisitor<Integer,Void>
Computes the hashcode of an AnnotatedTypeMirror using the underlying type and primary annotations
and the hash code of component types of AnnotatedTypeMirror.
This class should be synchronized with EqualityAtmComparer.
- See Also:
-
Nested Class Summary
Nested classes/interfaces inherited from class org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeScanner
SimpleAnnotatedTypeScanner.DefaultAction<R,P> Nested classes/interfaces inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner
AnnotatedTypeScanner.Reduce<R> -
Field Summary
Fields inherited from class org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeScanner
defaultActionFields inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner
defaultResult, reduceFunction, visitedNodes -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprotected IntegerdefaultAction(AnnotatedTypeMirror type, Void v) Generates hashcode for type using the underlying type and the primary annotation.Methods inherited from class org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeScanner
visitArray, visitDeclared, visitExecutable, visitNoType, visitNull, visitPrimitive, visitTypeVariable, visitWildcardMethods inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner
reduce, reset, scan, scan, scanAndReduce, scanAndReduce, visit, visit, visitIntersection, visitUnion
-
Constructor Details
-
HashcodeAtmVisitor
public HashcodeAtmVisitor()Creates aHashcodeAtmVisitor.
-
-
Method Details
-
defaultAction
Generates hashcode for type using the underlying type and the primary annotation. This method does not descend into component types (this occurs in the scan method)- Overrides:
defaultActionin classSimpleAnnotatedTypeScanner<Integer,Void> - Parameters:
type- the typev- a visitor-specified parameter- Returns:
- a visitor-specified result
-