gov.nasa.jpf.vm.serialize

Class AbstractionAdapter

java.lang.Object

gov.nasa.jpf.vm.serialize.AbstractionAdapter

All Implemented Interfaces:

Abstraction

public class AbstractionAdapter
extends java.lang.Object
implements Abstraction

(mostly) pass-through Abstraction

Constructor Summary

Constructors

Constructor and Description
AbstractionAdapter()

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)

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractionAdapter

public AbstractionAdapter()

Method Detail

getAbstractValue

public int getAbstractValue(int v)

Specified by:

getAbstractValue in interface Abstraction

getAbstractValue

public int getAbstractValue(float v)

Specified by:

getAbstractValue in interface Abstraction

getAbstractValue

public int getAbstractValue(long v)

Specified by:

getAbstractValue in interface Abstraction

getAbstractValue

public int getAbstractValue(double v)

Specified by:

getAbstractValue in interface Abstraction

getAbstractObject

public int getAbstractObject(int ref)

Specified by:

getAbstractObject in interface Abstraction

traverseObject

public boolean traverseObject(int ref)

Specified by:

traverseObject in interface Abstraction