Package org.checkerframework.framework.type

Class HashcodeAtmVisitor

java.lang.Object

org.checkerframework.framework.type.visitor.AnnotatedTypeScanner<Void,Void>

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

org.checkerframework.framework.type.HashcodeAtmVisitor

All Implemented Interfaces:

AnnotatedTypeVisitor<Void,Void>

public class HashcodeAtmVisitor
extends SimpleAnnotatedTypeScanner<Void,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.

The visitor accumulates into a mutable int field rather than returning Integer through the scanner's reduce machinery. This avoids per-node Integer.valueOf boxing and the lambda dispatch through reduceFunction, which together accounted for roughly 2.5% of total CPU in profiling.

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, VISITED_NODES_EXPECTED_MAX_SIZE, visitedNodes

Constructor Summary

Constructors

Constructor	Description
HashcodeAtmVisitor()	Creates a HashcodeAtmVisitor.

Method Summary

Modifier and Type	Method	Description
int	compute(AnnotatedTypeMirror type)	Computes and returns the hash of type.
protected Void	defaultAction(AnnotatedTypeMirror type, Void v)	Hashes type using the underlying type and the primary annotation, accumulating into hash.
void	reset()	Reset the scanner to allow reuse of the same instance.

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, 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

compute

public int compute(AnnotatedTypeMirror type)

Computes and returns the hash of type.

Parameters:

type - the type to hash

Returns:

the hash code of type

reset

public void reset()

Description copied from class: AnnotatedTypeScanner

Reset the scanner to allow reuse of the same instance. Subclasses should override this method to clear their additional state; they must call the super implementation.

Overrides:

reset in class AnnotatedTypeScanner<Void,Void>

defaultAction

protected Void defaultAction(AnnotatedTypeMirror type,
 Void v)

Hashes type using the underlying type and the primary annotation, accumulating into hash. This method does not descend into component types (this occurs in the scan method).

Overrides:

defaultAction in class SimpleAnnotatedTypeScanner<Void,Void>

Parameters:

type - the type

v - unused

Returns:

unused