public class ATNDeserializationOptions
extends java.lang.Object
Constructor and Description |
---|
ATNDeserializationOptions() |
ATNDeserializationOptions(ATNDeserializationOptions options) |
Modifier and Type | Method and Description |
---|---|
static ATNDeserializationOptions |
getDefaultOptions() |
boolean |
isGenerateRuleBypassTransitions() |
boolean |
isReadOnly() |
boolean |
isVerifyATN() |
void |
makeReadOnly() |
void |
setGenerateRuleBypassTransitions(boolean generateRuleBypassTransitions) |
void |
setVerifyATN(boolean verifyATN) |
protected void |
throwIfReadOnly() |
public ATNDeserializationOptions()
public ATNDeserializationOptions(ATNDeserializationOptions options)
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)
protected void throwIfReadOnly()