public final class SessionConfiguration
extends java.lang.Object
implements java.lang.Cloneable
SnuggleSession should parse and process
SnuggleInputs.| 限定符和类型 | 字段和说明 |
|---|---|
static int |
DEFAULT_EXPANSION_LIMIT |
| 构造器和说明 |
|---|
SessionConfiguration() |
| 限定符和类型 | 方法和说明 |
|---|---|
java.lang.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. |
java.lang.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.
public java.lang.Object clone()
clone 在类中 java.lang.Objectpublic java.lang.String toString()
toString 在类中 java.lang.Object