التراجع

تُنفَّذ عملية التراجع الخطي باستخدام مكدس ( بنية بيانات LIFO) يخزن سجلًا لجميع الأوامر المنفذة. عند تنفيذ أمر جديد، يُضاف إلى أعلى المكدس. لذلك، لا يمكن التراجع إلا عن الأمر الأخير المنفذ وإزالته من السجل. يمكن تكرار عملية التراجع طالما أن السجل غير فارغ. ^{[ 2 ]}

يتمثل الفرق الرئيسي بين التراجع الخطي والتراجع غير الخطي في إمكانية المستخدم التراجع عن الأوامر المنفذة بترتيب عشوائي. إذ لا يمكنه التراجع عن الأمر الأخير، بل يمكنه اختيار أمر من القائمة. ^{[ 4 ]} يوجد في النموذج غير الخطي فئات فرعية تُطبّق هذا النموذج.

يذكر جاكوبيك وآخرون أن التراجع الانتقائي ميزة يمكن أن يوفرها النموذج، ولكن لا يوجد تعريف واضح له. ^{[ 4 ]} وقد حدد المؤلفون الوظائف التي ينبغي أن يمتلكها النموذج عند دعمه للتراجع الانتقائي. يجب أن يكون من الممكن "التراجع عن أي إجراء تم تنفيذه في سجل العمليات. يجب ترك الإجراءات المستقلة عن الإجراء الذي يتم التراجع عنه دون تغيير". ^{[ 4 ]} وبالمثل، يجب أن يكون من الممكن إعادة تنفيذ أي أمر تم التراجع عنه. الوظيفة الثالثة للتراجع الانتقائي هي أنه "لا يمكن حذف أي أمر تلقائيًا من سجل العمليات دون طلب مباشر من المستخدم". ^{[ 4 ]} ينطبق على التراجع الانتقائي أن يكون التراجع والإعادة قابلين للتنفيذ خارج أي سياق. هناك ثلاث مشكلات رئيسية. الأولى هي أن الأوامر التي تم التراجع عنها يمكن أن تكون خارج السياق الأصلي. من خلال هذا، يمكن أن تكون هناك مراجع غير مستخدمة يجب معالجتها. المشكلة الثانية هي أنه يمكن التراجع عن الأوامر المعدلة، وبالتالي يجب تحديد الحالة التي سيتم عرضها بعد التراجع. المشكلة الثالثة هي التخلص من مشاكل الأوامر. لا يحتوي التراجع الانتقائي على مؤشر في القوائم، مما يعني أنه لا ينبغي حذف أي أمر من المكدس. ^{[ 4 ]}

عندما يتمكن عدة مستخدمين من تعديل نفس المستند في وقت واحد، يصبح التراجع متعدد المستخدمين ضروريًا. يعمل التراجع العام متعدد المستخدمين على عكس آخر إجراء تم إجراؤه على المستند، بغض النظر عن المستخدم الذي قام بالتعديل. أما التراجع المحلي متعدد المستخدمين فيعكس فقط الإجراءات التي قام بها المستخدم المحلي، مما يتطلب تطبيقًا غير خطي للتراجع.

في حين يُستخدم التراجع للرجوع إلى تعديلات متعددة، فإن أمر الإعادة يُنفذ عبر سجل الإجراءات. عادةً ما يؤدي إجراء تعديل جديد إلى مسح قائمة الإعادة. أما في حال استخدام نموذج إعادة متفرع، فإن التعديل الجديد يُنشئ فرعًا في سجل الإجراءات.

يختلف عدد الإجراءات السابقة التي يمكن التراجع عنها باختلاف البرنامج والإصدار وإمكانيات الأجهزة أو البرامج. على سبيل المثال، يبلغ حجم سجل التراجع/الإعادة الافتراضي في برنامج Adobe Photoshop عشرين إجراءً، ولكن يمكن للمستخدم تغييره. كمثال آخر، كانت الإصدارات السابقة من برنامج Microsoft Paint تسمح بالتراجع عن ثلاثة تعديلات فقط؛ أما الإصدار الذي طُرح في نظام Windows 7 فقد رفع هذا الحد إلى خمسين إجراءً.

