gov.nasa.jpf.vm.serialize

Interface Abstraction

All Known Implementing Classes:

AbstractionAdapter

public interface Abstraction

interface to abstract concrete primitive values for the sake of state matching

Method Summary

Modifier and Type	Method and Description
int	getAbstractObject(int ref)
int	getAbstractValue(double v)
int	getAbstractValue(float v)
int	getAbstractValue(int v)
int	getAbstractValue(long v)
boolean	traverseObject(int ref)

Method Detail

getAbstractValue

int getAbstractValue(int v)

getAbstractValue

int getAbstractValue(float v)

getAbstractValue

int getAbstractValue(long v)

getAbstractValue

int getAbstractValue(double v)

getAbstractObject

int getAbstractObject(int ref)

traverseObject

boolean traverseObject(int ref)