private void PushTok(AttributeSource t) { if (buffer == null) { buffer = new LinkedList<AttributeSource>(); } buffer.AddFirst(t); }