org.checkerframework.framework.type

Class HashcodeAtmVisitor

java.lang.Object

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

org.checkerframework.framework.type.HashcodeAtmVisitor

All Implemented Interfaces:

AnnotatedTypeVisitor<Integer,Void>

public class HashcodeAtmVisitor
extends AnnotatedTypeScanner<Integer,Void>

Computes the hashcode of an AnnotatedTypeMirror using the underlying type and primary annotations of the type and its component type.

This class should be synchronized with EqualityAtmComparer.

See Also:

for more details.

This is used by AnnotatedTypeMirror.hashcode.

Field Summary

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

visitedNodes

Constructor Summary

Constructors

Constructor and Description
HashcodeAtmVisitor()

Method Summary

Modifier and Type	Method and Description
protected Integer	reduce(Integer hashcode1, Integer hashcode2) Used to combine the hashcodes of component types or a type and its component types
protected Integer	scan(AnnotatedTypeMirror type, Void v) Generates the hashcode of type and combines it with the hashcode of its component types (if any).

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

reset, scan, scanAndReduce, scanAndReduce, visit, visit, visitArray, visitDeclared, visitExecutable, visitIntersection, visitNoType, visitNull, visitPrimitive, visitTypeVariable, visitUnion, visitWildcard

Methods inherited from class java.lang.Object

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

Constructor Detail

HashcodeAtmVisitor

public HashcodeAtmVisitor()

Method Detail

scan

protected Integer scan(AnnotatedTypeMirror type,
                       Void v)

Generates the hashcode of type and combines it with the hashcode of its component types (if any).

Overrides:

scan in class AnnotatedTypeScanner<Integer,Void>

Returns:

the result of visiting type

reduce

protected Integer reduce(Integer hashcode1,
                         Integer hashcode2)

Used to combine the hashcodes of component types or a type and its component types

Overrides:

reduce in class AnnotatedTypeScanner<Integer,Void>