public void InsertBefore(Token tok) { tok.RealPrevTok = this.RealPrev(); if (!this.RealPrev().IsBegin()) this.RealPrev().RealNextTok = tok; tok.RealNextTok = this; this.RealPrevTok = tok; }