روال‌های عام و میانجی‌ها

ساختار جعبه<ت>:
    همگانی درون: ت
پایان

روال بیشینه<ت>(الف: ت، ب: ت): ت:
    اگر الف > ب:
        برگشت الف
    پایان
    برگشت ب
پایان

روال ریشه:
    سرچاپ بیشینه(۳، ۹)، بیشینه("الف"، "ب")، بیشینه(۲.۵، ۱.۵)
    ج := جعبه { درون = "هدیه" } برگردان جعبه<رشته>
    سرچاپ ج.درون
پایان

میانجی شکل:
    روال مساحت(): صحیح
    روال نام(): رشته
پایان

ساختار مربع:
    ضلع: صحیح = ۰
    همگانی روال مساحت(): صحیح: برگشت این.ضلع * این.ضلع پایان
    همگانی روال نام(): رشته: برگشت "مربع" پایان
پایان

ساختار مستطیل:
    پهنا: صحیح = ۰
    بلندی: صحیح = ۰
    همگانی روال مساحت(): صحیح: برگشت این.پهنا * این.بلندی پایان
    همگانی روال نام(): رشته: برگشت "مستطیل" پایان
پایان

روال توصیف(ش: dyn شکل):
    سرچاپ ش.نام()، ش.مساحت()
پایان

روال ریشه:
    توصیف(مربع { ضلع = ۵ })
    توصیف(مستطیل { پهنا = ۴، بلندی = ۶ })
پایان

میانجی شکل:
    روال مساحت(): اعشار۶۴
    روال شرح(): رشته:
        برگشت "مساحت " + این.مساحت()
    پایان
پایان

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

ساختار مربع:
    همگانی ضلع: اعشار۶۴ = ۱.۰
    همگانی روال مساحت(): اعشار۶۴:
        برگشت این.ضلع * این.ضلع
    پایان
    همگانی روال شرح(): رشته:
        برگشت "مربعی با ضلع " + این.ضلع
    پایان
پایان

روال ریشه:
    سرچاپ دایره { شعاع = ۲.۰ }.شرح()
    سرچاپ مربع { ضلع = ۳.۰ }.شرح()
پایان

میانجی رتبه‌دار:
    روال رتبه(): صحیح
پایان

کاربست رتبه‌دار بر صحیح:
    روال رتبه(): صحیح: برگشت این پایان
پایان

کاربست رتبه‌دار بر رشته:
    روال رتبه(): صحیح: برگشت len(این) پایان
پایان

روال بالاتر<ت: رتبه‌دار>(الف: ت، ب: ت): صحیح:
    اگر الف.رتبه() > ب.رتبه():
        برگشت الف.رتبه()
    پایان
    برگشت ب.رتبه()
پایان

روال ریشه:
    سرچاپ بالاتر(۳، ۹)
    سرچاپ بالاتر("hi"، "salam")
پایان