uk.ac.ed.ph.snuggletex

类 SnuggleSnapshot

java.lang.Object

uk.ac.ed.ph.snuggletex.SnuggleSnapshot

public final class SnuggleSnapshot
extends java.lang.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.

方法概要

限定符和类型	方法和说明
SnuggleSession	createSession() Creates a new SnuggleSession with exactly the same state as the SnuggleSession that created this SnuggleSnapshot.

从类继承的方法 java.lang.Object

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

方法详细资料

createSession

public SnuggleSession createSession()

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