public final class SessionConfiguration extends Object implements Cloneable
SnuggleSession should parse and process
SnuggleInputs.| Modifier and Type | Field and Description |
|---|---|
static int |
DEFAULT_EXPANSION_LIMIT |
| Constructor and Description |
|---|
SessionConfiguration() |
| Modifier and Type | Method and Description |
|---|---|
Object |
clone() |
int |
getExpansionLimit()
Gets the maximum depth when expanding out user-defined commands and environments.
|
NumberMatcher |
getNumberMatcher()
Gets the
NumberMatcher used to identify numbers in Math mode input. |
boolean |
isFailingFast()
Returns whether or not the
SnuggleSession will fail immediately on error, or
keep going. |
void |
setExpansionLimit(int expansionLimit)
Sets the maximum depth when expanding out user-defined commands and environments.
|
void |
setFailingFast(boolean failingFast)
Sets whether or not the
SnuggleSession will fail immediately on error, or
keep going. |
void |
setNumberMatcher(NumberMatcher numberMatcher)
Sets the
NumberMatcher used to identify numbers in Math mode input. |
String |
toString() |
public static final int DEFAULT_EXPANSION_LIMIT
public boolean isFailingFast()
SnuggleSession will fail immediately on error, or
keep going.public void setFailingFast(boolean failingFast)
SnuggleSession will fail immediately on error, or
keep going.failingFast - true to fail immediately, false to keep goingpublic int getExpansionLimit()
The default value is DEFAULT_EXPANSION_LIMIT.
Set this to 0 or less to disable this safeguard (and risk possible consequences,
such as the stack or heap being eaten up).
Evaluating a user-defined command body, or the begin/end clause of an environment increases the current depth by 1.
public void setExpansionLimit(int expansionLimit)
The default value is DEFAULT_EXPANSION_LIMIT.
Set this to 0 or less to disable this safeguard (and risk possible consequences,
such as the stack or heap being eaten up).
Evaluating a user-defined command body, or the begin/end clause of an environment increases the current depth by 1.
public NumberMatcher getNumberMatcher()
NumberMatcher used to identify numbers in Math mode input.
Returns null if a default SimpleNumberMatcher is being used.public void setNumberMatcher(NumberMatcher numberMatcher)
NumberMatcher used to identify numbers in Math mode input.
This may be null, which results in a default SimpleNumberMatcher being used.
Copyright © 2008–2026 The University of Edinburgh. All rights reserved.