org.checkerframework.framework.type

Class HashcodeAtmVisitor

java.lang.Object

org.checkerframework.framework.type.visitor.AnnotatedTypeScanner<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 AnnotatedTypeScanner<java.lang.Integer,java.lang.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 java.lang.Integer	reduce(java.lang.Integer hashcode1, java.lang.Integer hashcode2) Used to combine the hashcodes of component types or a type and its component types.
protected java.lang.Integer	scan(AnnotatedTypeMirror type, java.lang.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 java.lang.Integer scan(AnnotatedTypeMirror type,
                                 java.lang.Void v)

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

Overrides:

scan in class AnnotatedTypeScanner<java.lang.Integer,java.lang.Void>

Parameters:

type - type to scan

v - the parameter to use

Returns:

the result of visiting type

reduce

protected java.lang.Integer reduce(java.lang.Integer hashcode1,
                                   java.lang.Integer hashcode2)

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

Overrides:

reduce in class AnnotatedTypeScanner<java.lang.Integer,java.lang.Void>

Parameters:

hashcode1 - a result of scan

hashcode2 - a result of scan

Returns:

the combination of r1 and r2