Package org.checkerframework.framework.type

Class HashcodeAtmVisitor

java.lang.Object

org.checkerframework.framework.type.visitor.AnnotatedTypeScanner<R,P>

org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeScanner<Integer,Void>

org.checkerframework.framework.type.HashcodeAtmVisitor

All Implemented Interfaces:

AnnotatedTypeVisitor<Integer,Void>

public class HashcodeAtmVisitor
extends SimpleAnnotatedTypeScanner<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:

• for more details.

  This is used by AnnotatedTypeMirror.hashcode.

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 a HashcodeAtmVisitor.

Method Summary

Modifier and Type	Method	Description
protected Integer	defaultAction(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, visitWildcard

Methods inherited from class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner

reduce, reset, scan, scan, scanAndReduce, scanAndReduce, visit, visit, visitIntersection, visitUnion

Methods inherited from class java.lang.Object

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

Constructor Details

HashcodeAtmVisitor

public HashcodeAtmVisitor()

Creates a HashcodeAtmVisitor.

Method Details

defaultAction

protected Integer defaultAction(AnnotatedTypeMirror type,
 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 class SimpleAnnotatedTypeScanner<Integer,Void>

Parameters:

type - the type

v - a visitor-specified parameter

Returns:

a visitor-specified result