gov.nasa.jpf.util

Class HashData

java.lang.Object

gov.nasa.jpf.util.HashData

public class HashData
extends java.lang.Object

object to compute complex hash values that can be accumulated and delegated (to aggregates etc.) used to obtain hashcodes for states

Constructor Summary

Constructors

Constructor and Description
HashData()

Method Summary

Modifier and Type	Method and Description
void	add(boolean b)
void	add(int value)
void	add(long value)
void	add(java.lang.Object o)
int	getValue()
void	reset()

Methods inherited from class java.lang.Object

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

Constructor Detail

HashData

public HashData()

Method Detail

reset

public void reset()

getValue

public int getValue()

add

public void add(int value)

add

public void add(long value)

add

public void add(java.lang.Object o)

add

public void add(boolean b)