public void OpenTokenSourceLocationsScope() { if (this.symWriter5 != null) this.symWriter5.OpenMapTokensToSourceSpans(); }