public virtual void SetContextSensitive(ATN atn) { System.Diagnostics.Debug.Assert(!configs.IsOutermostConfigSet); if (IsContextSensitive) { return; } lock (this) { if (contextSymbols == null) { contextSymbols = new BitSet(); } } }