uk.ac.ed.ph.snuggletex

Class SnuggleSnapshot

java.lang.Object

uk.ac.ed.ph.snuggletex.SnuggleSnapshot

public final class SnuggleSnapshot
extends Object

A partial result of parsing one or more SnuggleInputs by a SnuggleSession, created via SnuggleSession.createSnapshot().

By calling createSession(), a new SnuggleSession with exactly the same state as this snapshot is created, which can then be used further.

Clients might want to use this if they always need to read in some local/configuration SnuggleInputs as it allows the results of these configurations to be reused without requiring re-parsing.

Version:

$Revision:179 $

Author:

David McKain

Method Summary

Modifier and Type	Method and Description
SnuggleSession	createSession() Creates a new SnuggleSession with exactly the same state as the SnuggleSession that created this SnuggleSnapshot.

Methods inherited from class java.lang.Object

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

Method Detail

createSession

public SnuggleSession createSession()

Creates a new SnuggleSession with exactly the same state as the SnuggleSession that created this SnuggleSnapshot.