مخطّط الأصناف

طريقان إلى نفس الفكرة

المتطلبات قبل البداية

المفاهيم الأساسية

كيف يعمل؟

شكل 1، مكتبتنا بأربعة أصناف. الماسة المملوءة تقول إن النسخة لا معنى لها بلا كتاب

شكل 2، كيف تختار نوع الخط: ثلاثة أسئلة تكفي

التمرين: نفّذ المخطّط، ثم اكسر كل قاعدة فيه

المخطّط أعلاه ليس رسمًا نظريًّا: كتبناه بايثون كما هو وشغّلناه. كل تعدّدية صارت سطرًا في الكود، وكل قاعدة صارت تحقّقًا:

class Book:                      # the bibliographic record
    def __init__(self, isbn, title):
        self.isbn, self.title = isbn, title
        self.copies = []             # Book 1 --- 0..* Copy

    def available(self):
        return [c for c in self.copies if c.loan is None]


class Copy:                          # the physical thing on the shelf
    def __init__(self, book, barcode):
        self.book, self.barcode = book, barcode
        self.loan = None             # Copy 1 --- 0..1 Loan
        book.copies.append(self)


class Loan:                          # the association class
    def __init__(self, member, copy, today):
        if copy.loan is not None:
            raise ValueError("copy %s is already on loan" % copy.barcode)
        if len(member.active()) >= MAX_LOANS:
            raise ValueError("%s already holds %d copies" % (member.name, MAX_LOANS))
        if member.overdue(today):
            raise ValueError("%s is overdue and may not borrow" % member.name)
        self.member, self.copy = member, copy
        self.borrowed_on, self.due_on = today, today + timedelta(days=LOAN_DAYS)
        self.returned_on = None
        copy.loan = self
        member.loans.append(self)

$ python3 library.py
book 'Dune' has 7 copies, 7 available

-- rule 2: one copy, one member at a time --
   refused: copy D-01 is already on loan

-- rule 3a: at most 5 copies --
   Muath now holds 5 copies
   refused: Muath already holds 5 copies

-- rule 3b: no borrowing while overdue --
   overdue loans on 2026-03-21 : 5
   refused: Muath already holds 5 copies        <-- the wrong reason

-- returning frees the copy, and the member --
   copy D-01 free again: True
   borrowing works again: 1 active loan

ولمّا عزلنا القاعدة الثالثة-ب على عضو عنده استعارة واحدة متأخّرة، ظهرت الرسالة الصحيحة. واختبرنا القاعدة الرابعة باستنفاد كل النسخ:

$ python3 order.py
-- rule 3b isolated: overdue with only ONE loan --
   active loans: 1 | overdue: 1
   refused: Amal is overdue and may not borrow   <-- correct here

-- rule 4: exhaust every copy of a book --
   copies: 3 | available: 0 | title still: Solaris

اعتقاد شائع × الحقيقة

جرّب بنفسك

بطاقات مراجعة سريعة

تحقّق من فهمك