جداشمارها

جداشمار وضعیت:
    پیش‌نویس، منتشرشده = ۱۰، بایگانی
پایان

روال ریشه:
    حالت := وضعیت.منتشرشده
    سرچاپ حالت برگردان صحیح، وضعیت.بایگانی برگردان صحیح
    سرچاپ حالت == وضعیت.منتشرشده
پایان

جداشمار فصل: بهار، تابستان، پاییز، زمستان پایان

روال ریشه:
    ف := فصل.پاییز
    سرچاپ ف.نام()
    سرچاپ "شمار فصل‌ها:", فصل.شمار()
    سرچاپ ف == فصل.پاییز, ف برگردان صحیح
پایان

جداشمار شکل:
    دایره(شعاع: اعشار۶۴)
    مستطیل(پهنا: اعشار۶۴، بلندی: اعشار۶۴)
    هیچ
پایان

روال مساحت(ش: شکل): اعشار۶۴:
    برگشت همخوان ش:
        دایره(ر) => ۳.۱۴ * ر * ر
        مستطیل(پ، ب) اگر پ == ب => پ * پ
        مستطیل(پ، ب) => پ * ب
        هیچ => ۰.۰
    پایان
پایان

روال ریشه:
    سرچاپ مساحت(شکل.دایره(۲.۰))
    سرچاپ مساحت(شکل.مستطیل(۳.۰، ۴.۰))
    سرچاپ مساحت(شکل.هیچ)
    سرچاپ شکل.دایره(۱.۵)
پایان

جداشمار شاید<ت>:
    دارد(مقدار: ت)
    هیچ
پایان

روال تقسیم(الف: صحیح، ب: صحیح): شاید<صحیح>:
    اگر ب == ۰:
        برگشت شاید.هیچ
    پایان
    برگشت شاید.دارد(الف / ب)
پایان

روال شرح(ش: شاید<صحیح>): رشته:
    برگشت همخوان ش:
        دارد(م) => "حاصل " + م
        هیچ => "تقسیم بر صفر"
    پایان
پایان

روال ریشه:
    سرچاپ شرح(تقسیم(۱۰، ۲))
    سرچاپ شرح(تقسیم(۱، ۰))
پایان

واردسازی نتیجه

روال عدد(م: رشته): نتیجه.نتیجه<صحیح، رشته>:
    اگر م == "۷":
        برگشت نتیجه.نتیجه.Ok(۷)
    پایان
    برگشت نتیجه.نتیجه.Err("عدد نامعتبر: " + م)
پایان

روال جمع(الف: رشته، ب: رشته): نتیجه.نتیجه<صحیح، رشته>:
    ا := عدد(الف)?
    ب۲ := عدد(ب)?
    برگشت نتیجه.نتیجه.Ok(ا + ب۲)
پایان

روال ریشه:
    سرچاپ جمع("۷"، "۷")
    سرچاپ جمع("۷"، "هفت")
پایان