2 مقالات موسومة بـ "State Machines"

orb validate يُثبت الخصائص البنيوية. orb test يذهب أبعد — يمشي على كل حافة في كل آلة حالة، ويُطلق كل حدث من كل حالة، ويتحقق أن الحرّاس يمنعون ويسمحون بشكل صحيح. لا تكتب أي شيفرة اختبار. الرسم البياني هو خطة الاختبار.

في Orb، كل ميزة هي آلة حالة. ليست شجرة مكوّنات ولا مجموعة hooks — بل آلة حالة بحالات صريحة، وتحوّلات محميّة، ودائرة مغلقة يفرضها المترجم قبل توليد أي شيفرة.