grammarscope.persist

Class Persist

java.lang.Object

grammarscope.persist.Persist

public final class Persist
extends java.lang.Object

Persist

Author:

Bernard Bou

Field Summary

Fields

Modifier and Type	Field and Description
private static char[]	hexDigit A table of hex digits

Constructor Summary

Constructors

Modifier	Constructor and Description
private	Persist()

Method Summary

Modifier and Type	Method and Description
static java.lang.String	getDefaultPath(java.lang.String persistMoniker) Get default persist file
static java.util.Properties	loadSettings(java.lang.String filePath) Load properties from file
static java.util.Properties	makeSettings(java.lang.String persistFile) Obtain settings (handles initial state)
private static java.lang.String	saveConvert(java.lang.String str, boolean escapeSpace, boolean escapeUnicode)
static boolean	saveSettings(java.lang.String filePath, java.util.Properties settings) Save persist data
private static void	store(java.util.Properties properties, java.io.OutputStream out, java.lang.String comments)
private static char	toHex(int nibble) Convert a nibble to a hex character

Methods inherited from class java.lang.Object

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

Field Detail

hexDigit

private static final char[] hexDigit

A table of hex digits

Constructor Detail

Persist

private Persist()

Method Detail

makeSettings

public static java.util.Properties makeSettings(java.lang.String persistFile)

Obtain settings (handles initial state)

Parameters:

persistFile - persist file

Returns:

properties

loadSettings

public static java.util.Properties loadSettings(java.lang.String filePath)

Load properties from file

Parameters:

filePath - persist file

Returns:

properties

saveSettings

public static boolean saveSettings(java.lang.String filePath,
                                   java.util.Properties settings)

Save persist data

Parameters:

filePath - persist file

settings - settings to persist

Returns:

true if successful

store

private static void store(java.util.Properties properties,
                          java.io.OutputStream out,
                          java.lang.String comments)
                   throws java.io.IOException

Throws:

java.io.IOException

saveConvert

private static java.lang.String saveConvert(java.lang.String str,
                                            boolean escapeSpace,
                                            boolean escapeUnicode)

toHex

private static char toHex(int nibble)

Convert a nibble to a hex character

Parameters:

nibble - the nibble to convert.

getDefaultPath

public static java.lang.String getDefaultPath(java.lang.String persistMoniker)

Get default persist file

Parameters:

persistMoniker - persist moniker

Returns:

path to persist file