gov.nasa.jpf.vm

Interface NativeStateHolder

public interface NativeStateHolder

interface for native state components that are not visible to the serializer, i.e. are not stored in any form within static or instance fields or stackframes

Method Summary

Modifier and Type	Method and Description
int	getHash() this is called by serializers to compute the state hash

Method Detail

getHash

int getHash()

this is called by serializers to compute the state hash