randoop.main

Class OptionsCache

java.lang.Object

randoop.main.OptionsCache

public class OptionsCache
extends java.lang.Object

Manages the static state of Randoop classes with Options annotations.

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.List<StaticCache>	cacheList The list of caches for classes with Options annotations.

Constructor Summary

Constructors

Constructor and Description
OptionsCache() Creates an object for caching the state of command-line arguments.

Method Summary

Modifier and Type	Method and Description
void	printState() Prints the saved state of all command-line arguments.
void	restoreState() Restores the previously saved state of the command-line arguments.
void	saveState() Saves the state of all command-line arguments.

Methods inherited from class java.lang.Object

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

Field Detail

cacheList

private final java.util.List<StaticCache> cacheList

The list of caches for classes with Options annotations.

Constructor Detail

OptionsCache

public OptionsCache()

Creates an object for caching the state of command-line arguments.

Method Detail

printState

public void printState()

Prints the saved state of all command-line arguments.

saveState

public void saveState()

Saves the state of all command-line arguments.

restoreState

public void restoreState()

Restores the previously saved state of the command-line arguments.