public class ATNDeserializationOptions extends Object
| Constructor and Description |
|---|
ATNDeserializationOptions() |
ATNDeserializationOptions(ATNDeserializationOptions options) |
| Modifier and Type | Method and Description |
|---|---|
static ATNDeserializationOptions |
getDefaultOptions() |
boolean |
isGenerateRuleBypassTransitions() |
boolean |
isOptimize() |
boolean |
isReadOnly() |
boolean |
isVerifyATN() |
void |
makeReadOnly() |
void |
setGenerateRuleBypassTransitions(boolean generateRuleBypassTransitions) |
void |
setOptimize(boolean optimize) |
void |
setVerifyATN(boolean verifyATN) |
protected void |
throwIfReadOnly() |
public ATNDeserializationOptions()
public ATNDeserializationOptions(ATNDeserializationOptions options)
@NotNull public static ATNDeserializationOptions getDefaultOptions()
public final boolean isReadOnly()
public final void makeReadOnly()
public final boolean isVerifyATN()
public final void setVerifyATN(boolean verifyATN)
public final boolean isGenerateRuleBypassTransitions()
public final void setGenerateRuleBypassTransitions(boolean generateRuleBypassTransitions)
public final boolean isOptimize()
public final void setOptimize(boolean optimize)
protected void throwIfReadOnly()
Copyright © 1992–2024 Daniel Sun. All rights reserved.