public void OpenSourceFile(string path) { if (unreadLines.Count > 0) { throw new InvalidOperationException(); } PrimitiveStream newData = new PrimitiveStream(new StreamReader(path)); positions.Push(newData); }