| # Copyright (c) 2012-2017 The ANTLR Project. All rights reserved. | |
| # Use of this file is governed by the BSD 3-clause license that | |
| # can be found in the LICENSE.txt file in the project root. | |
| # need a forward declaration | |
| ATNDeserializationOptions = None | |
| class ATNDeserializationOptions(object): | |
| defaultOptions = None | |
| def __init__(self, copyFrom:ATNDeserializationOptions = None): | |
| self.readOnly = False | |
| self.verifyATN = True if copyFrom is None else copyFrom.verifyATN | |
| self.generateRuleBypassTransitions = False if copyFrom is None else copyFrom.generateRuleBypassTransitions | |
| def __setattr__(self, key, value): | |
| if key!="readOnly" and self.readOnly: | |
| raise Exception("The object is read only.") | |
| super(type(self), self).__setattr__(key,value) | |
| ATNDeserializationOptions.defaultOptions = ATNDeserializationOptions() | |
| ATNDeserializationOptions.defaultOptions.readOnly = True | |