uk.ac.manchester.cs.jfact.kernel

Class Restorer

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.Restorer

All Implemented Interfaces:

Serializable

@PortedFrom(file="tRestorer.h",
            name="TRestorer")
public abstract class Restorer
extends Object
implements Serializable

restorer

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Restorer()

Method Summary

Modifier and Type	Method and Description
int	getRaresavestackLevel()
abstract void	restore() restore an object based on saved information
void	setRaresavestackLevel(int raresavestackLevel) for accessing the level on TRareSaveStack

Methods inherited from class java.lang.Object

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

Constructor Detail

Restorer

public Restorer()

Method Detail

restore

@PortedFrom(file="tRestorer.h",
            name="restore")
public abstract void restore()

restore an object based on saved information

getRaresavestackLevel

@PortedFrom(file="tRestorer.h",
            name="getLevel")
public int getRaresavestackLevel()

Returns:

for accessing the level on TRareSaveStack

setRaresavestackLevel

@PortedFrom(file="tRestorer.h",
            name="setLevel")
public void setRaresavestackLevel(int raresavestackLevel)

for accessing the level on TRareSaveStack

Parameters:

raresavestackLevel - raresavestackLevel