Class HashcodeAtmVisitor
- java.lang.Object
-
- org.checkerframework.framework.type.visitor.AnnotatedTypeScanner<R,P>
-
- org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeScanner<java.lang.Integer,java.lang.Void>
-
- org.checkerframework.framework.type.HashcodeAtmVisitor
-
- All Implemented Interfaces:
AnnotatedTypeVisitor<java.lang.Integer,java.lang.Void>
public class HashcodeAtmVisitor extends SimpleAnnotatedTypeScanner<java.lang.Integer,java.lang.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.
-
-
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
defaultAction
-
Fields inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner
defaultResult, reduceFunction, visitedNodes
-
-
Constructor Summary
Constructors Constructor Description HashcodeAtmVisitor()
Creates aHashcodeAtmVisitor
.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected java.lang.Integer
defaultAction(AnnotatedTypeMirror type, java.lang.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, visitWildcard
-
Methods inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner
reduce, reset, scan, scan, scanAndReduce, scanAndReduce, visit, visit, visitIntersection, visitUnion
-
-
-
-
Constructor Detail
-
HashcodeAtmVisitor
public HashcodeAtmVisitor()
Creates aHashcodeAtmVisitor
.
-
-
Method Detail
-
defaultAction
protected java.lang.Integer defaultAction(AnnotatedTypeMirror type, java.lang.Void v)
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:
defaultAction
in classSimpleAnnotatedTypeScanner<java.lang.Integer,java.lang.Void>
- Parameters:
type
- the typev
- a visitor-specified parameter- Returns:
- a visitor-specified result
-
-