في بعض الأحيان، تتخلى ميزات التراجع البسيطة ذات التعديل الواحد عن وظيفة "الإعادة" من خلال التعامل مع أمر التراجع نفسه كإجراء قابل للتراجع. يُعرف هذا بنموذج التراجع الانعكاسي، حيث يمكن للمستخدم التبديل بين حالتين للبرنامج باستخدام أمر التراجع. ^{[ 14 ]} كان هذا هو النموذج القياسي قبل الانتشار الواسع لخاصية التراجع متعدد المستويات في أوائل التسعينيات.

نمط الأوامر هو نمط تصميم برمجي يُغلّف معلومات العملية في كائنات أوامر. هذا يعني أن كل إجراء يُخزّن في كائن. تُنفّذ فئة الأمر المجردة عملية تنفيذ مجردة، لذا فإن كل كائن أمر يحتوي على عملية تنفيذ. وللتراجع، يجب أن تكون هناك أيضًا عملية إلغاء تنفيذ، والتي تُبطل تأثير الأمر المُنفّذ، وتُخزّن في قائمة سجل. يُنفّذ التراجع والإعادة بحيث يتم تشغيل القائمة ذهابًا وإيابًا عند استدعاء أمر التنفيذ أو إلغاء التنفيذ. ^{[ 15 ]}

في حالة التراجع الفردي، يتم تخزين الأمر المنفذ فقط. على عكس التراجع متعدد المستويات، حيث لا يتم حفظ قائمة الأوامر فحسب، بل يمكن أيضًا تحديد عدد مستويات التراجع أو الحد الأقصى لطول القائمة. ^{[ 15 ]}

في نمط التذكير، تُخزَّن الحالة الداخلية للكائن. يُسمى الكائن الذي تُحفظ فيه الحالة "تذكيرًا"، ويتم تنظيمه من خلال مُنشئ التذكير. يُعيد هذا النمط تذكيرًا مُهيأً بمعلومات الحالة الحالية عند تنفيذ التراجع، ما يسمح بفحص الحالة. لا يكون التذكير مرئيًا إلا للمُنشئ.

في نمط التذكار، تُسمى آلية التراجع "الحارس". وهو مسؤول عن حفظ التذكارات دون تغيير محتوياتها. وللتراجع، يطلب الحارس تذكارًا من المُنشئ ثم يُفعّل التراجع. ^{[ 15 ]}

يمكن تنفيذ معظم آلية التراجع دون الاعتماد على تطبيقات أو فئات أوامر محددة. ويشمل ذلك "إدارة قائمة السجل، وشريط تمرير السجل، وعناصر القائمة للتراجع والإعادة، وتحديث عناصر القائمة بناءً على اسم الأمر التالي المتاح". ^{[ 2 ]}

تحتوي كل فئة أوامر على دالة `do` تُستدعى عند تنفيذ أمر ما. وتُنفّذ دالة `undo` العملية العكسية لدالة `do`. ولتنفيذ العملية العكسية، توجد عدة استراتيجيات مختلفة.

• نقطة التحقق الكاملة : هذا يعني حفظ الحالة الكاملة بعد تنفيذ الأمر. هذه هي أسهل طريقة للتنفيذ، لكنها ليست عالية الكفاءة، ولذلك لا تُستخدم كثيرًا.
• إعادة تشغيل كاملة: لذلك، يتم حفظ الحالة الأولية ويمكن الوصول إلى كل حالة في قائمة السجل من خلال "البدء بالحالة الأولية وإعادة تنفيذ جميع الأوامر من بداية السجل". ^{[ 2 ]}
• نقطة التحقق الجزئية : هذه هي الاستراتيجية الأكثر استخدامًا. يتم حفظ حالة التطبيق المتغيرة، وباستخدام التراجع، يتم إعادة جزء من الحالة إلى قيمته السابقة.
• الدالة العكسية: لا تتطلب الدالة العكسية أي معلومات عن الحالة المحفوظة. "على سبيل المثال، يمكن عكس عملية النقل بتحريك الكائن للخلف بمقدار نسبي." ^{[ 2 ]} أما بالنسبة للتراجع الانتقائي، فلا توجد معلومات كافية لحفظ الحالة.