اكتب بالعربية. شغّل هنا.

ما ستتعلمه

ستغير تحية، وتتوقع خرجها الحرفي، وتستخدم موضعا مذكورا في رسالة تشخيص لإصلاح خطأ في المصدر. وستميز النص المطبوع عن حالة البرنامج.

قبل أن تبدأ

لا تحتاج إلى خبرة برمجية أو تثبيت. يشرح أول برنامج في المتصفح أدوات ساحة التجربة. المصدر هو نص برنامجك. يفحص التحقق ما إذا كان المصدر يتبع قواعد اللغة. يفحص زر التشغيل المصدر ثم ينفذ تعليماته إذا نجح التحقق.

يفتح كل مثال كامل أدناه مسودة جديدة في الصفحة الرئيسية بمصدره الأصلي. تبقى مسوداتك السابقة وتعديلاتك متاحة. يجري الفتح تحققا من المصدر لكنه لا يشغله. اضغط التشغيل بنفسك. لغة الشرح مستقلة عن مفردات المصدر. يتيح محدد المثال كلمات عربية وإنجليزية موردة، ولا يترجم التحية بين علامتي الاقتباس أو مسودتك.

اقرأ برنامجا كاملا

تحتاج ASPL إلى دالة دخول محجوزة اسمها ابدأ_الرئيسية، أو مرادفها الإنجليزي المطابق start_main. يبدأ التنفيذ منها. تعلن دالة / fn عن دالة. تعني () الفارغة أن دالة الدخول لا تأخذ معاملات. وتعني -> ص64 / -> i64 أنها تعيد عددا صحيحا يمثل حالة الانتهاء. أبق هذا التوقيع كما ورد وأنت تتعلم التعليمات داخله.

يحدد القوسان المعقوفان بداية جسم الدالة ونهايته. تنفذ التعليمات داخله بالترتيب. تكتب اطبع / print سلسلة نصية، وهي نص بين علامتي اقتباس مزدوجتين. تمرر الأقواس تلك السلسلة إلى اطبع. لا تضيف اطبع نهاية سطر. يطلب المحرفان \n داخل السلسلة نهاية سطر واحدة، فيبدأ الخرج التالي في سطر جديد. تنتهي التعليمات الإنجليزية بـ ;، ويمكن أن تنتهي التعليمات العربية بـ .. لا تظهر علامة إنهاء التعليمة في الخرج.

تنهي أرجع 0 / return 0 دالة الدخول بصورة طبيعية بحالة عملية 0. لا تطبع الرقم صفر. سنستخدم هذه النهاية في كل درس مستقل. سنتعلم تعريف دوال أخرى لاحقا.

بعد التشغيل، تحتوي منطقة الخرج على Hello ثم نهاية سطر واحدة، أي Hello\n عند تمثيل نهاية السطر بتسلسل الهروب. تعني Hello التحية بالإنجليزية، وتبقى كما كتبها المصدر حتى مع الكلمات العربية. تعرض منطقة الحالة انتهاء طبيعيا مع start_main 0. يتضمن المصدر علامات اقتباس وعلامة إنهاء تعليمة، ولا يتضمن الخرج أيا منها.

توقع قبل التشغيل

ما النص الحرفي الذي سيظهر؟ وهل ينتهي بنهاية سطر؟ هل سيظهر 0 في الخرج؟ اكتب توقعك ثم شغل المثال وقارن. ستجد سطرا واحدا هو Hello مع نهاية سطر بعده، دون طباعة صفر.

غير التحية

غير Hello فقط إلى Welcome داخل علامتي الاقتباس. أبق \n. السلوك المتوقع هو Welcome\n حرفيا، مع حالة طبيعية 0. اكتب توقعك قبل الضغط على التشغيل.

اتبع موضع خطأ المصدر

هذه نسخة برنامج كامل مكسورة عمدا. ينقصها القوس المعقوف الختامي. افتحها لتفحص نتيجة التحقق قبل محاولة تشغيلها.

يبلغ التحقق عن خطأ مصدر سببه expected-token: توقع right-brace ووجد end-of-file. الموضع هو السطر 4 والعمود 1، بعد آخر تعليمة مباشرة. اختر الموضع المذكور في ساحة التجربة. قد تظهر العلامة عند نهاية المصدر لأن المحرف الناقص لا يملك نصا موجودا يمكن تظليله.

أضف القوس المعقوف الختامي في ذلك الموضع. يعرض المقطع المسمى أدناه المحرف المطلوب فقط، وليس برنامجا مستقلا.

مقطع توضيحي

}

البرنامج المصحح هو مثال التحية الأصلي. ينجح التحقق الآن، ثم تختار التشغيل للحصول على Hello\n وحالة 0. لا ينفذ المصدر المكسور أي تعليمة ولا ينتج تحية، رغم ظهور تعليمة الطباعة قبل القوس الناقص. يصف تشخيص المصدر مصدرا مرفوضا. يأتي الخرج من تعليمات منفذة. وتصف الحالة الطبيعية كيفية انتهاء التنفيذ. اقرأ المزيد عن التشخيص والنتائج.

تحقق من فهمك

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

ما ستتعلمه

ستسمي قيما، وتحسب بأعداد صحيحة صغيرة، وتطبع نتيجة عددية، وتقرر متى يجوز إسناد قيمة جديدة إلى اسم.

قبل أن تبدأ

اقرأ أول خرج لفهم دالة الدخول المحجوزة والطباعة ونهاية السطر الصريحة والحالة 0. يقدم هذا الدرس برنامجا كاملا مستقلا. يفتحه في مسودة جديدة ويحفظ تعديلاتك السابقة. يبقى التشغيل باختيارك.

سم القيم واحسب

يربط الارتباط اسما بقيمة مهيأة. تعلن دع / let ارتباطا ثابتا: لا يمكنك إسناد قيمة جديدة إلى الاسم لاحقا. تعلن متغير / var ارتباطا قابلا للتغيير يسمح بالإسناد لاحقا. يحتاج كلاهما إلى قيمة أولية. تقدم = هذه القيمة في التصريح. القيمتان 3 و7 عددان صحيحان صغيران، وتستنتج ASPL نوعهما ص64 / i64، فلا يلزم كتابة النوع هنا.

تجمع + عددين، وتضربهما *. يحسب تعبير مثل left + right قيمة باستخدام القيمتين المسميتين. هذه أسماء يختارها المبرمج وليست كلمات محجوزة. يبقي المصدر العربي المقدم الأسماء نفسها left وright وtotal. لا يغير تبديل لغة الشرح أسماءك.

تأخذ اطبع نصا، لذا نستخدم أولا نسق_ص64 / format_i64 لتحويل عدد من نوع ص64 إلى نصه العشري. تقرأ نسق_ص64(total) قيمة total وتعيد ذلك النص. تكتبه اطبع الخارجية. وتكتب تعليمة طباعة ثانية "\n" لإنهاء السطر. التنسيق والطباعة عمليتان منفصلتان، ولا تغير أي منهما total.

تهيئ دالة الدخول left بالقيمة 3 وright بالقيمة 7. ثم تهيئ total بمجموعهما، وهو 10، وتطبع 10\n. أخيرا تنهي أرجع 0 التنفيذ بصورة طبيعية. القيمة المحسوبة خرج وليست حالة العملية.

توقع قبل التشغيل

ما القيمة التي يحملها total؟ وما النص الحرفي المطبوع؟ إذا استبدلت + بـ *، فتوقع النتيجة الجديدة قبل التشغيل. يعطي الجمع 10 ويعطي الضرب 21. يطبع كل منهما مع نهاية سطر واحدة، وتبقى الحالة 0.

اضرب بدلا من الجمع

غير العامل فقط في تصريح total لحساب 3 * 7. الخرج المتوقع هو 21\n حرفيا، والحالة الطبيعية 0.

افهم خطأ الإسناد إلى ارتباط ثابت

تحسب هذه النسخة الفاشلة عمدا 21، ثم تحاول إسناد total + 1 مجددا إلى الاسم الثابت total.

يبلغ التحقق عن immutable-assignment عند total في السطر 5 والعمود 5. اختر التشخيص للعثور على الاسم الذي تحاول التعليمة إسناد قيمة إليه. لا تنفذ أي طباعة، فلا ينتج الفشل خرجا من البرنامج. المشكلة هي السماح بتغيير الارتباط، وليست الحساب أو التنسيق.

للتغيير المقصود، غير تصريح total من دع إلى متغير، أو من let إلى var في المصدر الإنجليزي المقدم. أبق الارتباطين الآخرين ثابتين. تصبح = اللاحقة إسنادا مسموحا، وتستبدل القيمة المخزنة بـ 22.

ينجح التحقق من التصحيح ويطبع 22\n مع حالة طبيعية 0. يظل الارتباط المعلن بـ متغير محتاجا إلى قيمة أولية. لا تحتاج إلى قابلية التغيير لمجرد حساب نتيجة جديدة مرة واحدة. راجع مرجع الارتباطات والتحكم للقواعد الأوسع.

تحقق من فهمك

اشرح لماذا يحتاج شكلا التصريح إلى قيم أولية، ولماذا يطبع الضرب 21، ولماذا يحتاج مثال التغيير وحده إلى متغير. أصلح الإسناد الفاشل وقارن 22\n بتوقعك. لا تحفظ درجة أو تقدما، ويبقى التنقل مفتوحا. تابع الشروط حين تختار.

ما ستتعلمه

ستعرف دالة مساعدة في المستوى الأعلى بأنواع صريحة، وتمرر وسيطا، وتتتبع القيمة المرجعة، وتشرح اختلافها عن حالة عملية البرنامج.

قبل أن تبدأ

اقرأ الارتباطات والحساب والشروط والحلقات. تقدم هذه الدروس القيم المسماة والمقارنات وترتيب التنفيذ. يتضمن هذا البرنامج المستقل دالة دخوله الخاصة. افتحه مسودة جديدة في الصفحة الرئيسية واختر التشغيل صراحة، ويبقى عملك السابق متاحا.

عرف دالة مساعدة واستدعها

تصرح دالة / fn بدالة. تقع الدالة المساعدة double في المستوى الأعلى، خارج دالة الدخول وكل جسم دالة أخرى. يسمي المعامل value: ص64 / value: i64 عددا صحيحا واردا. يعد السهم ونوع النتيجة -> ص64 / -> i64 بإرجاع عدد صحيح. تحتوي الأقواس المعقوفة تعليمات الدالة المساعدة، وترسل أرجع / return قيمة إلى المستدعي وتنهي هذا الاستدعاء.

double(6) استدعاء. يقدم الوسيط 6 قيمة المعامل لهذا الاستدعاء. تمرر الوسائط بالقيمة. داخل الدالة المساعدة تحسب value * 2 العدد 12، ثم ترسله تعليمة الإرجاع إلى موضع الاستدعاء. يخزنه المستدعي في الارتباط الثابت result. يجب أن يقدم الاستدعاء عدد الوسائط وأنواعها كما يحددها التصريح.

يبدأ التنفيذ عند دالة الدخول المحجوزة ابدأ_الرئيسية() -> ص64 / start_main() -> i64، لا عند أول تصريح بدالة مساعدة. لا ينفذ تعريف double وحده جسمها. يدخلها الاستدعاء مؤقتا ثم يستأنف التنفيذ في دالة الدخول. تحول نسق_ص64 / format_i64 قيمة result إلى نص، وتكتبها اطبع / print متبوعة بنهاية السطر الصريحة \n.

ترجع الدالة المساعدة 12 إلى مستدعيها. تطبع دالة الدخول 12\n حرفيا، ثم تعطي أرجع 0 / return 0 الخاصة بها حالة عملية طبيعية 0. لا تطبع قيمة الدالة المساعدة تلقائيا ولا تحدد حالة العملية. إرجاع double(6) مباشرة من دالة الدخول يعطي بدلا من ذلك الحالة 12، ولا ينتج خرجا دون الطباعة.

تتبع القيمة المرجعة

توقع نتيجة الدالة المساعدة والخرج المرئي وحالة العملية كل منها على حدة.

يغير الوسيط الجديد الحساب والبيانات المطبوعة. لا يغير تعليمة الإرجاع الأخيرة في دالة الدخول.

غير الوسيط

غير double(6) فقط إلى double(9). الخرج المتوقع هو 18\n حرفيا، والحالة الطبيعية 0.

أرجع قيمة في كل مسار مطلوب

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

ترجع هذه الدالة المساعدة المعطوبة عمدا قيمة للأعداد الموجبة فقط. رغم أن دالة الدخول تستدعيها بالوسيط 6، يمكن أن يصل مسارا الصفر والأعداد السالبة إلى نهاية الجسم دون إرجاع. يبلغ الفحص عن missing-return قبل أي تنفيذ للبرنامج. يبلغ التشغيل عن خطأ المصدر نفسه، دون خرج أو حالة عملية.

أعد تعليمة أرجع value * 2 غير المشروطة كما في نسخة البداية لتشمل كل المدخلات. تطبع نسخة البداية الكاملة المصححة 12\n وترجع الحالة 0. اقرأ مرجع الدوال للقواعد الكاملة.

الاستدعاء الذاتي اختياري

يمكن للدالة المساعدة استدعاء نفسها. يحسب مثال المضروب الموجود مضروب 5 بالاستدعاء الذاتي فيحصل على 120، ويتوقف عند قيمة 1 أو أقل. ترجع دالة دخوله تلك النتيجة مباشرة. لا يطبع شيئا وينتهي بحالة عملية 120. هذا العدد ليس خرجا مطبوعا ولا درجة اختبار. يمكنك تأجيل الاستدعاء الذاتي إلى وقت لاحق.

تحقق من فهمك

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

تجهيز المضيف الأصلي

المضيف الأصلي فقط، إصدار ASPL 0.7.0 المنشور. اتبع مسار التثبيت الأصلي ومتطلبات النظام أولا. تستخدم الأمثلة Linux x86-64 وSystem V ABI وglibc. توفر libc.so.6 الدوال puts وabs وstrlen وmemset؛ وتوفر libm.so.6 الدالة sqrt. لا تحتاج أسطر إدخال أو وحدات مصدر أو ملفات بيانات. يظل ملف ELF المبني محتاجا إلى مكتباته المشتركة المسماة.

نزّل نسخة مصدر موردة من مجموعة C. احتفظ باسم الملف وأسماء المستخدم الأصلية. قد يحتوي المصدر ذو الكلمات الإنجليزية أسماء مستخدم ونصوصا عربية. لا يوفر أي مثال C إجراء لفتحه في المتصفح.

الطباعة عبر ملف تعريف محوّل خارجي

يصرّح مثال puts بملف التعريف الدقيق c_int__const_char_ptr الذي يحول توقيع ASPL من نص إلى ص64 إلى توقيع C int(const char *). يحتاج التصريح والاستدعاء إلى غير_آمن / unsafe. يتلقى C نسخة مؤقتة لا تخزين نص ASPL. تضيف puts فاصلة LF بعد مرحبا. يفحص البرنامج نتيجة C السالبة ويعيد 0 عند النجاح؛ لا تصلح النتيجة الموجبة غير المحددة كحالة للعملية.

aspl check puts.ar.aspl
aspl run puts.ar.aspl
aspl build -o puts-program puts.ar.aspl
./puts-program

استخدم puts.en.aspl للنسخة الإنجليزية. يطبع النجاح مرحبا\n ويخرج بالحالة 0. يستخدم مثال double المحوّل c_double__double مع libm.so.6 وsqrt؛ يفحص أن sqrt(4.0) تساوي 2.0 ولا يطبع شيئا ويخرج بالحالة 0.

التصريح بتوقيع ثابت دقيق

يشتق الوسم السياقي سي / c توقيع C ثابتا من أنواع المصدر. في المثال العادي، تستخدم abs توقيعا من ص32 إلى ص32، وتستخدم strlen توقيعا من نص إلى ط64 مع نص_سي(text) / cstring(text). يتكون نصه العربي من عشرة بايتات UTF-8؛ لذلك تعيد strlen القيمة 10 لا خمسة محارف. يفحص البرنامج النتيجتين ولا يطبع شيئا ويعيد 0.

aspl check ordinary.aspl
aspl run ordinary.aspl
aspl build -o ordinary-program ordinary.aspl
./ordinary-program

تستخدم النسختان الاسم ordinary.aspl؛ احفظ واحدة في كل مرة أو ضعهما في مجلدين منفصلين. طابق توقيع C الحقيقي تماما. اقرأ جدول التواقيع قبل تعديل التصريح. لا يستورد ASPL الترويسات ولا يستنتج توقيع الدالة من اسم الرمز.

نسخ البايتات إلى مخزن

يستورد مثال المخزن أساسي::سي، وينسخ 00 FF 41 من قائمة بايتات، ويغيّر القائمة الأصلية، ثم يستدعي memset بمدى إخراج صريح. تحتفظ القائمة المستخرجة الأولى ببايتاتها المنسوخة؛ ويتغير المخزن الأصلي المشترك إلى 20 20 20. يعالج الاستخراج الأكبر من السعة بالرمز foreign.invalid_argument ويغلق نسخة ويفحص foreign.closed عبر نسخة أخرى ثم يكرر الإغلاق بنجاح.

aspl check buffer.لبات
aspl run buffer.لبات
aspl build -o buffer-program buffer.لبات
./buffer-program

تستخدم النسختان buffer.لبات؛ احتفظ بهما في مجلدين منفصلين. لا خرج عند النجاح والحالة 0. تتشارك نسخ مخزن / Buffer مالكا أصليا واحدا. ينسخ الإنشاء والاستخراج البايتات؛ ولا ينسخ الإسناد التخزين الأصلي القابل للتغيير. راجع عمليات المخزن والمديات.

تمييز الإخفاقات والحدود

يفحص check وbuild التصريحات دون فتح المكتبات. يحل run والبرنامج المولد كل التصريحات الخارجية قبل دالة البداية، بما فيها غير المستخدمة. يعطي غياب مكتبة أو رمز الحالة 4 ويمنع آثار المصدر. يعطي غياب وسم عدم الأمان أو التوقيع غير المدعوم خطأ مصدر بالحالة 1.

يسبب NUL داخل إعارة نص C فخا قبل دخول C بالحالة 5. يعطي ملف تعريف النص الأصلي السبب foreign-string-contains-nul؛ ويعطي cstring العام السبب invalid-foreign-argument. تسبب أعداد البايتات غير الصالحة والمخازن المغلقة والنسخ المتداخلة القابلة للكتابة فخا قبل الدخول أيضا. تعيد أدوات المخزن بدلا من ذلك نتيجة فاشلة للرفض الموثق. افحص ok قبل الوصول إلى value أو error؛ تعيد أغلق / close نتيجة وحدة دون قيمة قابلة للقراءة.

تعمل الاستدعاءات العادية غير الآمنة تزامنيا وقد تحجب التنفيذ أو تنهار. لا تمنح امتيازات الإلغاء أو الاستدعاءات الراجعة المدارة. توفر الأداة العامة روابط HTTP وRaylib مدارة ومراجعة، دون واجهة عامة لتثبيت روابط مدارة اعتباطية. تستبعد هذه المجموعة تجهيزات اختبار الاستدعاءات الراجعة الخاصة بالمساهمين. راجع مرجع الواجهات الخارجية أو مجموعة HTTP أو مجموعة Raylib للعقد المناسب.

تجهيز HTTP الأصلي

المضيف الأصلي فقط، ASPL 0.7.0 المنشور. ثبّت الأداة الأصلية على Linux x86-64 مع glibc 2.34 أو أحدث. يجب أن يطبع aspl --version النص aspl 0.7.0. يرفض المتصفح والتضمين الخاص HTTP قبل التنفيذ. تحفظ التنزيلات المصدر المورّد ولا تفتح مسودة متصفح أو تشغّل برنامجا.

نزّل الجذر ووحداته المطلوبة من مجموعة HTTP. احفظ النسختين العربية والإنجليزية في مجلدين منفصلين بأسماء الملفات الأصلية. تبقى أسماء الوحدات ومعرّفات المستخدم نفسها لكن تختلف بايتات مصدر الوحدات. يستورد كل ملف ما يستخدمه؛ يفعّل استورد أساسي::ويب. البادئة ويب وimport core::http; البادئة http. تتاح البادئة المكتوبة فقط ولأعضاء المكتبة تسميات مكافئة دقيقة. تصلح .aspl و.لبات للجذور والوحدات المستوردة.

يسرد مرجع الواجهة الأنواع والتواقيع والقيم الافتراضية والحدود ورموز الأخطاء. اتبع دليل النشر لتجهيز الشهادات وثقة النظام والنشر. يحتفظ الدليل الخام السابق (يفتح في نافذة جديدة) ومصدر النشر الخام (يفتح في نافذة جديدة) بنطاق إصدارهما السابق.

خدمة النص وJSON والبايتات

نزّل عائلة الخدمة مع settings.aspl وhandlers.لبات من نسخة المصدر المختارة وضعها معا. من مجلد المصدر شغّل:

aspl check service.لبات
aspl run service.لبات

استخدم service.aspl للمصدر الإنجليزي. تبقى الخدمة في المقدمة على 127.0.0.1:8080؛ وفّر المنفذ أولا. لا تحتاج أسطر إدخال أو أصول بيانات لتمرين العميل العادي. يحتاج مسار /upstream أيضا server.pem الموثوق في مجلد عمل العملية ونظيرا موثقا على https://localhost:9443/hello.

الدالة handlers::handle مسماة على المستوى الأعلى ولا تلتقط متغيرات محلية. يطابق طلبها وسياق<app::Config,app::State> هويات أنواع الموجه. يرفض المدقق مسارات المعالج غير الآمنة والحاجبة، بما فيها استدعاءات C العادية وإدخال السطر والملف عبر دوال مساعدة. تتقدم المعالجات المقبولة الأخرى أثناء انتظار طلب HTTP تابع، مع بقاء تنفيذ ASPL متسلسلا.

يعيد GET /hello النص مرحبا من ASPL. يفحص POST /submit صلاحية UTF-8 ويعيد نص JSON الصريح مع application/json; charset=utf-8 دون تحليل بنيته أو التحقق منها. يعيد POST /bytes البايتات، ويعيد GET /download البايتات 00 FF 41 تماما. يعرض /count الحالة قبل زيادتها. تعيد اقرأ_حالة نسخة قيمة وتنشر استبدل_حالة استبدالا كاملا. القراءة والانتظار والاستبدال ليست ذرية؛ أعد القراءة بعد الانتظار أو استخدم لقطات الإصدار.

يجري GET /upstream طلبا تابعا موثقا بإعدادات app::Config. يتحول فشل الابن إلى 502 يحوي رمزه المستقر ما دام الأب حيا. ينهي إلغاء الأب العمل التابع ويلغي الخرج والنشر المتأخرين ولا يستأنف المعالج الملغى بنتيجة فاشلة. مرّر بايتات المتن عن قصد؛ قد تكون بيانات طول الضغط وترميزه لدى الطرف المقابل غير مناسبة للاستجابة الجديدة.

فحص نتائج العميل

ضع جذر العميل بجوار requests.لبات المطابق. شغّل الخدمة ثم افتح نافذة أخرى في مجلد المصدر:

aspl check client.aspl
aspl run client.aspl

يفحص العميل النص وإعادة JSON والبايتات الدقيقة واستجابة 404 مكتملة. يطبع checked text, JSON, 00 FF 41, and 404 بلا سطر جديد أخير ويعيد 0. تعيد ويب::اطلب نتيجة ناجحة للاستجابة المكتملة 404 أو 500؛ افحص حالة منفصلة. يعيد فك UTF-8 غير الصالح http.invalid_utf8 وتبقى بايتات المتن متاحة. لا محلل أو مولد JSON ضمني.

يفترض مثال الرفض عدم وجود مستمع على 127.0.0.1:9 ويطبع http.connect_failed ويعيد 0 بعد فحص الفشل. يغيّر وجود نظير الافتراض. اتخذ القرار وفق الخطأ::الرمز لا نص التشخيص البشري. تختلف النتائج القابلة للاسترداد عن أخطاء المصدر والفخاخ النهائية وإلغاء التنفيذ.

توثيق HTTPS ومراعاة الحدود

تستخدم خدمة TLS المباشر الوحدات نفسها على 127.0.0.1:8443. وفّر server.pem وserver.key المطابق غير المشفر في مجلد العمل. يستخدم عميل HTTPS العنوان https://localhost:8443 ويثق صراحة في server.pem، مع localhost في DNS SAN للشهادة. يحل CA الخاص محل ثقة النظام ويبقي فحص السلسلة والتواريخ والهوية إلزاميا. يعيد غياب مواد الخادم أو فسادها http.tls_config_failed قبل الاستماع.

aspl check direct-tls.لبات
aspl run direct-tls.لبات

في نافذة العميل المنفصلة:

aspl check client-tls.لبات
aspl run client-tls.لبات

يطلب عميل ثقة النظام العنوان https://localhost:9443/hello. يشترط النجاح شهادة نظير موثوقة عند المضيف. تنتج الشهادة المحلية غير الموثوقة http.tls_verify_failed وخرج الرمز وحالة 1. تعيد الثقة المفقودة أو التالفة http.ca_load_failed. راجع تجهيز الشهادة واختيار الثقة.

اتبع تمرين نشر الطرف العلوي الكامل للنظير المطابق ومجلد العمل والطلبات الموثقة ونتائج الإخفاق.

اتباع التحويلات وفك gzip معطّلان افتراضيا. تبقى التحويلات المفعّلة ضمن origin واحد وتشترك في المهلة الكلية الأصلية. يفحص gzip حدي المتن المرمز والمفكوك. لا إعادة محاولة نقل تلقائية. يثبت مثال الحدود أن خفض سعة الصادر إلى أقل من 16 اتصالا خاملا افتراضيا يستلزم خفض سعة الخامل أيضا. لا تحجز الإعدادات العددية موارد. راجع حدود التنفيذ والرسائل والمهل.

تقدم الجلسة ونشر الحالة المنسوخة

استخدم اخدم حين تدير الخدمة تدفق التطبيق. استخدم ابدأ للحصول على جلسة<C,S> واستدعِ تقدم صراحة من التطبيق. يعني نجاح البدء جاهزية المستمعين؛ لا تعمل المعالجات العادية إلا عبر التقدم. لا تعمل دوال الجلسة الخاصة بالتطبيق داخل المعالج. تنتهي صلاحية سياق المعالج مع استدعائه.

يحتاج مثال الجلسة المنفذ الحر 127.0.0.1:8081 دون نظير أو ملفات TLS. ينسخ الحالة دون نشر التعديل المحلي وينشر 11 وفق لقطة حالية ويفحص نجاحا بقيمة خطأ للنشر القديم. ثم يطلب التصريف ويتقدم حتى جلسة_مغلقة ويكرر إغلاق النسخ ويفحص http.closed_session. تبقى اللقطة المحفوظة بقيمة 10. لا خرج للنجاح وحالته 0.

aspl check session.aspl
aspl run session.aspl

تشترك نسخ الجلسة في مالك مدار واحد. يبطل إغلاق نسخة كل النسخ ويحرر فقدان آخر نسخة قابلة للوصول المورد. تحوي لقطة_حالة<S> قيمة منسوخة للقراءة فقط وهوية جلسة وإصدار خفيين. يفشل نشر لقطة جلسة أخرى بـhttp.invalid_argument. تحتفظ المقابض المدارة في اللقطات بالمالك الأصلي نفسه ولا تنسخ حالته الأصلية المتغيرة. راجع أعمار الخدمة والنشر.

الإغلاق وبناء ELF

أرسل POST /stop للخدمة العادية من نافذة أخرى:

curl --http1.1 --request POST http://127.0.0.1:8080/stop

للخدمة المشفرة استخدم CA الموثوق ومنفذها:

curl --http1.1 --cacert server.pem --request POST https://localhost:8443/stop

تطلب أوقف(ctx) من المعالج التصريف ويقبل تكرارها. يمكن للاستجابة الحالية الاكتمال. لا تعود اخدم عاديا قبل تحرير العمل المملوك. تحتاج أوقف_الجلسة إلى تقدم لاحق حتى الإغلاق. تنهي أغلق_الجلسة العمل وتحرر المالك. تصرّف أول Ctrl+C أو SIGTERM ثم تنهي التنفيذ بحالة 7، وتتجاوز الإشارة الثانية بقية التصريف. يبقى الفخ نهائيا بحالة 5 ولا يتحول تلقائيا إلى 500. قد يلغي انتهاء الأب أو قطع الاتصال أو انتهاء التصريف اكتمال المعالج ونشر الحالة.

aspl build -o service-program service.لبات
aspl build -o client-program client.aspl
./service-program --aspl-diagnostic-language=ar --aspl-color=never

شغّل ./client-program في نافذة أخرى ثم أرسل POST /stop. استخدم اسم الجذر الإنجليزي عند بناء تلك النسخة. يتضمن ELF الوحدات المفحوصة والآلة الافتراضية ويعمل دون ASPL أو ملفات المصدر أو مترجم C. تبقى ملفات TLS ومكتبات C المشتركة المصرح بها مدخلات خارجية. يقبل البرنامج المولد خيارات التشخيص واللون المحجوزة؛ لا أوامر ASPL أو معاملات تطبيق عامة. راجع البناء وحالة العملية.

تجهيز المضيف الأصلي

المضيف الأصلي فقط، ASPL 0.7.0 المنشور. ثبّت الأدوات الأصلية. استورد core::raylib أو أساسي::رايليب في كل وحدة مصدر تستخدم المكتبة. تقبل كل بادئة مستوردة أسماء الأعضاء العربية والإنجليزية المتطابقة. استورد الصيغتين لاستخدام البادئتين القصيرتين. تحتفظ أسماء المستخدم والنصوص والمسارات ببايتاتها.

لا يحتاج الفحص والبناء إلى شاشة أو مترجم C. يحتاج تشغيل نافذة إلى Linux بمعمارية x86_64 وglibc 2.34 أو أحدث وشاشة Wayland/EGL أو X11/GLX متاحة وOpenGL 3.3 core. يستخدم XWayland مسار X11. تضمّن الأداة خلفية Raylib 6.0 المثبتة، فلا تحتاج إلى Raylib نظامي. راجع متطلبات النظام.

عند وجود النقطتين تختار القيمة الدقيقة XDG_SESSION_TYPE=wayland مسار Wayland أولا، وتختار القيم الأخرى X11 أولا. عند وجود قيمة غير فارغة واحدة من WAYLAND_DISPLAY أو DISPLAY يحاول التنفيذ ذلك المسار وحده. يمكن أن ينتقل إلى النقطة الأخرى بعد تحرير آمن لفشل الأولى. عند غياب النقطتين يعيد InitWindow الرمز raylib.host_unavailable. لا يوجد نجاح لنافذة بلا شاشة. تبقى الخلفية الناجحة ثابتة حتى الإغلاق.

نزّل البرامج من مجموعة Raylib. تسرد كل عائلة الصيغ الموردة والملفات المرخصة قبل المصدر. احتفظ بأسماء المصادر ومسارات الأصول الأصلية. تحتاج عائلة الصور إلى PNG وإشعاره تحت docs/examples/assets نسبة إلى مجلد عمل العملية. لا تحتاج هذه العائلات إلى وحدات مصدر. يرفض المتصفح المكتبة حتى إن لم يستخدم الاستيراد.

فحص كل نتيجة

تعيد العمليات العادية result<T>، وتعيد فحوص الجاهزية والصلاحية bool مباشرة. افحص ok / نجاح قبل قراءة value / قيمة أو error / الخطأ. تؤدي قراءة الفرع الخطأ إلى مصيدة. قارن رمز ASCII الثابت error::code، ورسائل Raylib تضم اللغتين. استخدم --diagnostic-language=en لتشخيصات CLI أو --aspl-diagnostic-language=en للبرنامج الناتج.

مقطع توضيحي

استورد أساسي::رايليب.
دالة ابدأ_الرئيسية() -> ص64 {
    دع فتح = رايليب::هيئ_نافذة(640, 360, "سلام ASPL").
    إذا لا فتح::نجاح { اطبع(فتح::error::الرمز). أرجع 1. }
    دع إغلاق = رايليب::أغلق_النافذة().
    إذا لا إغلاق::نجاح { اطبع(إغلاق::error::الرسالة). أرجع 2. }
    أرجع 0.
}

يوضح المقطع فحص استدعاءات دورة الحياة. تحتفظ البرامج الكاملة القابلة للتنزيل أدناه بنتائج الفهرس. راجع مرجع الواجهة للأحجام الدقيقة والسياقات والإخفاقات.

امتلاك جيل نافذة

استدع SetConfigFlags قبل فتح النافذة. يستبدل أعلام النافذة التالية المحفوظة. يقبل SetTargetFPS معدلا غير سالب، والصفر يزيل سقف التوقيت. افتح بأبعاد i32 موجبة وعنوان دون NUL. تنسخ الأداة العناوين وتحتفظ بها حتى الاستبدال أو انتهاء الاستخدام الأصلي. يحتاج SetWindowTitle إلى نافذة حية وإطار مغلق.

يمتلك تنفيذ واحد حجز أجهزة العملية. تجري عمليات الجهاز على الخيط الرئيسي للعملية. IsWindowReady فحص كلي، وWindowShouldClose ملاحظة مفحوصة. لا يغلق طلب الإغلاق النافذة بذاته. يقرر التطبيق متى ينتهي أو يغلقها. ينجح CloseWindow عندما تكون مغلقة بالفعل.

يبطل الإغلاق نسخ مالك النسيج قبل تدمير سياق الرسوم. تنشئ إعادة الفتح جيلا جديدا. تبقى الأعلام والتوقيت المحفوظان، بينما يعاد ضبط الهروب وطوابير الإدخال وسجل الفأرة والتوقيت. تغير عائلة النافذة العنوان وتنتظر إدخال في الطرفية ثم تغلق وتعيد الفتح.

إقران إطارات الرسم

استدع BeginDrawing ثم ClearBackground وعمليات الرسم ثم EndDrawing. تحتاج عمليات الرسم والمسح إلى إطار مفتوح. تعيد البداية المكررة أو النهاية غير المقترنة raylib.invalid_order وتحفظ الحالة الحالية. أغلق وضع الكاميرا قبل إنهاء الإطار.

يحتاج التحميل ودورة حياة النافذة وتغييرات العنوان ومفتاح الخروج وFPS ومرشح النسيج والتفافه إلى إطار مغلق. تستطيع ملاحظات الإدخال والتوقيت قراءة العينة الحالية داخل الإطار. يعرض EndDrawing العمل المقبول ويستطلع أحداث المضيف ويطبق التوقيت المستهدف. يعيد GetTime النوع f64 وGetFrameTime النوع f32 وGetFPS النوع i32. تعرض النافذة الجديدة زمن إطار وFPS صفريين قبل أول إطار مكتمل.

تعرض عائلة الإطارات تكرارين قصيرين وتفحص إعادة ضبط التوقيت بعد الفتح. FPS هدف ولا يضمن أداء المضيف المشغول.

قراءة عينات لوحة المفاتيح والفأرة والحجم

تحتاج ملاحظات النافذة والإدخال إلى نافذة حية للتنفيذ المستدعي والخيط الرئيسي. تقرأ حالة مأخوذة ولا تثبت استدعاءات راجعة للمصدر. استخدم ثوابت Key وMouseButton الدقيقة، ولا يجوز بناؤها من أعداد صحيحة. تصف Down وUp حالة الاستمرار، وتصف Pressed وReleased الانتقالات، ويشمل IsKeyPressedRepeat ملاحظات التكرار.

يستهلك GetKeyPressed مفتاحا واحدا من الطابور ويعيد KEY_NULL عند فراغه. يستهلك GetCharPressed قيمة محرف Unicode واحدة ويعيد صفرا عند الفراغ. كرر الاستدعاء لتفريغ الطوابير عند الحاجة. حدث المفتاح والنص المكتوب ملاحظتان منفصلتان. يعطل SetExitKey(KEY_NULL) مفتاح الخروج، ويعيد فتح نافذة جديدة مفتاح الهروب.

تستخدم مواضع الفأرة وفروقها والعجلة قيما f32 مفحوصة. قد يختلف GetScreenWidth وGetScreenHeight المنطقيان عن GetRenderWidth وGetRenderHeight الفيزيائيين. يعرض IsWindowResized عينة تغيير الحجم الحالية.

مشاركة الأنسجة وإغلاقها

يقبل LoadTexture ملفات PNG ويحتاج إلى نافذة حية خارج الإطار. تحل المسارات نسبة إلى مجلد عمل العملية. افحص النتيجة قبل أخذ Texture المعتم. يعيد GetTextureWidth وGetTextureHeight بيانات مفحوصة. اختر المرشح POINT أو BILINEAR والالتفاف REPEAT أو CLAMP خارج الإطارات.

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

ارسم باستخدام DrawTexture أو DrawTextureV أو DrawTextureEx أو DrawTextureRec أو DrawTexturePro. تحافظ أبعاد مستطيل المصدر الموقعة على الانعكاس. يحتفظ المقياس الصفري أو السالب ومستطيلات الوجهة الموقعة بسلوك Raylib المقبول، مع فحص الحسابات الناتجة قبل الدخول الأصلي.

تحويل إحداثيات كاميرا2

أنشئ كل حقول Camera2D، الإزاحة والهدف والدوران والتكبير الموجب. تقاس الزوايا بالدرجات. يحتاج BeginMode2D(camera) إلى إطار رسم مفتوح دون وضع كاميرا نشط. أقرنه بـEndMode2D قبل EndDrawing. تعيد الأوضاع المتداخلة أو غير المقترنة raylib.invalid_order دون تغيير الزوج الحالي.

ارسم داخل الوضع بإحداثيات العالم، ثم ارسم حدود الشاشة أو عناصرها بعد مغادرته. GetWorldToScreen2D وGetScreenToWorld2D مساعدان نقيان مفحوصان لا يحتاجان إلى نافذة أو إطار. حول إحداثيات الفأرة المأخوذة بالكاميرا نفسها عند اختبار عناصر العالم. تفشل المدخلات غير المنتهية والتكبير الصفري والتحويلات الناتجة غير القابلة للتمثيل قبل الدخول الأصلي.

ترسم عائلة أشكال الكاميرا مستطيلا ودائرة وخطا سميكا ومثلثا عبر الكاميرا، ثم نقطة وحدودا بإحداثيات الشاشة.

اختبار التصادم في فضاء إحداثيات واحد

مساعدات التصادم عمليات نقية مفحوصة. لا تحتاج إلى شاشة أو إطار أو مالك مورد ويسمح بها في معالجات HTTP والاستدعاءات الراجعة المدارة. الرسم وعمليات الجهاز للتطبيق فقط، ولا يستطيع مساعد أو قيمة دالة مخزنة تجاوز قيود آثارها.

استخدم CheckCollisionRecs وGetCollisionRec للمستطيلات أو اختبارات الدائرة والمستطيل والنقطة والمثلث في المرجع. قدم المعاملين في فضاء الإحداثيات نفسه. يجب أن يكون نصف القطر غير سالب. تتبع الأشكال الموقعة أو المنحلة المقبولة سلوك الخلفية المثبتة. قد تعيد الحسابات الناتجة المفحوصة raylib.numeric_overflow حتى عندما تكون كل المدخلات منتهية.

تتحقق عائلة الصور من تداخل المستطيلين عند 24,24 و30,28، ثم ترسم التقاطع المعاد بالأحمر داخل وضع الكاميرا. يفحص ذلك هندسة التصادم وموضع الرسم.

اختيار الخطوط المضمنة أو المخصصة

يعيد GetFontDefault الخط العربي واللاتيني المضمن بحجم أساسي 32. لا يحتاج النص على المعالج إلى شاشة أو جهاز صوت. تستخدم حزمة HarfBuzz وICU وFreeType المثبتة Unicode 17 وخطي Noto Sans Arabic Regular 2.013 وNoto Sans Regular 2.015 المضمنين. لا تستبدل خطوط المضيف أو لغته أو ICU_DATA هذه القاعدة. يتضمن ملف الإشعارات المرافق تراخيص الخطوط ونسبة FreeType وإخلاء مسؤوليتها.

للخط المخصص، قدم ملف حدود TrueType مرخصا ذا وجه واحد نسبة إلى مجلد العمل. يستخدم LoadFont الحجم الأساسي 32. يقبل LoadFontEx حجما أساسيا 1..4096 وتلميحات تجهيز منسوخة من نوع list<i32> لقيم المحارف. تعني القائمة الفارغة عدم التجهيز المسبق ولا تحد التغطية. لا تدعم مجموعات الخطوط أو CFF/PostScript أو WOFF/WOFF2 أو خطوط الصور النقطية والألوان. تعيد الجداول المطلوبة المعطوبة raylib.invalid_font، والملفات غير المدعومة raylib.unsupported_font، وفشل قراءة الملف raylib.load_failed.

يجرب الاختيار الخط المخصص ثم الخط المضمن الاحتياطي المفضل للنظام الكتابي. يحافظ على عناقيد المحارف وتسلسلات الوصل العربية معا. يتطلب اختيار خط عربي مخصص ميزات الوصل والعلامات المقبولة. لا يقبل مربعات بديلة نهائية، ويعيد النص غير المغطى raylib.missing_glyph.

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

حفظ ترتيب النص المنطقي وقياس تخطيطه

قدم النص بترتيبه المنطقي. لا يعيد الوصل العربي والربط والعلامات وترتيب الاتجاهين العربي واللاتيني كتابة النص أو تسوية المعرفات أو تغيير بايتات المسار. يستخدم MeasureText وDrawText الاتجاه Auto والمحاذاة Start دون التفاف أو تباعد إضافي للأسطر. يشترط MeasureTextEx وDrawTextEx وDrawTextPro تباعد محارف صفريا.

يأخذ CreateTextLayout حقول TextOptions الستة كلها. font_size منته في 0.5..4096. direction هو Auto أو LTR أو RTL. يستخدم Auto أول محرف قوي، ويختار LTR للفقرات المحايدة فقط. يفعل has_width قيمة width منتهية موجبة، وإلا يكون العرض غير نشط. alignment هو Start أو End أو Center أو Left أو Right. يتبع Start وEnd اتجاه الفقرة الأساسي، أما Left وRight فجانبان فيزيائيان. line_spacing منته وغير سالب.

يستخدم الالتفاف فواصل أسطر ICU الجذرية ثم فواصل طارئة بين عناقيد المحارف. قد يتجاوز عنقود كبير العرض المقدم. تفصل LF وCR وCRLF وU+2029 الفقرات، وتكسر U+2028 السطر. تتبع الأسطر الفارغة والنهائية وتحكم الاتجاهين وZWJ/ZWNJ والواصلات اللينة قواعد التخطيط. للنص الفارغ صفر من الأسطر والارتفاع. تعيد NUL وعلامة الجدولة وDEL ومحارف Cc الأخرى غير المدعومة raylib.invalid_text.

يعيد MeasureTextLayout النوع TextMetrics. size صندوق منطقي يستخدم العرض المقدم عندما يكون نشطا. ink حدود المحارف المحلية بما فيها العلامات والتجاوزات. يقرب الحجم الفعلي إلى 1/64 مع كسر التعادل نحو العدد الزوجي. يقبل MeasureText أحجاما صحيحة 1..4096 ويقرب عرض النص المشكل لأعلى إلى i32 مفحوص. يعيد MeasureTextEx الحجم المنطقي من نوع Vector2. تعمل هذه العمليات على المعالج قبل إنشاء نافذة.

التخطيطات ملاك مشتركون ثابتون. يغلق تحرير نسخة كل النسخ وينجح تكراره. يحتفظ التخطيط بخطوطه بعد تحرير Font المخصص ويبقى بعد إغلاق النافذة وإعادة فتحها. يعيد الوصول إلى تخطيط مغلق raylib.closed_resource، ويعيد فحص الصلاحية خطأ.

رسم المواضع المقاسة

يرسم DrawTextLayout عند الركن العلوي الأيسر المنطقي. يضيف DrawTextLayoutPro الأصل والدوران. يشكل DrawTextEx وDrawTextPro النص المنطقي نفسه بتباعد محارف صفري. يحول الأصل والدوران وCamera2D الموضع دون تغيير المقاييس المحلية. يحافظ إخلاء مخبأ المحارف على هذه المقاييس.

يتطلب رسم النص خيط التطبيق الرئيسي ونافذة حية وإطار رسم مفتوحا. لا يرسل فشل التحقق أو المحرف أو الحساب أو التجهيز المعروف أي جزء من طلب النص. يبقى الرسم المقبول سابقا صالحا. قد يحتفظ العمل المقبول ببيانات المحارف بعد التحرير المنطقي حتى العرض أو انتهاء الاستخدام الأصلي.

تجهز عائلة النص المشكل والصوت تخطيطها وتقيسه قبل فتح النافذة. توضح الحدود الرمادية الصندوق المنطقي والحمراء الحبر. يلزم ملف النغمة OGG الأصلي وإشعار CC0 خارجيا، والخطوط الافتراضية مضمنة.

تهيئة الصوت وتحديث الموسيقى

يجرب InitAudioDevice خدمة PulseAudio عبر libpulse.so.0 ثم ALSA مباشرة عبر libasound.so.2، بما فيه فشل بدء التشغيل. يعمل PipeWire عبر خدمته المتوافقة مع PulseAudio. يتطلب كل انتقال تحريرا كاملا آمنا. يبقى المسار الناجح ثابتا حتى الإغلاق، ولا يوجد نجاح بجهاز وهمي. يشترك الصوت والنافذة في حجز جهاز العملية للتنفيذ مع نطاقي إغلاق وتراجع منفصلين.

حمل Sound أو Music بعد تهيئة الصوت وخارج إطارات الرسم. يفك LoadSound بايتات WAV/OGG/MP3 منسوخة. يحتفظ LoadMusicStream ببايتات منسوخة ومفكك ومخازن بث محدودة مستقلة عن الملف الأصلي. التشغيل والإيقاف المؤقت والاستئناف والإيقاف ومستوى الصوت والتوازن والحدة والبحث والتكرار وUpdateMusicStream عمليات للتطبيق وخيطه الرئيسي مسموحة داخل إطار. مستوى الصوت منته في 0..1 والتوازن في -1..1 والحدة منتهية موجبة. يجب أن يلائم معدل إعادة التعيين الناتج النطاق الأصلي المقبول. يحفظ الرفض الحدة السابقة، ويعيد فشل المحول قيمتها أو يغلق ذلك المالك.

لا يفك تشغيل الموسيقى وحده العينات ولا يملأ مخازنها. استدع UpdateMusicStream صراحة، عادة مرة في كل إطار. يعرض GetMusicTimeLength وGetMusicTimePlayed ثواني f32 مفحوصة. يقبل SeekMusicStream المجال 0..الطول المبلغ عنه شاملا الطرفين. الطرف الأخير نهاية منطقية للملف. يعيد التحديث التالي تشغيل الموسيقى الجارية المتكررة أو يوقف الموسيقى غير المتكررة والفارغة. يبقى تحديث الموسيقى الموقوفة أو المتوقفة مؤقتا غير نشط. يغلق رفض البحث من المفكك نسخ Music ويعيد raylib.load_failed.

تشارك نسخ Sound وMusic مالكا قابلا للإغلاق في جيل الصوت الحالي. يوقف التحرير التشغيل ويلغي تتبعه، ويبطل إغلاق الجهاز كل التوابع قبل التدمير الأصلي. لا يحيي الفتح الجديد النسخ القديمة. تبقى البيانات والتكاليف حتى انتهاء استخدام المازج والمفكك بغض النظر عن اكتمال التشغيل. IsAudioDeviceReady وIsSoundValid وIsMusicValid فحوص كلية. يقرأ GetMusicLooping بيانات المالك المحفوظة. يسمح بهذه العمليات في المعالجات والاستدعاءات الراجعة. تبقى ملاحظات التشغيل وSetMusicLooping مشروطة بسياق التطبيق. لا يستدعي المازج دالة مصدر ASPL.

إعطاء HTTP والرسم أدوارا صريحة

استورد core::http مع Raylib. يملك دليل HTTP وواجهته تصريحات الخدمة الكاملة. يعيد start النوع Session<C,S> بعد جاهزية المستمعين ولا يشغل معالجا. استدع progress خارج إطارات الرسم. ميزانيته الافتراضية 4096 تعليمة و2 ms نشطة وصفر ms انتظار. الأدوار محدودة ومتسلسلة، وقد يتجاوز عمل النظام أو المكتبة الأصلية active_ms. يستطيع المعالج المشغول التنازل عند ميزانية التعليمات مع استمرار التطبيق في الرسم.

قد يحافظ EndDrawing والإدخال المنتظر على النقل والمواعيد خارج الرسم دون تشغيل معالج مصدر. لا يحرك الإدخال داخل الإطار HTTP أو المعالجات. قد تنتهي مهلة طلب عميل HTTP حاجب في التطبيق نحو خادمه الصريح نفسه. رتب تقدما صريحا بالتواتر الذي يحتاجه التطبيق.

تستطيع مساعدات حالة الجلسة وإعداداتها في التطبيق العمل داخل إطار. تبقى مساعدات Context خاصة بالمعالج الحي. تنسخ القراءة الحالة، وتحفظ اللقطات هوية الجلسة والإصدار داخليا وتبقى قيمتها للقراءة فقط بعد الإغلاق. يستبدل النشر المشروط الحالة كلها ويزيد الإصدار. تعيد لقطة قديمة من الجلسة نفسها نجاحا بقيمة خطأ، وتعيد لقطة جلسة أخرى http.invalid_argument. لا يمنح مالك أو لقطة أو قيمة دالة محفوظة سلطة جهاز أو Context. تمنع عمليات الجهاز في المعالجات عبر كل الاستدعاءات. يسمح بالحساب النقي والنص على المعالج والفحوص الكلية وبيانات المالك للقراءة فقط.

يبدأ stop_session التصريف. واصل التقدم حتى SESSION_CLOSED. يسحب close_session الخدمة فوريا دون تشغيل معالجات التصريف. ينجح تكرار الإيقاف والإغلاق الطبيعيين. تعيد مساعدات الحالة المغلقة http.closed_session، والإطار أو السياق الخاطئ http.invalid_order أو http.invalid_context. تبقى إخفاقات المضيف المسجلة بعد التحرير الآمن.

تقدم عائلة HTTP والإطارات المتزامنة البرامج العربية والإنجليزية والمختلطة الأصلية. جهز الطرف العلوي والعملاء المحليين الموصوفين هناك. يتحرك المربع مع تقاسم /busy و/wait و/fast الأدوار. يتيح تأخير الطرف العلوي تقادم اللقطة. راجع نشر HTTP لمتطلبات TLS والثقة.

حفظ الأسماء المكافئة وهوية المستخدم والنصوص

تسمي الأسماء المكافئة الموردة الأنواع والعمليات نفسها. تعد الصيغتان لحقل سجل مورد واحد تكرارا. تحتفظ سجلات المستخدم وحقولها بأسمائها المكتوبة. يختار تبديل اللغة التوثيق ولا يترجم المصدر. تحتفظ النصوص بالمحارف المفككة وبايتات NUL. النص الذي يشبه مسارا ليس قراءة ملف. تفرض عمليات النص والمسار والعنوان كل منها قواعد مدخلاتها.

تعمل عائلة الهوية والنصوص دون رسوم أو صوت أو طرف علوي. تستخدم القياس المشكل المضمن والأسماء المكافئة للسجلات والتعدادات والأعلام وميزانية تقدم HTTP النقية. يحتفظ استدعاء abs غير الآمن العادي من libc.so.6 بعقد توافق C. تطبع رسالة ثنائية اللغة لجدولة غير صالحة ومسار PNG نصيا ومحتوى مفككا وNUL. لا يلزم تنزيل PNG.

تتضمن رسائل أخطاء النص scalar_index=N المنطقي من الصفر وscalar=U+XXXX. يستخدم UTF-8 الأصلي المعطوب byte_offset=N. هذه تفاصيل رسائل وليست حقول نتيجة إضافية أو واجهة تحليل رسائل. تهرب الرسالة محارف التحكم غير المدعومة، ويحتفظ الإخراج العادي بالبايتات النصية.

الإنهاء وتحرير الموارد

افحص نتائج التحرير والإغلاق الصريحين عند الانتهاء الطبيعي. يسحب الرجوع أو المصيدة أو الحد أو الإلغاء عمل المصدر ويهجر الإطار المفتوح دون عرض إطار أخير عمدا. يحرر التنظيف عمل GPU قبل نافذته وعمل المازج والمفكك قبل جهاز الصوت. تبقى الذاكرة والتكاليف محفوظة عندما يتعذر إثبات التحرير الأصلي. لا يوجد ضمان قطع قسري داخل العملية لتعليق برنامج تشغيل المضيف.

الحدان الافتراضيان 256 MiB للآلة الافتراضية وحساب خلفية مشترك واحد قدره 128 MiB لـRaylib وHTTP. يحفظ الرفض قبل الدخول الأصلي الحالة، ويضمن الفشل بعد الآثار الأصلية تنظيف الموارد المملوكة دون تراجع عام. راجع الحدود والأخطاء.

عند توزيع برنامج ELF احتفظ بملفه المرافق .THIRD-PARTY-NOTICES والأصول والإشعارات المطلوبة. يعمل البرنامج الناتج دون المصدر أو مترجم ASPL لكنه يحتاج إلى متطلبات رسوم Linux الموثقة. يبقى مصدر الدليل الأصلي (يفتح في نافذة جديدة) تنزيلا مطابقا للمنشور.

توقف أول إشارة SIGINT/SIGTERM كود التطبيق نهائيا وتلغي الإدخال وطلبات التطبيق المنتظرة، وتصرف فقط معالجات HTTP المقبولة سابقا خارج الرسم. تسحب الإشارة الثانية التصريف المتبقي. لا تشغل المصائد والحدود والإلغاء الآخر معالجات تصريف. يستخدم تنظيف الموارد المتبقية موعدا واحدا t + max(R,H) تقيده نطاقات التنفيذ والعملية والجلسة السابقة، ولا تجدده المحاولات. R مهلة تنظيف Raylib. H مهلة الجلسة المتبقية، وإلا أقصى 1000 ms ومهل تنظيف العملاء المقبولين عندما يبقى عمل HTTP. لا تضيف الاستيرادات غير المستخدمة أو الترويسات المغلقة مهلة. تبقى حالات الانتهاء 5 للمصيدة و6 للحد و7 للإلغاء و8 لفشل المضيف، مع نسبة تنظيف منفصلة للنتيجة الأساسية السابقة.

النشر بمتطلبات المضيف الفعلية

تستهدف الأدوات والبرامج الناتجة Linux بمعمارية x86_64 وglibc 2.34 أو أحدث. هي ELF64 PIE بمفسر /lib64/ld-linux-x86-64.so.2 واعتمادين مباشرين libc.so.6 وlibm.so.6، مع RELRO وربط فوري ومكدس غير قابل للتنفيذ ودون RPATH/RUNPATH. تجلب مكتبات الرسوم والصوت المحملة ديناميكيا اعتمادياتها وصلاحياتها وبرامج تشغيلها. يحتاج النص على المعالج والمساعدون النقيون إلى قاعدة المعالج وglibc فقط، ولا يحصل الاستيراد وحده على شاشة أو جهاز صوت.

يستخدم تحميل المضيف بحث المحمل المعتاد بنطاق فوري ومحلي وفحص الرموز المطلوبة. لا تلزم روابط مكتبات التطوير. يتبع اختيار الشاشة تجهيز المضيف، ويجرب الصوت PulseAudio ثم ALSA. يوقف رفض المدخلات أو الموارد أو الإلغاء أو تعذر إثبات التنظيف المحاولات. يعرض فشل كل المرشحين بعد التحرير الآمن فئة المرشح الأخير والخلفيات المجربة. لا يستبدل مسار الرسوم أو الصوت النجاح بتشغيل دون جهاز.

تضمن الأدوات Raylib 6.0 وHarfBuzz 14.4.0 وICU 78.3 ببيانات Unicode 17.0.0 الكاملة وFreeType 2.14.3 والخطوط الافتراضية. لا يستدعي فحص التطبيق وبناؤه مترجم C أو مجمعا أو رابطا ولا يحصل على جهاز. لا يحتاج المتلقي إلى مشغل ASPL أو Raylib نظامي أو خطوط مضيف أو مصدر. تبقى ملفات PNG وWAV/OGG/MP3 والخطوط المخصصة خارجية عند استخدامها. احفظ مسارات مجلد العمل وتراخيصها.

بعد تنزيل عائلة النص المشكل وOGG وإشعاره في الشجرة المذكورة:

mkdir -p deploy/docs/examples/assets
aspl build -o deploy/shaped docs/examples/raylib/shaped-text-audio.ar.aspl
cp docs/examples/assets/raylib-tone.ogg docs/examples/assets/raylib-tone.NOTICE deploy/docs/examples/assets/
cd deploy
./shaped --aspl-diagnostic-language=ar

وزع <program>.THIRD-PARTY-NOTICES بجانب الملف التنفيذي مع إشعارات الأصول. لا يقرأ التشغيل الملف المرافق. ينشر البناء المرافق ذريّا أولا ثم الملف التنفيذي. يمنع فشل الإشعار نشر التنفيذي، ويحفظ فشل التنفيذي اللاحق الملف القديم ويبلغ عن الإشعار المنشور. يعيد اصطدام المصدر أو الوحدة output-is-source، وتطابق مساري التنفيذي والمرافق output-path-collision، وفشل الأمان أو الكتابة أو النشر host-operation-failed مع تفاصيل المرحلة والمسار والنتيجة الجزئية. لا ينشئ تشغيل المصدر مرافقا.

تختار شجرة الاستيراد كلها، بما فيها الاستيرادات غير المستخدمة والمتعدية، برنامجا مجهزا أساسيا أو HTTP أو Raylib أو مشتركا. لا تضيف مخرجات الأساسي أو HTTP وحدهما متطلبات Raylib أو الخطوط أو الجهاز. يجب أن تطابق سجلات البايتكود والفهرس والتجهيز الخاصة الأداة المختارة، وليست ABI عامة ثابتة. تحتفظ البرامج المستقلة الموزعة سابقا بهوياتها المضمنة. توفر خطوات التثبيت ومتطلبات النظام والتنزيلات ونشر HTTP الإجراءات المرتبطة. يحتفظ مصدر النشر الأصلي (يفتح في نافذة جديدة) ببايتاته المنشورة ونطاق أدلته.

دالة البداية

يبدأ برنامج ASPL بالدالة الإلزامية ابدأ_الرئيسية / start_main في الملف الجذر. لا تأخذ معاملات وتعيد i64. تشمل التصريحات العليا الدوال والسجلات والاستيرادات. يمكن للبرامج الأصلية استخدام وحدات مصدر المستخدم والتصريحات الخارجية. توضع العبارات التنفيذية والروابط داخل الدوال.

لا يمكن استدعاء دالة البداية من المصدر. يفشل الفحص عند غيابها بالسبب missing-entry-function أو عند وجود توقيع غير صالح بالسبب invalid-entry-signature. ويفشل استدعاؤها بالسبب entry-call-not-allowed.

حالة العملية

أعد عددا صحيحا من 0 إلى 255 بوصفه حالة العملية. تنهي أي نتيجة أخرى التنفيذ بالنتيجة trap / invalid-process-status، ولا تختزل ASPL القيمة. ينطبق عقد البداية نفسه على مضيف المتصفح والمضيف الأصلي في ASPL 0.7.0.

الحالة والخرج مستقلان. الإرجاع العادي للقيمة 1 تنفيذ ASPL ناجح. أخطاء المصدر والفخاخ والنتائج القابلة للاسترداد والإلغاء وفشل المضيف أو الموارد نتائج مختلفة. استخدم اطبع لإنتاج الخرج، والأوامر الأصلية لاصطلاحات حالة CLI.

مثال كامل

يعيد هذا المثال المفحوص الحالة 0 ولا ينتج خرجا. مفردات المصدر مستقلة عن لغة التوثيق.

{
  "browser": {
    "check": "success",
    "class": "success",
    "output": "",
    "processStatus": 0
  },
  "native": {
    "check": 0,
    "status": 0,
    "output": ""
  }
}

صياغة أوامر Linux

تصف هذه الأشكال أداة ASPL 0.7.0 الأصلية المنشورة. اتبع صفحة التثبيت للتحقق وإعداد PATH.

aspl [COMMON_OPTIONS] check [--] SOURCE
aspl [COMMON_OPTIONS] run [--] SOURCE
aspl [COMMON_OPTIONS] build [-o OUTPUT | --output=OUTPUT] [--] SOURCE

الخياران المشتركان هما --diagnostic-language=ar|en و--color=auto|always|never. يسبقان الأمر ولا يجوز تكرار أي منهما. القيم حساسة لحالة الأحرف وتستخدم =. تسبق خيارات خرج البناء المصدر. يسمح -- بمسار مصدر يبدأ بشرطة. تنتهي مسارات المصدر بـ.aspl أو .لبات؛ يأخذ الأمر مصدرا جذريا واحدا ويحمل استيراداته الصريحة لوحدات المصدر. لا تقبل الأوامر المصدر من stdin أو جذورا متعددة أو خرج بايت كود عامّا أو معاملات للبرنامج.

استخدم aspl --version أو aspl --help أو aspl build --help للمعلومات. الإصدار سطر مستقل عن اللغة هو aspl 0.7.0. تستخدم المساعدة والتشخيصات العربية افتراضيا بغض النظر عن مفردات المصدر أو لغة العملية. للإنجليزية، استخدم aspl --diagnostic-language=en --help.

مراحل الترجمة والتنفيذ

تقرأ الأوامر الثلاثة المصدر وتحل وحداته الصريحة وتترجم بايت الكود الخاص وتتحقق منه. يتخلص check بعد ذلك من النتيجة. يجهز run الاعتمادات الأصلية وينفذ في العملية نفسها. يغلف build ملف ELF ويتحقق منه ويكتب ملفا مؤقتا في مجلد الوجهة ثم ينشره بإعادة تسمية ذرية. لا يستدعي مترجما خارجيا أو رابطا. لا ينفذ الفحص والبناء البرنامج ولا يحملان مكتباته الخارجية.

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

الحالات وقنوات الخرج

يعيد الفحص أو البناء الناجح صفرا ويكون صامتا ما لم توجد تحذيرات. يعيد run والبرنامج المبني نتيجة دالة البداية الصحيحة العادية من 0 إلى 255. تؤدي النتيجة خارج المجال إلى فخ. قد تتداخل النتائج العادية غير الصفرية مع حالات الفشل؛ افحص stderr للتشخيصات. لا تغير التحذيرات حالة النجاح.

يستخدم خرج البرنامج stdout وتستخدم التشخيصات والفخاخ stderr. لا يضيف run رسالة نجاح إلى خرج البرنامج. استخدم --color=never لتشخيصات بلا ألوان في السكربتات. ترث الأداة دليل العمل والبيئة والقنوات القياسية. للكود الخارجي صلاحية العملية الأصلية وقد يفشل خارج ضمانات وقت تشغيل ASPL.

خيارات البرنامج المبني

لا يقبل البرنامج المبني إلا --aspl-diagnostic-language=ar|en و--aspl-color=auto|always|never، كل منهما مرة واحدة باستخدام =. دون خيارات، تكون التشخيصات عربية والألوان تلقائية. لا يقبل معاملات عادية أو -- أو --help أو --version. مثلا، يشغل ./hello --aspl-diagnostic-language=en --aspl-color=never البرنامج. انظر الإدخال الأصلي والتنفيذ المستقل.

إدخال الأسطر الأصلي

في ASPL 0.7.0، تقرأ اقرأ_سطر / read_line: () -> string سطرا واحدا من stdin الموروث. لا تقبل معاملات أو وسم غير_آمن. لا تطبع الدالة مطالبة أو صدى أو نهاية سطر. اطبع المطالبة أولا؛ تظهر قبل انتظار الإدخال حتى دون سطر جديد. يستخدم إدخال الطرفية والأنابيب والملفات المعاد توجيهها القارئ نفسه في aspl run والبرامج المبنية.

تزال نهايتا LF وCRLF. يعيد السطر الفارغ نصا فارغا. يعاد السطر الأخير غير المنتهي مرة واحدة عند EOF، وتؤدي القراءة اللاحقة إلى فخ input-exhausted. تبقى المسافات وNUL والعلامات العربية ومحارف الاتجاه والأرقام والتطبيع كما قدمت. الإدخال بيانات لا تمر بتحويل أرقام المصدر. يستهلك القارئ السطر الحالي فقط ويترك بايتات stdin اللاحقة للقراءات التالية أو الكود الخارجي.

نهاية الإدخال وحالات فشله

يتحقق وقت التشغيل من كل سطر كامل بوصفه UTF-8 صارما. تسبب البايتات غير الصالحة فخ invalid-input-utf8 مع إزاحة أول بايت غير صالح. الحد الافتراضي للسطر 65536 بايت محتوى دون LF أو CRLF. ينجح الحجم المطابق تماما؛ ويوقف السطر الأكبر التنفيذ بحالة input-line-limit بدلا من إرجاع نص مبتور. نهاية الإدخال دون سطر فخ وليست نصا فارغا. لا يبلغ الإلغاء أو تقاطع إشارة أثناء الانتظار بوصفه EOF.

تجربة الأنبوب وإعادة التوجيه

نزّل مثال الإدخال المقدم باسم input.aspl. يسأل عن الاسم ويطبع الاسم المقدم مع التحية ويعيد صفرا. تحتفظ صيغة المفردات الإنجليزية بنص المطالبة والخرج العربي الأصلي.

printf 'Mina\n' | aspl run input.aspl
printf 'Mina\n' > name.txt
aspl run input.aspl < name.txt
aspl build -o input input.aspl
printf 'Mina\n' | ./input
./input < /dev/null

تطبع أشكال التنفيذ الثلاثة الأولى ما اسمك؟ مرحبا Mina وسطرًا جديدًا. لا يجد الأمر الأخير سطرا: يطبع المطالبة ثم يتوقف بفخ input-exhausted وتشخيص في stderr وحالة 5. لاختيار نص التشخيص الإنجليزي، استخدم ./input --aspl-diagnostic-language=en < /dev/null.

متطلبات البرنامج المستقل

تتضمن القوالب الأصلية المنشورة للإصدار 0.7.0 الآلة الافتراضية وبايت كود خاصا بالإصدار 7. بايت الكود الخاص ليس تنسيق ملفات عاما مستقرا. يعمل ELF المبني بعد إزالة المصدر وASPL من PATH. يظل بحاجة إلى محمل Linux والمكتبات المتوافقة والمكتبات الخارجية أو بيانات التنفيذ التي يستخدمها. لا يتحقق البناء من توافر اعتمادات التنفيذ هذه.

ترث البرامج المبنية stdin وstdout وstderr والبيئة ودليل العمل. خياراتها الوحيدة هي خيارات التشخيص الأصلية. استخدم ./program لتنفيذ ملف محلي؛ لا يدخل الملف التنفيذي في الدليل الحالي تلقائيا ضمن PATH. لا تغير ترقية الأداة الأصلية أو الرجوع عنها ملف ELF موجودا. أعد البناء من المصدر بالأداة المختارة إذا أردت برنامجها المولد.

قواعد المصدر

المصدر UTF-8 صارم وفق Unicode 17.0. الأسماء حساسة لحالة الحروف وبتطبيع NFC، وبخط عربي أو لاتيني واحد لكل اسم. المفردات والعوامل الإنجليزية بدائل مطابقة ويمكن مزجها. الأرقام وعلامات الترقيم في الشيفرة من ASCII، وتكتب المساواة والاقتران والفصل بـ matches وand وor أو ببدائلها العربية يطابق وتطابق وو وأو. للأعداد بادئات 0x/0X و0b/0B أو 0س و0ث؛ سداسي عشر العربية يستخدم ا ب ت ث ج ح للقيم 10 إلى 15. تنتهي العبارات بـ . أو ;. يبقى كل رمز عددي LTR في ترتيب المصدر المنطقي، ولا يغير ترتيب العرض بايتات المصدر.

تستخدم المعرّفات ملف Unicode لـXID_Start وXID_Continue مع _، ويحدد تطبيع NFC الهوية. يسمح بعلامة UTF-8 BOM في البداية وتحسب ضمن حجم المصدر. يسمح بـNUL الخام داخل النصوص والتعليقات ويمنع خارجهما. ينشئ \0 داخل النص أيضا NUL وقت التشغيل. تحتفظ النصوص والتعليقات بمحتواها دون تطبيع. يسمح بـLRM وRLM عند حدود الرموز القانونية فقط، وترفض المحارف المحظورة الأخرى. تكشف التشخيصات محارف التحكم برمزها واسمها.

match اسم بديل آخر للمساواة. not / لا / ليس / ليست ينفي الشرط ويمكن أن يسبق المساواة مثل a not match b. != لعدم المساواة، و== و&& و|| غير صالحة.

تحويل أرقام المحرر

مقبول: كلمات عربية وإنجليزية وبادئا عدد في البرنامج نفسه. مرفوض: أرقام غير محولة خارج النصوص والتعليقات، أو اسم يجمع الخطين، أو تهجئة سداسية عشر تخلط الأبجديتين. يحول المحرر أرقام العربية الهندية والفارسية إلى ASCII خارج النصوص والتعليقات ويعرض محارف التحكم غير المرئية بوضوح.

يحوّل الإدخال واللصق في محرر المصدر الأرقام فقط خارج النصوص والتعليقات. استيراد ملف المصدر يحفظ بايتاته ولا يجري هذا التحويل. إدخال البرنامج ونص التحليل العددي لا يمران بالمحرر. العرض RTL أو LTR والنسخ يحفظان ترتيب المصدر المنطقي.

النصوص والتعليقات

النص بين علامتي اقتباس مزدوجتين. المحارف المهربة هي \\ و\" و\0 و\n و\r و\t و\u{...} لقيمة Unicode scalar واحدة من رقم إلى ستة أرقام سداسية عشرية. السطر الخام أو الهروب المجهول خطأ. يبدأ // تعليق سطر، و/* ... */ تعليق كتلة لا يتداخل. راجع مرجع الأعداد للحرفيات والبادئات.

يقبل ASPL 0.7.0 أيضا بدائل عربية لمحارف الهروب. يمكن مزج الصيغتين في النص نفسه، وينتج كل زوج البايتات نفسها. تبقى الشرطة المائلة العكسية بداية الهروب، ويظل / محرفا عاديا داخل النص.

تحتفظ \u{...} بأبجدية ASCII السداسية عشرية. تقبل \ي{...} أرقام ASCII السداسية عشرية إضافة إلى ا ب ت ث ج ح للقيم 10 إلى 15، ويمكن مزج الأبجديتين. تتطلب الصيغتان رقما إلى ستة أرقام، وترفضان القيم البديلة والقيم الأعلى من U+10FFFF، وتقبلان U+0000 داخل النصوص. مثلا تنتج \ي{062ت} و\u{062C} المحرف ج نفسه. لا تقبل أي صيغة أرقام العربية الهندية أو الفواصل. تحتفظ ملفات الإصدار المنشور 0.6.0 بصيغة الهروب الأصلية.

نطاق الإصدار والمراجع

تصف هذه الصفحة ASPL 0.7.0. نص MVP المرتبط سجل تاريخي، ولا يصف كل الإضافات الحالية.

أضاف امتداد الأعداد بادئات الأساس والعمليات البتية. يبقى == و&& و|| غير صالح. المثال جمع الأعداد يبيّن المفردات المختلطة.

الأنواع الدقيقة

لا توجد تحويلات ضمنية. كل قيمة عددية مكتوبة لها نوعها الدقيق وعرضها وإشارتها. العمليات تحتاج نوعي معاملين متطابقين، والحدود أو الحاويات لا تحوّل القيمة. التحويل الوحيد هو تطبيق اسم نوع عددي صريح مثل ط8(value) أو u8(value)، وقد يوقف التنفيذ عند عدم تمثيل القيمة. يبقى ص64/i64 لنتيجة البداية والفهارس والأطوال وحدود يونيكود. النص ثابت، وc_ptr معتم وقابل للقيمة الفارغة، ولا يمكن تخزين unit. يتيح الربط المهيأ استنتاج النوع، وتتطلب if, while شرطا منطقيا، وreturn نتيجة من النوع المعلن.

الأسماء الأساسية الأخرى هي منطقي / bool ونص / string ومؤشر_سي / c_ptr ووحدة / unit. الحرفيات المنطقية صواب / true وخطأ / false، والمؤشر الفارغ عدم / null. تحتاج المساواة نوعين متطابقين، وتقارن النصوص بايتات UTF-8 بالضبط والمؤشرات بالهوية. لا يمكن تخزين unit أو تمريرها كقيمة أو مقارنتها.

الروابط

دع / let ثابت ومتغير / var قابل للإسناد. كل رابط يحتاج قيمة أولية. يمكن كتابة النوع بعد : أو استنتاجه. لا يسمح بالتظليل. الأنواع العددية المكتوبة لا تتحول ضمنيا حتى داخل قائمة أو سجل أو نتيجة. تشمل 0.7.0 أيضا list<T> وresult<T> والسجلات والقيم القابلة للاستدعاء، وهي إضافات إلى الأنواع الأساسية في MVP.

التدفق والتقييم

الشروط من نوع bool فقط. و / and وأو / or يقصران التقييم، و! ينفي الشرط. تقيم المعاملات والحجج والقيم الأولية من اليسار إلى اليمين. يحسب الإسناد الطرف الأيمن كاملا قبل تعديل الهدف. تستخدم إذا / if ووإلا / else وطالما / while كتلا مع نطاق معجمي. لا يوجد break أو continue. يجب أن تعيد كل مسارات الدالة غير unit القيمة المعلنة. تثبت if الإرجاع إذا أعاد الفرعان، بينما لا تثبته while. الكود الذي يثبت الفاحص أنه غير قابل للوصول مرفوض.

مثال الجمع يطبع 55\n ويرجع الحالة 0. التشخيص والتصحيح يوضح رفض تعديل رابط ثابت.

نطاق الإصدار والمراجع

تصف هذه الصفحة ASPL 0.7.0. نص MVP المرتبط سجل تاريخي، ولا يصف كل الإضافات الحالية.

الأنواع والمجالات

ع32 / f32 هو IEEE 754 binary32، وع64 / f64 هو binary64. كل زوج اسمي يشير إلى نوع واحد دقيق. لا يجوز إعادة تعريف هذه الأسماء أو أسماء التحليل والتنسيق العددي.

حرفيات المصدر

العدد العشري ذو الأصفار البادئة عشري. يقبل السداسي عشر اللاتيني 0x/0X الأرقام وa..f/A..F، ويقبل 0س الأرقام وا ب ت ث ج ح. يقبل الثنائي 0b/0B أو 0ث. يحتاج كل بادئ رقما واحدا على الأقل. تسمح _ بين رقمين صحيحين فقط، فلا تلامس البادئ أو النقطة أو الأس ولا تبدأ أو تنتهي أو تتكرر. لا توجد لاحقات نوعية أو ثماني أو عائم سداسي عشر أو حرفيات NaN أو infinity. النقطة منهي للعبارة ما لم تبدأ كسرا: 1. عدد صحيح ثم منهي و1.0. عدد عائم ثم منهي.

للعائم العشري كسر بأرقام على جانبي . أو أس e أو E بإشارة اختيارية ورقم واحد على الأقل. يقبل 1e2 و1.0e-2، ولا يقبل .5. إشارة المصدر عامل وحادي وليست جزءا من رمز الحرفية. لا تمزج أبجديتي الأساس في رمز واحد. كل الأرقام ASCII حتى مع البادئات العربية.

السياق والأسبقية

الأسبقية من الأقوى إلى الأضعف هي الاستدعاء والفهرسة والحقل والتجميع، ثم ! - ~، ثم * / %، ثم + -، ثم الإزاحات، ثم & ثم ^ ثم |، ثم المقارنات المرتبة، ثم المساواة، ثم AND المنطقي ثم OR المنطقي. العمليات الثنائية يسارية والوحادية يمينية.

نوع السياق يأتي من التصريح أو الإسناد أو المعامل أو الإرجاع أو الحقل أو القائمة أو النتيجة أو معامل مكتوب. العدد بلا سياق هو i64 أو f64. يقبل السالب المباشر أصغر قيمة موقعة، ويمتد حرفي u64 السياقي إلى 18446744073709551615. لا يختار الفاحص أصغر نوع مناسب ولا يحول قيمة مكتوبة سابقا.

عمليات الصحيح

الجمع والطرح والضرب والقسمة تحتاج نوعا متطابقا وتعيده، و% للصحيح فقط. فائض الجمع والطرح والضرب والسالب الصحيح الموقع يوقف التنفيذ بـinteger-overflow بدلا من الالتفاف. يرفض الفحص السالب الوحادي لعدد صحيح غير موقع مكتوب النوع بالسبب numeric-operator-not-supported. القسمة تقطع نحو الصفر، والباقي بإشارة المقسوم، والصفر أو أصغر موقّع على -1 يوقف التنفيذ. تعمل ~ & ^ | << >> بعرض المعامل بالضبط. عد الإزاحة أي عدد صحيح، ولا يحول إلى نوع الطرف الأيسر. العدد السالب أو الذي يساوي العرض أو يتجاوزه يوقف التنفيذ بـinvalid-shift-count. اليسرى تطرح البتات العالية، واليمنى غير الموقعة تصفر والعلامية تمد الإشارة.

العائم والتحويل الصريح

كل عملية f32 أو f64 تقرب لأقرب زوجي عند عرضها قبل العملية التالية. لا يوجد دمج مضاعفة وجمع. تبقى الأعداد دون العادية، والصفر الموقع، واللانهاية، ونتائج IEEE للقسمة على الصفر. تسوى NaN الناتجة إلى NaN هادئة موجبة، ومقارنتها المرتبة كاذبة.

يطبق التحويل الصريح أي اسم نوع على تعبير عددي فقط. تحويل الصحيح إلى صحيح يفحص المدى، والصحيح إلى العائم يقرب العدد الرياضي مباشرة إلى عرض الهدف لأقرب زوجي، وكل صحيح منته؛ لذلك يتحول أكبر u64 إلى 2^64 في f64. العائم إلى صحيح يقطع أولا ثم يفحص المدى، وتحويلات العرض العائم تقرب ولا توقف التنفيذ. الفشل المعتمد على قيمة التحويل لا يقع إلا إذا وصل التنفيذ إليه؛ تصنيفاته below-range وabove-range وnan وpositive-infinity وnegative-infinity. تكمل التحويلات المتداخلة من الداخل وتحفظ كل نقطة تقريب.

التحليل والتنسيق

لكل نوع محلل ومنسق: حلل_ص8/parse_i8 ونسق_ص8/format_i8؛ حلل_ص16/parse_i16 ونسق_ص16/format_i16؛ حلل_ص32/parse_i32 ونسق_ص32/format_i32؛ حلل_ص64/parse_i64 ونسق_ص64/format_i64؛ حلل_ط8/parse_u8 ونسق_ط8/format_u8؛ حلل_ط16/parse_u16 ونسق_ط16/format_u16؛ حلل_ط32/parse_u32 ونسق_ط32/format_u32؛ حلل_ط64/parse_u64 ونسق_ط64/format_u64؛ حلل_ع32/parse_f32 ونسق_ع32/format_f32؛ حلل_ع64/parse_f64 ونسق_ع64/format_f64.

المحلل يأخذ string ويعيد result<T>، والمنسق يأخذ T بالضبط ويعيد string. نص الصحيح إشارة ASCII اختيارية ثم أرقام ASCII عشرية. نص العائم إشارة ASCII اختيارية وأرقام، وكسر اختياري بأرقام تالية، وأُس اختياري e أو E بإشارة ASCII اختيارية وأرقام، أو واحد من nan, inf, +inf, -inf.

هذه قواعد نص وقت التشغيل وليست قواعد حرفيات المصدر: ترفض المسافات والفواصل والبادئات واللاحقات وNUL والذيل والأرقام غير ASCII، ورفض .5 و1. للعائم. يفحص المحلل البنية كلها قبل المدى. الرسائل الحرفية هي invalid number for T أو number out of range for T (MIN through MAX) أو finite number out of range for T. النتيجة الفاشلة بلا تشخيص أو موضع أو أثر.

التنسيق ASCII حتمي وقابل للذهاب والإياب للقيم العائمة المنتهية، ويطبع -0 وnan وinf و-inf كما هي.

التخزين العددي

تخزن الروابط والمعاملات والنتائج وحقول السجلات والقوائم وحمولات النتائج الأنواع العشرة بدقة. لكل خانة محجوزة في قائمة رقمية عرضها: 1 بايت لـi8/u8، و2 لـi16/u16، و4 لـi32/u32/f32، و8 لـi64/u64/f64.

طول القائمة والسعة والرسوم منفصلة: القائمة الفارغة سعتها صفر، والسعة غير الفارغة بين الطول وmax(4, 2 * length)، ورسوم العناصر capacity * width. النسخ تشترك أولا ثم تنفصل عند التعديل، وتحرر الذاكرة بعد آخر مالك. لا يوجد عرض بايت عام أو وعد بعنوان أو محاذاة أو ترتيب بايتات أو مخطط C. توقف الذاكرة أو الإلغاء أو فشل التخصيص لا ينشر تعديلا جزئيا.

نطاق الإصدار والمراجع

تضيف قواعد الأعداد المؤرشفة لـ0.4.0 العروض العشرة والسداسي والثنائي والبتات والتحليل لكل نوع. تبقى قواعدها العددية في 0.7.0، لكن رقم البايت كود الحالي هو 7 وليس 4. سلك نتيجة المتصفح 3. البايت كود خاص وليس واجهة توافق عامة. لا تغيّر هذه الصفحة نص MVP القديم الذي حدد i64 وf64 فقط.

النجاح والفشل المقصود

حقول التشخيص تشرح الفرق بين رفض الحرفية وفخ التحويل.

اقرأ العائلات الكاملة:

• numeric-types
• numeric-range-check
• numeric-conversion-trap

حقول التشخيص

يحمل التشخيص مفتاح سبب ثابت وشدة ومعاملات ذات أنواع وموضعا أوليا ومواضع ثانوية مرتبة وتعديلا اختياريا. اللغة تغير الصياغة فقط، وتبقى أسماء الأنواع والعوامل والحدود والقيم التقنية ASCII كاملة العرض. التحذير لا يمنع التشغيل. يربط التشغيل المباشر التشخيص بالمصدر؛ البرامج المبنية لا تحتوي خريطة المصدر، لكنها تبلغ اسم الدالة وفهرس التعليمة النسبي للفخ. المثال الأول يحاول تعديل رابط ثابت. يستبدل المثال الثاني دع / let بـمتغير / var ويعيد الحالة 1 بصورة طبيعية.

موضع المصدر والتصحيح

اختر التشخيص لتحديد موضعه في نسخة المصدر التي فُحصت. مواضع النقل هي إزاحات بايت UTF-8 نصف مفتوحة، ويعرض المحرر التحديد في المصدر المنطقي. قد يتضمن التشخيص تعديلا مقترحا. في مثال الرابط الثابت يشير الموضع الأولي إلى المعرّف المسند إليه، والمواضع الثانوية فارغة، ولا يوجد تعديل تلقائي مقدم. استبدل يدويا دع / let بـمتغير / var. يمكن أن تتضمن تشخيصات أخرى مواضع ثانوية مرتبة. تطبيق التصحيح ثم إعادة الفحص لا يشغّل البرنامج تلقائيا. المصدر المصحح يرجع 1 بنجاح ولا يطبع شيئا.

للتصحيح التلقائي، ينتج unsafe print("text") التشخيص unsafe-on-safe-call مع تعديل يزيل علامة unsafe. طبق التعديل صراحة ثم أعد الفحص. يشير الموضع الأولي إلى العلامة ونص الاستبدال فارغ.

نتائج مختلفة

مثال let byte: u8 = 256 خطأ فحص لأن الحرفي السياقي خارج المدى. أما u8(256) فمعامله i64 افتراضي صالح ثم يوقف التنفيذ بفخ invalid-numeric-conversion إذا وصل إليه. وparse_u8("256") يعيد نتيجة فاشلة بالرمز number-out-of-range. لا يتحول واحد من هذه المخرجات إلى الآخر.

خطأ المصدر يمنع الترجمة. التحذير يسمح بها. result<T> الفاشلة قيمة يستطيع البرنامج فحصها. الفخ يوقف البرنامج ولا يمكن التقاطه. فشل التحميل يقع قبل التنفيذ. limit-stop وcancelled وhost-failure نتائج مستقلة. success مع الحالة 1 نجاح لغة، حتى لو فسرته أداة shell كحالة غير صفرية.

حقول الأعداد

حقول خطأ الفحص numeric-literal-out-of-range للأعداد الصحيحة هي spelling, type, minimum, maximum، وللعائم spelling, type, classification حيث التصنيف finite-overflow. وحقول numeric-operator-not-supported هي operator, type.

حقول الفخ العددية مرتبة: integer-overflow يحمل type, operation, operand-count, operands؛ وinteger-zero-divisor يحمل type, operation, dividend؛ وinvalid-shift-count يحمل left-type, count-type, count, width؛ وinvalid-numeric-conversion يحمل source-type, target-type, classification ثم source-value أو source-bits. تحمل القيم غير الموقعة حتى u64 كاملة بلا تقريب JavaScript.

نطاق الإصدار والمراجع

تصف هذه الصفحة ASPL 0.7.0. نص MVP المرتبط سجل تاريخي، ولا يصف كل الإضافات الحالية.

اطبع النص

توقيع الطباعة المدمجة هو اطبع / print: (string) -> unit. يكتب بايتات النص بالترتيب، بما فيها NUL، بلا سطر جديد أو تفريغ تلقائي. أضف \n صراحة. لا يمكن إعادة تعريف أي من الاسمين. يعرض المتصفح بايتات الخرج بأمان ولا يفسرها كترميز صفحة.

مقبول: نص واحد، بما فيه النص الفارغ. مرفوض: عدد أو معاملات متعددة أو تخزين النتيجة.

الخرج والحالة وفشل المضيف

الكتابة متزامنة، والنص الفارغ لا يلمس المضيف. يعيد المضيف الأصلي محاولة الكتابات المقطوعة ويتابع الكتابات القصيرة. يبقى أي خرج مقبول قبل الفشل ظاهرا. لا توجد معالجة خاصة لإشارة SIGPIPE؛ قد ينهي الأنبوب المغلق العملية بها. إذا تجاهلت البيئة الإشارة أو حجبتها وأعادت الكتابة EPIPE، تكون النتيجة فشل مضيف بالحالة 8.

الخرج مستقل عن حالة العملية. حد المتصفح 256 KiB يرفض الكتابة المتجاوزة كاملة ويحفظ الخرج السابق. يعرض المتصفح النص بأمان حتى لو احتوى على علامات HTML.

نطاق الإصدار والمراجع

تصف هذه الصفحة ASPL 0.7.0. نص MVP المرتبط سجل تاريخي، ولا يصف كل الإضافات الحالية.

قراءة السطر وEOF

الدالة المدمجة اقرأ_سطر / read_line: () -> string تقرأ سطرا واحدا. لا تقبل معاملات أو وسم غير_آمن / unsafe، ولا يمكن تعريف اسم من أسمائها. اطبع أي مطالبة قبل الاستدعاء، فالدالة نفسها لا تكتب مطالبة أو صدى أو فاصلة نهاية. ينتهي السطر بـLF أو CRLF وتزال النهاية. السطر الفارغ نص فارغ. يعاد السطر الأخير غير المنتهي مرة واحدة عند EOF، ثم يوقف الاستدعاء التالي بـinput-exhausted.

مقبول: تمرير النص المقروء إلى دالة أو إعادته أو مقارنته أو طباعته أو قياسه أو فهرسته أو اقتطاعه أو جمعه أو تحليله صراحة بدالة عددية. مرفوض: اعتبار نص المصدر أو أرقام العربية الهندية إدخالا عدديا مقبولا، أو تحويل النص ضمنيا إلى عدد.

حفظ الإدخال وUTF-8

يتحقق وقت التشغيل من بايتات السطر كلها بوصفها UTF-8 صارما. تبقى المسافات وNUL وعلامات العربية ومحارف الاتجاه والأرقام العربية الهندية وشكل التطبيع كما أرسله المضيف. لا يمر إدخال البرنامج عبر محرر المصدر أو محلله أو تحويل أرقامه. السطر غير الصالح يوقف التنفيذ بـinvalid-input-utf8 مع موضع أول بايت غير صالح.

حد السطر والإلغاء

الحد في المضيفين هو 65536 بايت حمولة للسطر، من دون LF أو CRLF. يقبل الحد بالضبط، أما تجاوزه فينهي التنفيذ بـinput-line-limit من دون نص مبتور. إلغاء التنفيذ أثناء الانتظار إلغاء وليس EOF.

عمر النص

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

نطاق الإصدار والمراجع

تصف هذه الصفحة ASPL 0.7.0. نص MVP المرتبط سجل تاريخي، ولا يصف كل الإضافات الحالية.

أضيف إدخال الأسطر بعد MVP الذي كان يملك الخرج فقط. راجع إدخال المتصفح أو الإدخال الأصلي.

طلب الإدخال

حين يصل البرنامج إلى read_line يعرض الملعب حالة انتظار وحقل سطر واحد وزري Send وClose input وStop. يرسل Send المسودة الحالية للطلب المعروض فقط، ثم يمسحها بعد إقرار العامل. يرسل Close input EOF ولا يرسل المسودة، وتبقى ظاهرة بوصفها غير مرسلة. يوقف Stop التنفيذ ولا يعني EOF.

مسودة الإدخال

لا يقبل الحقل لصقا متعدد الأسطر أو محرفي CR وLF، ويعرض حد البايتات. تبقى بايتات المسودة والأرقام كما أدخلت ولا تمر عبر محرر المصدر. تسجل أصداء الإدخال كسجلات واجهة منفصلة ولا تدخل في خرج البرنامج أو حد خرجه.

الوقت وحالة المسودة

يقيس حد التنفيذ زمن العمل المتراكم فقط. الوقت الذي يقضيه البرنامج منتظرا الإدخال لا يستهلكه. تحافظ أزرار Auto وLTR وRTL على بايتات الخرج والمسودة ولقطة المصدر وهوية الطلب، وتعيد تنسيق العرض والمحاذاة فقط.

يتوقف الطلب عند مغادرة Home أو تبديل مسودة المصدر. الرجوع يعيد البيانات المحفوظة في المستند ويعيد الفحص، ولا يعيد التشغيل أو إرسال الإدخال. التحديث يبدأ دون خرج أو إدخال سابق. تحفظ Stop الخرج ومسودة الإدخال غير المرسلة. راجع حدود التنفيذ وقراءة السطر.

نطاق الإصدار والمراجع

تصف هذه الصفحة ASPL 0.7.0. نص MVP المرتبط سجل تاريخي، ولا يصف كل الإضافات الحالية.

أضيف الإدخال التفاعلي بعد MVP. تقتصر هذه الصفحة على الإدخال، وملفات التشغيل الافتراضية بيانات مؤقتة منفصلة.

المضيفان

يشغّل المتصفح المترجم والآلة في عامل محلي داخل WebAssembly دون إرسال المصدر إلى خادم. يرفض الاستيراد الخارجي ولو لم يستدع، بالنتيجة policy-rejection / foreign-imports-not-supported. لا يدعم وحدات مصدر المستخدم أو C أو HTTP أو Raylib. المضيف الأصلي يشغّل البرنامج على Linux بصلاحيات العملية وليس صندوقا معزولا.

سقوف الموارد

MiB = 1048576 bytes; KiB = 1024 bytes.

none لا سقف منتج، وn/a لا ينطبق. يوقف العامل أول حد ملحوظ.

حساب الذاكرة

يشمل المصدر كل بايت مقروء بما فيه علامة بداية النص. تشمل ذاكرة المترجم كل تخصيص حي للترجمة. تشمل ذاكرة التنفيذ الإطارات ومواضع القيم وإعارة النص والنصوص الحية المملوكة للتنفيذ، وتستبعد البرنامج الثابت والمكتبات وتخصيصات الشيفرة الخارجية. يتقدم فشل الحد البنيوي على حد الذاكرة عند العملية نفسها. فشل التخصيص دون السقف هو host-failure / allocation-failed.

الوقت والخرج

يبدأ مؤقت الفحص حين يقبل العامل المحمّل المهمة، ومؤقت التنفيذ حين يقبل التشغيل بعد نجاح الفحص. لا يدخل التحميل في المؤقتين، ولا يدخل انتظار إدخال المستخدم في مؤقت التنفيذ. أول حد ملحوظ يحدد النتيجة؛ بلوغ الموعد ينهي العامل بسبب time-limit. يرفض حد الخرج الاستدعاء الذي يتجاوزه بأكمله ويبقي الخرج السابق جزئيا. ليس للتنفيذ الأصلي سقف منتج للتعليمات أو الوقت أو الخرج، مع بقاء الحد التمثيلي لعداد التعليمات.

نطاق الإصدار والمراجع

تصف هذه الصفحة ASPL 0.7.0. نص MVP المرتبط سجل تاريخي، ولا يصف كل الإضافات الحالية.

في 0.7.0 البايت كود الخاص 7 وسلك نتيجة المتصفح 3. يحسب حد الذاكرة أيضا تخزين القوائم والسجلات والنتائج الحية، وتضاف ميزات الملفات والإدخال إلى نطاق MVP التاريخي.

حلقة محدودة في المتصفح

افتح المثال في المتصفح فقط. لا تشغله أصليا، فالمضيف الأصلي بلا سقف تعليمات منتج. أول حد ملحوظ يحدد النتيجة، وقد يصل مؤقت الوقت قبل سقف التعليمات على جهاز بطيء.

استدعاء الدوال المضمنة

الدوال المضمنة معرفة مسبقا، ولا تحتاج استيرادا أو علامة غير_آمن / unsafe. كلا الاسمين العربي والإنجليزي محجوز للهدف نفسه، فلا يجوز تعريفهما أو تظليلهما. يفحص المترجم عدد الحجج وأنواعها الدقيقة. تعبير التحويل مثل u8(value) عملية لغة مفحوصة، وليس محلل نص يعيد نتيجة قابلة للاسترداد.

المجموعات والأسماء

هذه الأسماء متاحة في 0.7.0 على المضيفين. ملفات المتصفح افتراضية ومؤقتة.

الأنواع والنتائج والمضيف

راجع الخرج وإدخال السطر والتحليل والتنسيق العددي. تستخدم length للنصوص والقوائم، وباقي عمليات النص حدود Unicode scalar من نوع i64. يبني success وfailure نتائج قابلة للفحص. يعدل append هدف قائمة قابلا للتغيير، وjoin يجمع list<string> بفاصل نصي. يعيد read_text_file نتيجة result<string> وwrite_text_file نتيجة result<unit>. عمليات الفشل المتوقعة لا تتحول إلى فخاخ. ليست أسماء المكتبات المؤهلة مثل net_http::get دوال مضمنة مشتركة، بل تحتاج المضيف الأصلي والاستيراد. مجموعات الأمثلة توفر المصادر الحالية للنصوص والنتائج والملفات.

نطاق الإصدار

كان MVP يحدد اطبع / print فقط. تصف هذه الصفحة المجموعة المضمنة في 0.7.0، بما فيها إضافات النصوص والإدخال والنتائج والقوائم والملفات والأعداد.

قيم النص الدقيقة

يدعم ASPL 0.7.0 هذه العمليات في المتصفح والمضيف الأصلي. نص/string قيمة UTF-8 صحيحة وثابتة. تحفظ BOM وNUL ونهايات الأسطر وعلامات الاتجاه والمسافات والتطبيع كما هي. تقارن يطابق/matches البايتات الدقيقة. النصان "é" و"e\u{301}" مختلفان حتى إن بدوا متشابهين.

مواضع قيم يونيكود العددية

تبدأ المواضع من الصفر وتعد قيم يونيكود العددية، لا بايتات UTF-8 أو وحدات UTF-16 أو المحارف المرئية المركبة. تعد علامة التشكيل قيمة مستقلة، وقد يتكون تسلسل الرموز التعبيرية من عدة قيم. نتيجة length("aمرحبا😀") هي 7.

يجب أن يحقق الفهرس 0 <= index < length(text)، وأن يحقق المقطع 0 <= start <= end <= length(text). تنجح المقاطع الفارغة، ومنها المقطع عند النهاية. يوقف الفهرس غير الصالح التنفيذ بسبب string-index-out-of-bounds، والمقطع غير الصالح بسبب string-slice-out-of-bounds. تقبل from_codepoint الصفر حتى 1114111 باستثناء القيم البديلة من 55296 حتى 57343، وتوقف القيم غير الصالحة التنفيذ بسبب invalid-unicode-scalar.

الدمج وجمع النصوص

تدمج + نصين بأسبقية الجمع المعتادة. نسق العدد صراحة قبل دمجه مع نص. تضع اجمع_نصوص/join: (list<string>, string) -> string الفاصل بين العناصر فقط. تنتج القائمة الفارغة ""، ولا يضاف فاصل إلى العنصر الوحيد. لا تغير العمليتان المدخلات أو تطبيع النص.

النص العددي الصارم

يسرد مرجع الأعداد المحللات والمنسقات لكل عرض دقيق. يعيد التحليل نتيجة قابلة للاسترداد، ولا يوقف التنفيذ لمجرد نص عددي غير صالح. يقبل النص الصحيح إشارة ASCII اختيارية وأرقاما عشرية ASCII، بما فيها الأصفار البادئة. يقبل النص العشري إشارة ASCII اختيارية وأرقاما وجزءا كسريا اختياريا بأرقام بعد النقطة وأسا اختياريا، أو التهجئات الدقيقة nan وinf و+inf و-inf.

تنتج المسافات والأرقام غير ASCII مثل ٢ وNUL وبادئات الأساس والفواصل واللواحق والذيل الرمز invalid-number. تفشل أيضا .5 و1.. ينتج النص الصحيح نحويا خارج مجال النوع number-out-of-range. لا يحول تحويل أرقام المصدر في المحرر النص المرسل عبر إدخال البرنامج أو الملفات المستوردة.

يحتاج مثال تحليل الصحيح سطري إدخال، 256 ثم 41. ويحتاج مثال تحليل العشري 12x ثم 41. يعالج كلاهما النتيجة الفاشلة الأولى ويواصل لطباعة 42 للسطر الثاني.

النطاق والأمثلة الكاملة

توسع هذه العمليات الحالية قواعد النصوص في MVP التاريخي. تبقى المواصفة المؤرشفة سجلا لذلك النطاق السابق. تجد الصيغ الكاملة الموردة في النصوص وجمع النصوص وتحليل الصحيح وتحليل العشري.

قيم القوائم المحددة النوع

في ASPL 0.7.0، تمثل قائمة<T>/list<T> تسلسلا قابلا للنمو بعناصر من نوع مخزن واحد دقيق، وتعمل في المتصفح والمضيف الأصلي. تستخدم معاملات الأنواع الأقواس الزاوية، وتبني الأقواس المربعة القيم. تقبل القوائم المتداخلة والسجلات والنتائج. يرفض الفحص عناصر unit ومساواة قائمتين كاملتين.

يستنتج الليترال غير الفارغ نوع عناصره دون تحويل عددي. يحتاج الليترال الفارغ نوعا متوقعا من الربط أو الإسناد أو المعامل أو الإرجاع. تقيم العناصر بترتيب كتابتها وتقبل فاصلة أخيرة.

مقطع توضيحي

دع فارغة: قائمة<ص64> = [];
دع قيم: قائمة<ص64> = [3, 4, 5,];

قراءة العناصر

تعيد طول/length: (list<T>) -> i64 عدد العناصر في زمن ثابت. تقرأ values[index] عنصرا بالقيمة. نوع الفهرس i64 ويبدأ من الصفر؛ يوقف الفهرس السالب أو المساوي للطول أو الأكبر منه التنفيذ بسبب list-index-out-of-bounds.

التعديل والنسخ المستقلة

تأخذ أضف/append موضع قائمة قابل للتعديل وقيمة من نوع عنصرها الدقيق، وتضيف القيمة وتعيد unit. يستبدل الإسناد المفهرس عنصرا موجودا ولا ينمي القائمة. تتطلب العمليتان ربطا جذريا من نوع متغير/var. لا يمثل ربط دع/let أو معامل دالة أو قيمة مؤقتة أو إسقاط حمولة نتيجة موضعا قابلا للتعديل.

ينسخ الإسناد والمعامل والإرجاع وحقول القيم المركبة القيم. لا يغير تعديل نسخة، بما فيها قائمة متداخلة، النسخ الأخرى. قد يشارك وقت التشغيل التخزين حتى التعديل، لكنه لا يعرض أسماء تشترك في قيمة قابلة للتعديل. يحل التعديل الفهارس من اليسار إلى اليمين مرة واحدة قبل تقييم القيمة الجديدة. الصيغة append(xs, xs[0]) صالحة.

التخزين والإخفاقات

تحفظ خانات القوائم العددية عروضها الدقيقة كما يوضح التخزين العددي. يختلف الطول عن السعة؛ لا توجد واجهة بايتات عامة أو ضمان لتخطيط C. تحسب القوائم المملوكة لوقت التشغيل وعناصرها المحتفظ بها ضمن ذاكرة التنفيذ. لا تعرض حدود الموارد أو فشل التخصيص تعديلا ملتزما جزئيا.

يرفض الفحص اختلاف أنواع العناصر والليترالات الفارغة بلا نوع وأهداف التعديل غير الصالحة وتعديل الربط الثابت. الوصول خارج النطاق توقف غير قابل للاسترداد، وليس نتيجة قابلة للاسترداد.

النطاق والأمثلة الكاملة

توسع القوائم MVP التاريخي. اقرأ كل صيغة موردة في القوائم المحددة النوع وتعديل القوائم، أو انتقل إلى السجلات ودلالات القيمة.

أنواع السجلات المسماة

يدعم ASPL 0.7.0 سجل/record في المضيفين. صرح بالسجل على مستوى الملف بحقوله المسماة والمحددة النوع والمفصولة بفواصل. تقبل فاصلة أخيرة. تجمع أسماء السجلات قبل حل أنواع الحقول، فلا يهم ترتيب التصريحات.

السجلات اسمية. يمثل تصريحان بالحقول نفسها نوعين مختلفين، وتتبع الهوية وحدة المصدر التي تعرف النوع. يدعم المتصفح السجلات في ملف الدخول؛ تتطلب وحدات مصدر المستخدم تنفيذا أصليا.

مقطع توضيحي

سجل عنصر { اسم: نص, أعداد: قائمة<ص64> }

البناء والوصول إلى الحقول

ابن القيمة باسم النوع وقدم كل حقل مرة واحدة. تقيم الحقول بترتيب كتابتها. الحقول المجهولة أو المكررة أو المفقودة أو من نوع unit أخطاء مصدر. ترفض الأنواع العودية المباشرة وغير المباشرة، ومنها العودية عبر القوائم أو النتائج.

تقرأ :: اللاحقة حقلا بالقيمة، وتتسلسل مع فهارس القوائم بأسبقية أعلى من الحساب. تبقى أسماء حقول المستخدم بتهجئتها في المصدر العربي والإنجليزي والمختلط. حقول النتيجة ومعلومات الخطأ المدمجة فقط لها أسماء بديلة موردة باللغتين. ضع باني السجل المباشر في شرط إذا/if أو طالما/while بين قوسين لتمييز أقواسه عن الكتلة التالية.

مقطع توضيحي

دع قيمة = عنصر { اسم: "أدوات", أعداد: [2, 3] };
اطبع(قيمة::اسم);

النسخ والتعديل المتداخل

ينسخ الإسناد والمعامل والإرجاع قيم السجلات. للقائمة أو السجل المتداخل في النسخة دلالات قيمة أيضا. لا تغير حقلا أو عنصرا مفهرسا إلا عبر ربط جذري متغير/var. لا يمكن تعديل معامل أو ربط دع/let أو قيمة مؤقتة أو إسقاط حمولة نتيجة. انسخ الحمولة الناجحة إلى ربط جديد قابل للتعديل إذا احتجت إلى تغييرها.

ينسخ المثال الكامل حالة محلل، ويغير مؤشرها وحقل رمز متداخل، ثم يتحقق من بقاء القيم القديمة في الأصل. ويحمل أيضا سجلا داخل result<record-type>.

الإخفاقات والنطاق

لا تدعم مساواة سجلين كاملين. أخطاء الحقول والأنواع أخطاء مصدر؛ يوقف فهرس قائمة متداخلة غير صالح التنفيذ بسبب list-index-out-of-bounds، وقراءة فرع نتيجة خاطئ بسبب wrong-result-branch. توسع السجلات MVP التاريخي، ولا يعتمد سلوكها الحالي على تخطيط بنية C.

اقرأ كل صيغ السجلات والقوائم والنتائج القابلة للاسترداد.

قيم قابلة للاسترداد

في مضيفي ASPL 0.7.0، تحمل نتيجة<T>/result<T> حمولة ناجحة من النوع T أو معلومات_خطأ/error_info. النتيجة الفاشلة مسار تحكم عادي؛ لا تصدر تشخيصا أو موضع مصدر أو تتبع استدعاء، ولا توقف التنفيذ. تختار أنت إعادة المحاولة أو الاستمرار أو إرجاع حالة العملية.

تستنتج نجاح/success(value) نوع الحمولة أو تفحصه مقابل نوع النتيجة المتوقع. تنشئ success() قيمة result<unit>، أي نجاحا بلا حمولة. تأخذ إخفاق/failure(code, message) نصين وتحتاج نوع النتيجة المتوقع من تصريح أو إسناد أو معامل أو إرجاع. يفشل الفحص دون هذا السياق بسبب result-type-required.

افحص قبل قراءة الفرع

استخدم :: اللاحقة وافحص ok قبل قراءة الفرع الموافق. توقف قراءة value عند الإخفاق أو error عند النجاح التنفيذ بسبب wrong-result-branch. لا تحتوي result<unit> على value قابلة للقراءة؛ محاولة قراءتها خطأ مصدر unit-value-not-allowed. ترفض مساواة نتيجتين كاملتين. يرتبط الوصول إلى الحقل أشد من الحساب ولا يترجم حقول سجلات المستخدم.

الرموز والرسائل والنسخ

اختر الفرع بحسب رموز الخطأ الثابتة مثل invalid-number وnumber-out-of-range وnot-found، لا بحسب صياغة الرسالة. تختار دالتك رموزها ورسائلها الخاصة. للنتائج وحمولاتها المحتفظ بها دلالات قيمة؛ إسقاطات النتائج للقراءة فقط. أسند الحمولة إلى ربط متغير/var لتعديل نسختك.

أنواع الإخفاق المختلفة

يعيد النص العددي غير الصالح وإخفاق الملف النصي المتوقع نتائج. تمنع الأنواع أو الحقول غير الصالحة نجاح الفحص. الفهرسة خارج النطاق والوصول إلى الفرع الخاطئ توقفان غير قابلين للاسترداد. حدود الذاكرة والزمن وفشل التخصيص والإيقاف نتائج تنفيذ منفصلة؛ ليست نتائج فاشلة يمكنك التقاطها.

تعرض أمثلة التحليل ودليل الملفات الاسترداد مع استمرار البرنامج. يشرح مرجع التشخيص أخطاء المصدر والتوقفات.

النطاق والأمثلة الكاملة

توسع النتائج القابلة للاسترداد MVP التاريخي. اقرأ كل صيغ النتائج وواجهة الملفات النصية لقراءة result<string> وكتابة result<unit>.

واجهة النص الكامل للملف

يدعم المتصفح وتنفيذ ASPL 0.7.0 الأصلي الدالتين المضمنتين. لا تحتاجان استيرادا أو علامة غير_آمن/unsafe. استخدام unsafe مع أي منهما خطأ مصدر unsafe-on-safe-call.

تحفظ القراءة كل بايت محتوى، بما فيه BOM وCRLF وNUL والتطبيع. تعيد الملفات الفارغة success(""). يعيد UTF-8 غير الصالح invalid-utf8. تستخدم الكتابة بايتات UTF-8 الدقيقة للنص، ولا تضيف سطرا جديدا، وتستبدل المحتوى بدلا من إلحاقه. افحص ok قبل قراءة value أو error؛ لا تحتوي الكتابة الناجحة على value قابلة للقراءة.

يسمي عرض خرج المتصفح محارف التحكم غير المرئية مثل BOM وNUL، ويعرض CRLF كفاصل سطر. لا يغير هذا العرض الآمن محتوى الملف. استخدم تنزيل الملفات لمقارنة البايتات الدقيقة.

دعم المضيف لكل عملية

لا تتبع المسارات الأصلية مجلد ملف المصدر. لا يوجد توسيع صدفة لـ~ أو المتغيرات أو أحرف البدل، ولا إنشاء ضمني للمجلدات الأم. تتبع القراءة حل نظام الملفات المعتاد بما فيه الروابط الرمزية، لكنها ترفض المجلدات والأجهزة والأنابيب بسبب not-regular-file. تستبدل الكتابة الناجحة المدخل الأخير، بما فيه الرابط الرمزي الأخير، بدلا من اتباعه. تحفظ الكتابة الفاشلة الوجهة السابقة؛ ولا يلغي توقف لاحق كتابة مكتملة.

ترفض أسماء المتصفح / والشرطة المائلة العكسية وNUL ومحارف التحكم U+0000 حتى U+001F وU+007F حتى U+009F والاسمين . و... لا توجد مجلدات. يقبل المخزن 64 ملفا و8388608 بايتا إجمالا. لكل تشغيل أيضا ميزانية نقل تحديثات كتابة قدرها 8388608 بايتا، تحسب بايتات الاسم والمحتوى و64 بايتا إضافيا لكل كتابة؛ تستهلك الاستبدالات المتكررة هذه الميزانية أيضا. تتبع القراءة والكتابة هذه القيود مستقلة عن لغة الشرح أو المصدر.

أخطاء الملف القابلة للاسترداد

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

ملفات التشغيل المؤقتة والمصدر المحفوظ

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

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

استخدم زر التنزيل الصريح لكل ملف مستورد أو مكتوب بنجاح. يحفظ التنزيل اسمه وبايتاته الدقيقة، بما فيها بايتات مستوردة ليست UTF-8. لا يجعل استيراد helper.aspl كبيانات تشغيل منه وحدة مصدر أصلية، ولا يتيح استيراد المصدر في المتصفح.

الأمثلة الكاملة والنطاق

يحتاج مثال القراءة الافتراضي سطر إدخال واحدا missing.txt ولا يحتاج ملفا مستوردا. يطبع فرع not-found خطأ ويعيد 0. لا يحتاج مثال الكتابة إدخالا أو أصلا؛ ينشئ generated.txt أو يستبدله بالبايتات الدقيقة generated\n، ثم يطبع Output: saved\n.

اقرأ الدليل العملي قبل تجربة قراءة ناجحة أو حفظ البايتات المولدة. تحفظ صفحتا القراءة والكتابة الكاملتان الصيغتين العربية والإنجليزية المورّدتين. توسع هذه الواجهات MVP التاريخي؛ لا تعرف المواصفة المؤرشفة سلوكها الحالي في المضيفين.

الدوال على المستوى الأعلى

تدعم ASPL 0.7.0 هذه القواعد في التنفيذ الأصلي والمتصفح. عرّف الدوال المساعدة على مستوى الملف باستخدام fn / دالة مع أنواع معلنة للمعاملات والنتيجة. الأسماء فريدة داخل وحدة المصدر. لا تدعم اللغة التحميل الزائد أو التعريفات المتداخلة أو الإغلاقات أو المعاملات الافتراضية أو الدوال ذات العدد المتغير من المعاملات. لا يمكن لتعريف أن يحل محل اسم مدمج. ضع العبارات التنفيذية داخل الدوال.

ترتيب التعريفات لا يهم، ويجوز الاستدعاء الذاتي. تقيّم الاستدعاءات الوسائط من اليسار إلى اليمين وتمرر القيم بالنسخ. المعاملات غير قابلة للتغيير. تحتفظ القوائم والسجلات بدلالات النسخ عند الاستدعاء. يجب أن يعيد كل مسار في دالة غير unit قيمة من نوع النتيجة المعلن. تعني unit عدم وجود قيمة لتخزينها أو تمريرها.

مقطع توضيحي

دالة طبق(عمل: دالة(ص64) -> ص64, قيمة: ص64) -> ص64 {
    أرجع عمل(قيمة).
}

القيم القابلة للاستدعاء المعلنة النوع

الدالة المسماة على المستوى الأعلى قيمة أيضا. يصف fn(i64) -> i64 / دالة(ص64) -> ص64 معاملا واحدا ونتيجة، دون أسماء المعاملات. يصف fn() -> unit قيمة قابلة للاستدعاء بلا معاملات ولا نتيجة. يجب أن تتطابق أنواع المعاملات والنتيجة كاملة، ولا يحوّل الإسناد توقيع الدالة.

انسخ القيمة أو مررها أو أعدها أو استدعها أو خزّنها في قائمة أو سجل أو نتيجة. يمكن أن يأتي الاستدعاء بعد حقل أو فهرس قائمة أو دالة تعيد قيمة قابلة للاستدعاء، مثل carrier::callback(38) أو saved[0](38) أو choose()(38). لا تلتقط الدالة بيئة محلية. تقارن matches / يطابق وnot matches / لا يطابق هوية الدالة بين أنواع استدعاء متوافقة. لا تدعم هذه القيم الترتيب أو الحساب.

الإتاحة وقيود المدخل

تشير القيم القابلة للاستدعاء إلى دوال المستخدم فقط. المدخل المحجوز start_main / ابدأ_الرئيسية والدوال المدمجة والتعريفات الأجنبية ودوال المكتبات المورّدة ليست قيما قابلة للاستدعاء. لا يمكن استدعاء المدخل من المصدر أيضا.

تعريفات وحدات المصدر الأصلية خاصة افتراضيا. يفشل المرجع المباشر lib::hidden بسبب private-member. يجوز أن تعيد الدالة المصدّرة lib::choose() قيمة تشير إلى مساعدها الخاص، ويصح استلام هذه القيمة واستدعاؤها. يجب ألا تكشف التواقيع المصدّرة سجلا خاصا، حتى داخل قيمة قابلة للاستدعاء أو قائمة أو نتيجة. هذا الفشل هو private-type-exposure.

اقرأ وحدات المصدر والتصدير لقواعد الإتاحة الأصلية. يدعم المتصفح ملف مصدر واحدا ولا يحمّل وحدات مصدر المستخدم.

الإخفاقات والأمثلة الكاملة

يؤدي عدد الوسائط الخاطئ إلى argument-count-mismatch، ويؤدي نوع وسيط أو نتيجة أو قيمة استدعاء غير متوافق إلى type-mismatch. يؤدي مسار بلا إرجاع في دالة غير وحدة إلى missing-return. محاولة أخذ المدخل كقيمة تؤدي إلى undefined-name. هذه أخطاء فحص، منفصلة عن فخاخ الحساب أو حد الاستدعاء الذاتي أثناء التنفيذ.

يعيد مثال المضروب حالة عملية 120 دون خرج. هذا تنفيذ ناجح لغويا بحالة عملية غير صفرية، فتعدّ الصدفة الأمر غير ناجح. يطبع مثال القيم القابلة للاستدعاء 42 ويعيد 0.

راجع مصادر الدوال ومصادر القيم القابلة للاستدعاء والفحص والتشغيل والبناء الأصلي.

المضيف وصيغة الاستيراد

هذا عقد وحدات المصدر الأصلية في ASPL 0.7.0. ثبّت الأدوات الأصلية أولا. ملفات المتصفح الافتراضية بيانات تشغيل ولا توفر محمّل وحدات مصدر، حتى إذا انتهت أسماؤها بـ.aspl أو .لبات. للمكتبات المورّدة مثل core::http وcore::raylib وcore::c دعم أصلي خاص، وهي منفصلة عن ملفات المستخدم ومكتبات C المشتركة.

مقطع توضيحي

import helpers.aspl as lib;
استورد services/معالجات.لبات بسم خدمة.

استخدم import / استورد ومسارا نسبيا ينتهي بـ.aspl أو .لبات، مع نطاق أسماء اختياري باستخدام as / بسم. المسارات أوصاف غير محاطة بعلامات اقتباس. اهرب المسافة باستخدام \ . يُرفض مسار الاستيراد المطلق. يبدأ الحل من مجلد الملف المستورِد، بما فيه الاستيرادات المتداخلة، وليس مجلد عمل العملية. دون اسم بديل يجب أن يكون اسم الملف بلا امتداد معرّف نطاق صالحا. استخدم اسما بديلا لملف مثل my-file.aspl.

يقبل ASPL 0.7.0 \ي{...} مع \u{...} داخل مسارات الاستيراد، بأبجديات الأرقام وحدود القيم العددية نفسها في محارف هروب النصوص. ترفض مسارات الاستيراد U+0000. تبقى تهجئات المسافات وعلامات ترقيم ASCII المهربة كما هي؛ لا تقبل المسارات محارف الهروب النصية القصيرة مثل \n و\س. تحتفظ ملفات الإصدار المنشور 0.6.0 بصيغة هروب المسارات الأصلية.

نطاقات الأسماء والتصدير

استخدم lib::answer() لاستدعاء تعريف مصدّر من استيراد مباشر. لا ينفذ الاستيراد شفرة ولا يدمج التعريفات في المستورِد ولا يتيح نطاقات الاستيرادات غير المباشرة. يجوز لوحدات مختلفة استخدام الاسم الخاص نفسه. تشير الاستيرادات المتكررة للملف الفعلي نفسه إلى هويات الدوال والسجلات نفسها، حتى عبر أسماء بديلة مختلفة. يعرّف ملفان مختلفان سجلين مختلفين اسميا ولو تطابق اسماهما.

الدوال والسجلات والتعريفات الأجنبية خاصة افتراضيا. ضع share / شارك قبل التعريف المصدّر. تحتفظ أسماء المستخدم المصدّرة بكتابتها ولا تكتسب أسماء عربية وإنجليزية بديلة. يظل الاستدعاء الأجنبي المصدّر بحاجة إلى علامة unsafe الصريحة. لا يجوز للتواقيع المصدّرة وحقول السجلات كشف أنواع خاصة، حتى داخل أنواع الاستدعاء أو القوائم أو النتائج المتداخلة. صدّر السجل المطلوب أيضا أو غيّر التوقيع العام.

مقطع توضيحي

شارك دالة جواب() -> ص64 { أرجع 42. }
شارك سجل رد { قيمة: ص64 }

يُرفض share import بسبب shared-import، فلا يوجد إعادة تصدير. استورد مباشرة كل نطاق تستخدم اسمه. راجع فشل التعريف الخاص وبرنامج الوحدات المصحح.

المدخل وقيود شبكة الاستيراد

يعرّف ملف المصدر الجذري وحده start_main / ابدأ_الرئيسية بلا معاملات وبحالة عملية من نوع i64. يجب ألا تعرّف الملفات المستوردة مدخلا، ويرفضها imported-entry. لا يجوز تصدير مدخل الجذر، ويرفض ذلك shared-entry. لا يمكن استدعاء أسماء المدخل أو تخزينها كقيم قابلة للاستدعاء.

تفشل الدورات بسبب import-cycle، وتصادمات النطاقات بسبب namespace-collision، والملفات الغائبة بسبب missing-file. الحد الأصلي 1024 وحدة مصدر، وأطول سلسلة استيراد 256 وصلة. يُفحص كل تعريف مستورد، بما فيه المساعد غير المستخدم، فلا يخفي استيراد الملف أخطاء أنواعه.

الفحص والتشغيل والبناء

احتفظ بالمدخل وكل ملفات المصدر المعلنة وفق ترتيب المسارات النسبي الموثق. لا يحتاج هذا المثال إلى ملف بيانات:

aspl check main.ar.aspl
aspl run main.ar.aspl
aspl build -o module-program main.ar.aspl
./module-program

يطبع مثال الوحدات 42 ثم LF ويعيد 0. يتضمن البرنامج الأصلي المبني البرنامج المفحوص والآلة الافتراضية، ويعمل بعد إزالة ملفات مصدره. قد يظل محتاجا إلى مكتبات مشتركة أو ملفات بيانات يستخدمها أثناء التشغيل.

اقرأ الدليل العملي وإتاحة القيم القابلة للاستدعاء ومراحل أوامر Linux ومجموعة البرامج الكاملة.

الخدمة الأصلية ومالكو الجلسات

المضيف الأصلي فقط، ASPL 0.7.0 المنشور. اقرأ دليل HTTP ومجموعة الأمثلة ومتطلبات المضيف. يرفض المتصفح والتضمين الخاص HTTP قبل التنفيذ بالسبب unsupported-supplied-library-profile.

تدير اخدم المعالجات حتى الإغلاق وتعيد نتيجة<وحدة> بعد تحرير الخادم والعمل التابع. تكمل ابدأ البدء وتعيد نتيجة<جلسة<C,S>>، ويكون المستمعون جاهزين عند نجاحها. لا تعمل المعالجات إلا حين يستدعي التطبيق تقدم؛ لا تشغل صيانة النقل أثناء الإدخال أو الرسم معالجات مصدر. تخضع تقدم لميزانية محدودة. تجمّد محاولة الشبكة المجتازة للتحقق اضبط، وتستهلك محاولة الخدمة المجتازة للتحقق فرصة الخدمة الوحيدة حتى إن فشل الربط أو TLS بعدها. لا يستهلك رفض التحقق الخالص الفرصة ولا يجمد الإعدادات. تعمل طلبات العميل قبل الخدمة وداخلها وبعدها.

جلسة<C,S> / Session<C,S> مالك مدار معتم. تشترك نسخه في المورد الأصلي والإغلاق. يمكن الاحتفاظ به في قيم التطبيق، لكنه لا يدخل وسيطَي نوع الإعدادات والحالة في أي عمق. لا منشئ أو حقول عامة أو مساواة أو تحويل C عادي. يغلق فقدان آخر نسخة قابلة للوصول المورد، وينهي التنفيذ صلاحية المالكين أيضا. تبقى الذاكرة الأصلية محسوبة حتى سكون التحرير. تحتفظ نسخ الإعدادات والحالة بالمقابض المدارة نفسها، ولا تنسخ الموارد الأصلية المتغيرة.

عمليات التطبيق فقط هي ابدأ وتقدم وأوقف_الجلسة وأغلق_الجلسة وإعداد_الجلسة وحالة_الجلسة واستبدل_حالة_الجلسة والتقط_حالة_الجلسة واستبدل_حالة_الجلسة_إن_كانت_حالية. تأخذ عمليات المعالج سياق استدعائه: اقرأ_إعدادات واقرأ_حالة واستبدل_حالة والتقط_الحالة واستبدل_الحالة_إن_كانت_حالية وأوقف وتحقق_استجابة. يرفض المدقق استدعاءات التطبيق على مسار معالج حتى عبر دوال مساعدة. ينتهي السياق مع استدعائه ولا يخرج منه أو يدخل المجاميع. في برامج رايليب تكون الإعداد والطلب والخدمة والبدء والتقدم والإيقاف والإغلاق خارج الإطار، وتسمح دوال نسخ إعدادات التطبيق وحالته داخل الإطار. تعيد العمليات الممنوعة داخل إطار فعال http.invalid_order. يعيد سياق التطبيق غير الصالح http.invalid_context.

يحوي حالة_جلسة / SessionStatus الثوابت جلسة_تعمل / SESSION_RUNNING وجلسة_تستكمل_الإغلاق / SESSION_DRAINING وجلسة_مغلقة / SESSION_CLOSED. تطلب أوقف_الجلسة التصريف؛ استمر في تقدم حتى الإغلاق. تنهي أغلق_الجلسة الصلاحية وتحرر المالك وتبطل كل نسخه. يعيد تقدم المغلقة حالتها المغلقة وينجح تكرار الإيقاف والإغلاق. تعيد دوال حالة المغلقة وإعداداتها http.closed_session. يبقى فشل المضيف المحرر بأمان مسجلا. فشل التحرير النهائي ليس نتيجة قابلة للاسترداد.

تعيد اقرأ_حالة وحالة_الجلسة قيما منسوخة؛ لا ينشر تعديلها شيئا. يستبدل النشر غير المشروط الحالة كاملة. للنوع لقطة_حالة<S> / StateSnapshot<S> حقل قيمة / value للقراءة فقط وهوية جلسة وإصدار خفيان. تبقى اللقطة بعد الإغلاق ولا تمنح صلاحية السياق. يزيد كل نشر ناجح الإصدار. يعيد الاستبدال الشرطي نجاحا بقيمة صواب للقطة الحالية، ونجاحا بقيمة خطأ للقطة قديمة من الجلسة نفسها، أو فشلا بالرمز http.invalid_argument للقطة جلسة أخرى. القراءة والانتظار لطلب صادر ثم الاستبدال ليست ذرية؛ استخدم النشر الشرطي لكشف التغييرات أثناء الانتظار. راجع مثال الجلسة.

الأنواع والدوال والقيم الافتراضية

تأخذ وجهة<C,S> / Route<C,S> وموجه<C,S> / Router<C,S> و سياق<C,S> / Context<C,S> وسيطَي نوع محددين للتطبيق. يقبل C وS القيم القابلة للتخزين المسموحة، بما فيها السجلات والقوائم والنتائج والمخازن والمقابض والتسجيلات المدارة. يستبعد السياق الفعلي وقيم الدوال المكشوفة في كل عمق، بما فيه بيانات التسجيل. هذه عائلات توفرها المكتبة وليست أنواعا عامة يعرفها المستخدم. إذا لم يمكن استنتاج الوسيطين فاكتبهما صراحة، مثل ويب::أنشئ_موجه<منطقي,ص64>([]). يجب أن تستخدم الوجهات والمعالجات والإعدادات والحالة هويتَي النوع نفسيهما. يشترك استيراد الوحدة القانونية نفسها في هوية أنواعها ودوالها.

المعالج دالة مستخدم مسماة على المستوى الأعلى بتوقيع دالة(طلب_وارد, سياق<C,S>) -> استجابة_خادم. مرر اسمها مثل handlers::handle دون استدعائها. لا تلتقط قيمة الدالة بيئة محلية. صدّر تعريفات الوحدة عبر شارك / share وتبقى بقية الأسماء خاصة. يمكن تخزين قيم الدوال العادية وتمريرها وإعادتها ومقارنتها بكلمات المساواة. يفحص المدقق كل الأهداف الممكنة عبر الوحدات ويرفض المسارات غير الآمنة أو الحاجبة. لا تجعل دالة تغليف استدعاء C عاديا أو قراءة سطر أو ملف حاجبة صالحة لمسار المعالج.

السجلات التالية قيم عادية. تبقى بايتات الرسائل والترويسات صالحة بعد انتهاء الاتصال أو الخدمة. لا منشئ أو حقول عامة للسياق، ولا يدخل المجاميع أو يخرج من استدعائه أو يقارن أو يعبر استدعاء C عاديا. الوجهة والموجه قيمتان معتمتان يمكن الاحتفاظ بهما دون حقول عامة أو مقابس حية. حقل نجاح النتيجة نجاح / ok، ومحتواها قيمة / value، وخطؤها الخطأ / error، ورمزه الرمز / code. اقرأ المحتوى بعد فحص النجاح. الرسائل البشرية قد تتغير.

أعلام خيارات العميل الثلاثة خطأ افتراضيا ومسار CA فارغ. قائمة مستمعي إعدادات الخادم فارغة افتراضيا ويجب إكمالها قبل الخدمة. يأخذ منشئ المستمع عنوانا ومنفذا 1..65535 ويعيد نقلا عاديا ومساري TLS فارغين. يبدأ منشئ طلب العميل بترويسات ومتن فارغين، ومنشئ الاستجابة بترويسات فارغة وعلم طول تمثيل غير مفعّل وطول صفر. تضبط الاستجابة النصية Content-Type المحدد وبايتات UTF-8 الدقيقة. لا معاملات اختيارية أو تحويل JSON ضمني.

تتولد الجداول التالية من كتالوج التعريفات العامة المراجع. كتابة الأنواع مشتركة بين الصفحتين. الأحجام والأعداد ص64، والمدد ص64 بالمللي ثانية. حدود المجالات مشمولة ولا قيمة تعني بلا حد. MiB يساوي 1048576 بايت.

ProgressBudget / ميزانية_تقدم

Header / ترويسة

QueryEntry / عنصر_استعلام

ClientRequest / طلب_عميل

IncomingRequest / طلب_وارد

ClientResponse / استجابة_عميل

ServerResponse / استجابة_خادم

Listener / مستمع

ClientOptions / خيارات_عميل

ServerConfig / إعدادات_خادم

RuntimeConfig / إعدادات_تنفيذ_ويب

MessageLimits / حدود_رسالة

Timeouts / مهل

Functions / الدوال

البايتات والترويسات والاستعلام

المتن قيمة كاملة مخزنة في قائمة<ط8>. ينسخ رمز_نص UTF-8 بدقة، ويرفض فك_نص النص غير الصالح بالرمز http.invalid_utf8. لا يحذفان BOM أو NUL ولا يطبّعان Unicode أو يخمنان الترميز أو يستبدلان البايتات السيئة. JSON نص ونوع محتوى صريحان، ولا توفر المكتبة محللا أو مولّدا له.

الترويسات حقول مرتبة قابلة للتكرار، بأسماء ASCII token وقيم بايتات. تقبل القيم HTAB وASCII القابل للطباعة و0x80..0xFF، وترفض NUL وCR وLF وDEL وبقية التحكم. يحذف التحليل SP وHTAB المحيطين ويحتفظ بالداخل والترتيب وحالة أحرف الاسم. يعيد قيم_ترويسة كل المطابقات بالترتيب دون اعتبار لحالة الاسم، ولا يجمعها بفواصل أو يفك نصها. تبقى Set-Cookie المكررة منفصلة، وكذلك الترويسات الختامية عن الأولى.

لا يضبط التطبيق Content-Length أو Transfer-Encoding أو Connection أو Keep-Alive أو Proxy-Connection أو TE أو Trailer أو Upgrade أو Expect في الرسائل الصادرة، ولا Host في طلب العميل. تستنتج المكتبة Host والتأطير وتضيف Date لاستجابة الخادم عند غيابه. Content-Encoding اختيار صريح، ولا ضغط تلقائيا للخادم. يفشل تعارض الأطوال أو جمع Transfer-Encoding مع Content-Length أو طي الحقول أو التأطير الملتبس. تبقى ترويسات التحكم الواردة بيانات قابلة للقراءة. لا تنقل طول المتن المضغوط أو ترويسة ترميزه عميانا إلى استجابة جديدة.

URL العميل URI مطلق ASCII لـHTTP أو HTTPS. رمز النص غير ASCII في المسار والاستعلام بنسبة مئوية، وقدّم الأسماء الدولية بصيغة A-label. تدعم أسماء DNS وIPv4 وIPv6 بين قوسين مربعين. ترفض بيانات المستخدم والفراغ والتحكم والهروب السيئ والمنفذ غير الصالح ومعرفات منطقة IPv6. يحذف fragment ويصبح المسار الفارغ /. يحتفظ الطلب الأول بالنقاط والشرطات وهروب النسبة. يحذف رابط_نهائي fragment ويصغر أحرف البروتوكول واسم DNS ويحذف المنفذ الافتراضي ويستعمل / للفارغ، مع حفظ وجود الاستعلام وكتابة الهروب.

يحفظ هدف الطلب ترميز origin-form أو absolute-form لـHTTP وHTTPS، ويقبل OPTIONS أيضا *. يُستخرج المسار والاستعلام قبل الفك. تأتي جهة من الهدف المطلق أو Host الصالح. يميز له_استعلام بين /p و/p?. لا تغير الترويسات الممررة هذه الحقول أو معلومات TLS والعنوان الفعلية. فهارس المستمعين تبدأ من صفر. يفشل الهدف غير الصالح قبل المعالج.

يقسم عناصر_استعلام النص الخام عند & وأول = قبل فك النسبة مرة واحدة. لا تمرر ? الأول. يبقى + علامة جمع و; بيانات، وتبقى %26 داخل العنصر وتصبح %252F القيمة %2F. لا تنتج المقاطع الفارغة عناصر. يختلف flag عن flag= بحقل له_يساوي، ويكون اسم =x فارغا. يحفظ تكرار الأسماء الترتيب، و%00 قيمة NUL صالحة. يبقى الاستعلام الخام متاحا إذا فشل الهروب أو UTF-8 المفكوك. يطابق قيم_استعلام الاسم المفكوك تماما ويعيد قيمة فارغة للمفتاح دون مساواة.

التوجيه والاستجابات

الطرق ASCII tokens غير فارغة وحساسة لحالة الأحرف. لا يدعم CONNECT أو ترقية البروتوكول. تتطابق المسارات المرمزة تماما، بما فيه حالة الهروب والشرطات والنقاط. تختلف /a%2Fb و/a%2fb و/a/b و/a/../b. تبدأ الوجهة بـ/ دون استعلام أو fragment وبهروب صالح، و* لـOPTIONS فقط. يفشل تكرار زوج الطريقة والمسار أو إضافة معالج عام ثان.

الأولوية للوجهة المطابقة، ثم HEAD باستخدام GET، ثم 405 لمسار معروف، ثم المعالج العام للمسار المجهول أو 404 الافتراضي. يتقدم HEAD الصريح. ترتب Allow الطرق حسب البايتات وتضيف HEAD عند وجود GET دون اختراع OPTIONS. المتنان الافتراضيان Not found وMethod not allowed مع text/plain; charset=utf-8. لا يصل طلب غير صالح إلى المعالج العام.

حالات المعالج النهائية 200..599. استجابة عميل مكتملة 404 أو 500 نتيجة ناجحة. يستهلك الردود التمهيدية ضمن الحدود، ويرفض 101 وإصدارات السلك غير المدعومة. يحذف HEAD المتن بعد الفحص والمحاسبة. يحسب بديل GET طول المتن، ويمكن لـHEAD الصريح أو العام التصريح بطول تمثيل أو حذفه. يجب أن يطابق الطول المصرح متن HEAD غير الفارغ. يتطلب علم طول التمثيل غير المفعّل طولا صفرا.

تتطلب 204 و205 و304 متنا فارغا. تحذف 204 Content-Length وتضع 205 صفرا، ويمكن لـ304 التصريح بطول تمثيل أو حذفه. يسمح بهذا الطول فقط لـHEAD و304 ويجب ألا يكون سالبا. تتقدم قواعد الحالة على بديل HEAD. يعيد العميل في الردود دون متن متنا فارغا وعدد بايتات مرمزة صفرا وعلم gzip غير مفعّل، دون حجز أو فك التمثيل الافتراضي. ما زالت 205 تتطلب تأطيرا صالحا لرسالة فارغة.

يفحص تحقق_استجابة حدود الخدمة والبيانات دون إرسال، ويقبل طلب استدعائه فقط وفق هويته المخفية. تحتفظ النسخ بالهوية ولا يغير تعديل الطريقة العامة سلطة HEAD الفعلية. يفشل طلب استدعاء آخر أو سجل أنشأه التطبيق بالرمز http.invalid_argument. يعاد الفحص عند العودة. تنتج الاستجابة غير الصالحة أو المتجاوزة 500 عاما محدودا مع إغلاق الاتصال. يبقى فخ ASPL نهائيا.

قبل المعالج، يستخدم الطلب السيئ 400، والهدف الكبير 414، والترويسات الكبيرة 431، والمتن الكبير 413، والنقل أو CONNECT غير المدعوم 501، والتوقعات 417، وإصدار HTTP غير المدعوم 505. يتلقى Expect: 100-continue الصالح المقبول 100 قبل المتن. قد تعيد مهلة المرحلة 408 ما دامت الكلية حية، ويعيد الطلب المكتمل دون سعة انتظار أو معالجة 503. تغلق الاتصالات المرفوضة، وتكون متون الرفض الثابتة فارغة. قد يفشل قبول النقل أو TLS أو انتهاء الأب أو قطع الاتصال أو نفاد الميزانية دون رد HTTP.

التحويلات وgzip وإعادة الاستخدام

اتباع التحويلات وفك gzip غير مفعّلين افتراضيا. يتبع التفعيل 301/302/303/307/308 داخل origin واحد وفق البروتوكول والمضيف والمنفذ الفعلي. تحل المراجع النسبية مع معالجة النقاط الحرفية. تحول 301 و302 POST إلى GET وتحذف متنه وتبقي بقية الطرق. تحافظ 303 على HEAD أو تختار GET وتحذف المتن. تعيد 307 و308 الطريقة والبايتات نفسها. عند حذف المتن تحذف Content-Type وContent-Encoding وContent-Language وContent-Location وContent-Range وDigest وContent-Digest ويعاد اشتقاق التأطير.

غياب Location يعيد الرد. يفشل تكرارها أو خطؤها أو عدم صلاحية وجهتها. Location النسبي الفارغ صالح لكنه محدود بعدد الخطوات. تعاد الوجهة الصالحة خارج origin دون اتباع، بما فيه HTTPS إلى HTTP. يعد عدد_تحويلات الانتقالات المتبعة ورابط_نهائي آخر URL مطلوب. تشترك الخطوات في المهلة الكلية الأصلية. لا إعادة تلقائية لطلب التطبيق عند فشل النقل أو اتصال معاد الاستخدام.

عند تعطيل الفك تعاد البايتات المرمزة دون توليد Accept-Encoding. عند تفعيله تولد Accept-Encoding: gzip وترفض قيمة التطبيق لها. غياب الترميز أو identity وحدها يبقي البايتات. يفك gzip واحد دون اعتبار لحالة الاسم. يفشل التراكم والتكرار والترميز الآخر. يفحص اكتمال الأعضاء والبصمات ويقبل الأعضاء المتتابعة الصالحة ويرفض البتر والبيانات الزائدة. تحتفظ الترويسات والختامية ببيانات الضغط الأصلية. لا يعد بايتات_متن_مرمز تأطير النقل، ويكون متن مفكوكا فقط عندما يكون فك_ضغط_غزيب مفعّلا. يطبق حدي المتن المرمز والمفكوك قبل قبول البايتات التالية.

إعادة الاستخدام محدودة ومملوكة للتنفيذ. يشمل مفتاحها origin وهوية ثقة TLS الفعلية. يجب استهلاك التأطير الكامل الصالح أو إغلاق المقبس. تنتهي الاتصالات الخاملة أو تطرد. تحرر عودة اخدم العادية الخادم وأبناءه، وقد تبقى موارد عميل مستقلة حتى نهاية التنفيذ. لا مقبض عام للمقبس أو التيار أو إغلاق العميل.

الحالة والحدود والمهل

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

يمكن لـاضبط استبدال إعدادات التنفيذ الصالحة قبل أول محاولة شبكة متحققة. تثبت المحاولة الإعدادات حتى عند فشل البدء. لا تبدأ الأدوات النقية الشبكة. يسمح التنفيذ بمحاولة مجتازة للتحقق واحدة عبر اخدم أو ابدأ، حتى عند فشل البدء بعدها. تعمل طلبات العميل قبل الخدمة وفيها وبعدها. تنسخ الخيارات والمستمعون والموجه والإعدادات لكل عملية أو خدمة.

ذاكرة الآلة 256 MiB والخلفية المشتركة 128 MiB افتراضيا. تشمل محاسبة الأصل السعات المحتفظ بها والقمم المؤقتة وحالة TLS وDNS والفك والأحداث. تحسب قيم ASPL الحية ضمن الآلة. مخازن المقابس في النواة خارج محاسبة الحجز، لكن المقابس المقبولة والخاملة ضمن الأعداد المحدودة. لا تتجاوز قائمة انتظار الاستماع المطلوبة لكل مستمع طلبات_منتظرة وقد يخفضها المضيف. يرفض امتلاء الانتظار أو المعالجات أو العمليات الصادرة القبول بدلا من إنشاء طوابير مخفية. قد تقيد حدود المضيف والذاكرة الفعلية إعدادا عدديا صالحا؛ لا يحجز الإعداد موارده ولا يضمن قبول العمل. يجب أيضا ألا تتجاوز اتصالات_عميل_خاملة قيمة اتصالات_صادرة. عند خفض سعة الصادر إلى أقل من 16، اخفض عدد الخامل الافتراضي معها وإلا أعادت اضبط الرمز http.invalid_argument. يثبت المثال المفحوص limits.aspl الرفض والتصحيح.

المهل زمن رتيب. تبدأ كلية العميل عند الاستدعاء وكلية الخادم عند أول بايت طلب وتشمل الانتظار وCPU والطلبات الصادرة والكتابة. تشمل مهلة الاتصال DNS وTCP وTLS معا. قد تقصر مهلة TLS أو الترويسات أو المتن أو الكتابة المهلة الأصلية ولا تمددها. يقيد الأب أبناءه. تسبق مصافحة TLS للخادم كلية أول بايت. تغطي مهلة الخمول غياب النشاط والتصريف انتظار الإيقاف. يستخدم التنظيف مهلة أصلية واحدة لكل الموارد في نطاق الملكية، افتراضها وأدناها 1000 ms. الاستقصاء كل 10 ms هدف استجابة وليس ضمانا للزمن الحقيقي.

يلغي انتهاء الأب أو قطع الاتصال أو انتهاء التصريف استدعاءه وأبناءه ويلغي النتائج المتأخرة ونشر الحالة، وتبقى المعالجات الأخرى حية. لا يسلم نتيجة فاشلة إلى الأب الملغى. إغلاق جهة استقبال فقط لا يثبت قطع الاتصال. يصرّف الإيقاف الصريح ويعود عاديا بعد التحرير. الإشارة الأولى تصرّف ثم تنهي التنفيذ بالحالة 7 والثانية تتجاوز التصريف. حالة الفخ 5 ولا يصبح 500 تلقائيا. تبقى حدود الآلة وفشل الحجز أو الثوابت وفشل التنظيف المحدود نتائج نهائية.

الإعدادات والبدء

استخدم configure(RuntimeConfig) قبل أول محاولة شبكة اجتازت التحقق. تعيد المجالات غير الصالحة أو idle_client_connections > outbound_connections الرمز http.invalid_argument دون تثبيت الإعدادات. تثبت محاولات العميل أو الخدمة المجتازة للتحقق الإعدادات حتى لو فشل بدء النقل؛ يعيد الضبط اللاحق http.already_started. لا تهيئ الأدوات المساعدة والفحص والبناء دون شبكة HTTP. تنسخ الخيارات والمستمعين وإعدادات التطبيق ولا تعمل كإعدادات قابلة للتغيير المباشر.

يتطلب Listener::tls=false مساري شهادة ومفتاح فارغين؛ ويتطلب true كليهما غير فارغ. منفذ المستمع 1..65535، ومستمع IPv6 خاص بـIPv6. يستهلك serve أو start المجتاز للتحقق فرصة الخدمة الوحيدة للتنفيذ. يحرر فشل البدء المستمعين والعمل المنشأين قبل إعادة رمزه المستقر. صحح المدخلات وابدأ تنفيذا جديدا. راجع إعدادات النشر ومثال الحدود.

الثقة الافتراضية والخاصة

يختار ClientOptions الافتراضي اكتشاف CA المضيف، مع use_private_ca=false وca_file فارغ. يتطلب use_private_ca=true مسار CA خاص غير فارغ بصيغة PEM ويحل محل مخزن المضيف. يعطي الجمع غير الصالح للعلم والمسار http.invalid_argument. تعطي الثقة المختارة الغائبة أو المشوهة أو غير المقروءة أو المتجاوزة للحجم http.ca_load_failed قبل الاتصال؛ وتعطي الثقة المحملة غير المتعلقة http.tls_verify_failed أثناء التحقق. لا تعطل هذه الخيارات فحص السلسلة والتاريخ والهوية.

أول حزمة افتراضية موجودة هي المرجع. لا ينتقل الاختيار من حزمة سيئة إلى التالية ولا يغير SSL_CERT_FILE أو SSL_CERT_DIR الاكتشاف. عند غياب الحزم المرشحة كلها يطبق اكتشاف مجلد محدود. تثبت الثقة المحللة بنجاح للتنفيذ. راجع ترتيب الاكتشاف الدقيق والتجهيز المحلي؛ لا تستنتج أن كل ترتيب ثقة لمضيف يعمل.

طلبات الطرف العلوي المرتبطة بالسياق

يتطلب request(ClientRequest, ClientOptions) داخل المعالج إطار طلبه الحي. تعيد read_config(ctx) إعدادات تطبيق الخدمة المنسوخة؛ توفر في عائلة الخدمة رابط الطرف العلوي ومسار CA الصريح. شهادة ومفتاح الخادم الوارد مستقلان عن ثقته الصادرة. يمرر المعالج المفحوص الحالة وبايتات المتن عمدا دون نسخ بيانات تمثيل الطرف المقابل المضغوط.

تبقى ردود 404 و500 الكاملة نتائج عميل ناجحة. يصل فشل الابن القابل للاسترداد إلى الأب الحي كنتيجة عادية؛ يحول المثال رمزه المستقر إلى متن 502. ينقض انتهاء مهلة الأب أو اكتشاف انقطاعه أو انتهاء التصريف عمل الابن ويسقط خرج المعالج ونشره المتأخرين بدلا من تسليم نتيجة فاشلة للمعالج الملغى. لا تمدد مهل الابن مهلة الأب. لا إعادة محاولة تلقائية أو وكيل صادر أو تراجع عن آثار الطرف المقابل. اتبع تمرين الطرف العلوي TLS الكامل.

مدخلات TLS

يفحص عميل TLS 1.2 و1.3 السلسلة والتواريخ وSAN للاسم أو IP دائما. يحمل الخادم سلسلة PEM ومفتاحا غير مشفر مطابقا لكل مستمع. تدعم مفاتيح rsaEncryption العادية 2048..8192 بت وأسّا فرديا أكبر من واحد لا يتجاوز 32 بت. تدعم منحنيات P-256 وP-384 وP-521 المسماة. تدعم توقيعات RSA-PSS بمفتاح RSA عادي، وترفض مفاتيح rsassaPss المقيدة وEd25519 وEd448 والمنحنيات الأخرى ومعاملات المنحنى الصريحة.

حد ملف TLS الافتراضي 1 MiB ومجاله 1..16 MiB. للمفتاح أيضا حد 65536 بايت، وللمسار أقل من 4096 بايت. حد كتلة PEM المحلية 65536 بايت وشهادة DER 49152 بايت ورسالة مصافحة شهادات الطرف المقابل 524288 بايت. حد شهادات الثقة 8192 بما فيها التكرار ولسلسلة المستمع ثماني شهادات ولـCA الوسيطة ست. يفحص مجلد الثقة حتى 16384 عنصرا و8192 ملفا عاديا فريدا. راجع اكتشاف الثقة وتوقيت فشل البدء.

أخطاء مستقرة قابلة للاسترداد

الرموز ASCII مستقلة عن لغة التشخيص. تعيد المنشئات والأدوات وعمليات الشبكة نتائج عادية قابلة للاسترداد للإخفاقات المتوقعة التالية. قد يفشل الطلب بعد تنفيذ الطرف المقابل له، ولا ضمان للتراجع هناك. ينظف فشل مضيف الخدمة غير المتوقع مواردها قبل عودة اخدم بالرمز http.host_failure.

المستبعدات الحالية

HTTP/1.1 أصلي فقط. لا شبكة للمتصفح أو التضمين الخاص، ولا HTTP/2 أو HTTP/3 أو CONNECT أو WebSocket أو ترقية أخرى، ولا واجهة بث للمتن أو أدوات multipart أو SSE أو تحليل وتوليد JSON أو معاملات وجهات مسماة أو middleware أو إدارة تلقائية للكوكيز أو المصادقة أو وكيل صادر أو تحويل IDN تلقائي أو ضغط خادم أو إعادة تحميل شهادة أو اختيارها بـSNI أو مصادقة بشهادة عميل أو اتباع تحويلات تلقائي خارج origin.

استخدم دليل النشر الحالي لمسارات 0.7.0 الأصلي المنشور. يبقى مصدر النشر الخام السابق (يفتح في نافذة جديدة) بنطاق إصداره السابق.

العقد الأصلي

المضيف الأصلي فقط، ASPL 0.7.0 المنشور. استورد core::raylib أو أساسي::رايليب في كل وحدة مصدر تستخدمها. تقبل كل بادئة قصيرة مستوردة مفردات الأعضاء باللغتين، واستورد الصيغتين لاستخدام البادئتين. تحتفظ معرفات المستخدم وحقول سجلاته ونصوصه ومساراته بهويتها. لا تحتاج العمليات الموردة إلى تصريح unsafe ولا تكشف واصفات أصلية.

اقرأ دليل الرسم والنص والصوت ومجموعة الأمثلة. لا يحتاج الفحص والبناء إلى شاشة أو مترجم C. تحتاج عمليات النافذة إلى رسوم Linux مدعومة مع OpenGL 3.3 core، والصوت إلى جهاز PulseAudio متوافق أو ALSA متاح. لا يحتاج النص على المعالج إلى أي منهما. راجع متطلبات النشر. يرفض المتصفح والتضمين الخاص هذه المكتبة الموردة بالرمز unsupported-supplied-library-profile حتى مع الاستيراد غير المستخدم.

تعيد كل الاستدعاءات العادية نتائج مفحوصة. الفحوص الكلية السبعة IsWindowReady وIsTextureValid وIsFontValid وIsTextLayoutValid وIsAudioDeviceReady وIsSoundValid وIsMusicValid تعيد bool. اقرأ فرع النتيجة المحدد وحده. أحجام الأعداد دقيقة، وحوّل القيمة الأوسع ذات النوع المحدد صراحة. تحفظ الجداول أدناه التصريحات المزدوجة المقبولة والمفحوصة مقابل فهرس الإنتاج. تسري قواعد السياق عبر المساعدات وقيم الدوال أيضا.

تحتاج السجلات إلى كل حقل مرة واحدة. تعد صيغتا الحقل الواحد تكرارا. تنسخ السجلات بالقيمة وتحتاج الطفرة إلى جذر قابل للتعديل. تقبل تعدادات المفتاح والفأرة والمرشح والالتفاف واتجاه النص ومحاذاته التخزين والمساواة من النوع نفسه دون بناء من أعداد أو حساب أو ترتيب. يقبل WindowFlags عمليات | و& و^ و~ المحدودة والمساواة من النوع نفسه باستعمال البتات الخمسة المدعومة والمجموعة الفارغة. يقبل TextureFilter القيمتين POINT وBILINEAR، وTextureWrap القيمتين REPEAT وCLAMP. Texture وFont وTextLayout وSound وMusic ملاك مدارون مشتركون معتمون.

الأنواع والحقول

Vector2 / متجه2

Rectangle / مستطيل

Color / لون

Camera2D / كاميرا2

TextOptions / خيارات_النص

TextMetrics / مقاييس_النص

الثوابت

النافذة ودورة الحياة

SetConfigFlags / اضبط_أعلام_الإعداد

(flags: WindowFlags) -> result<unit>

التطبيق والخيط الرئيسي وخارج إطار الرسم، مع شروط الجهاز والمالك.

يستبدل أعلام النافذة التالية المحفوظة. يشترط عدم وجود نافذة حية وتبقى الأعلام بعد إعادة الفتح.

InitWindow / هيئ_نافذة

(width: i32, height: i32, title: string) -> result<unit>

التطبيق والخيط الرئيسي وخارج إطار الرسم، مع شروط الجهاز والمالك.

أبعاد موجبة، ونسخة محفوظة من بايتات العنوان. يعيد الجيل الجديد مفتاح هروب والإدخال والتوقيت إلى البداية.

IsWindowReady / هل_النافذة_جاهزة

() -> bool

فحص كلي، مسموح للمعالجات والدوال الراجعة، دون دخول جهاز أصلي.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

WindowShouldClose / هل_يجب_إغلاق_النافذة

() -> result<bool>

التطبيق والخيط الرئيسي ونافذة حية، وتسمح الملاحظات المأخوذة داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

CloseWindow / أغلق_النافذة

() -> result<unit>

التطبيق والخيط الرئيسي وخارج إطار الرسم، مع شروط الجهاز والمالك.

يغلق نسخ الأنسجة ومخابئ GPU قبل تدمير السياق. تبقى الخطوط والتخطيطات على المعالج.

SetWindowTitle / اضبط_عنوان_النافذة

(title: string) -> result<unit>

التطبيق والخيط الرئيسي وخارج إطار الرسم، مع شروط الجهاز والمالك.

يحتفظ بنسخة العنوان حتى الاستبدال وانتهاء الاستخدام الأصلي. يبقى العنوان الحالي عند الرفض ويرفض NUL.

GetScreenWidth / عرض_الشاشة

() -> result<i32>

التطبيق والخيط الرئيسي ونافذة حية، وتسمح الملاحظات المأخوذة داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

GetScreenHeight / ارتفاع_الشاشة

() -> result<i32>

التطبيق والخيط الرئيسي ونافذة حية، وتسمح الملاحظات المأخوذة داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

GetRenderWidth / عرض_التصيير

() -> result<i32>

التطبيق والخيط الرئيسي ونافذة حية، وتسمح الملاحظات المأخوذة داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

GetRenderHeight / ارتفاع_التصيير

() -> result<i32>

التطبيق والخيط الرئيسي ونافذة حية، وتسمح الملاحظات المأخوذة داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

IsWindowResized / هل_تغير_حجم_النافذة

() -> result<bool>

التطبيق والخيط الرئيسي ونافذة حية، وتسمح الملاحظات المأخوذة داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

إطارات الرسم والتوقيت

BeginDrawing / ابدأ_الرسم

() -> result<unit>

التطبيق والخيط الرئيسي، مع قواعد أزواج الرسم ووضع الكاميرا.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

EndDrawing / أنه_الرسم

() -> result<unit>

التطبيق والخيط الرئيسي، مع قواعد أزواج الرسم ووضع الكاميرا.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

ClearBackground / امسح_الخلفية

(color: Color) -> result<unit>

التطبيق والخيط الرئيسي وداخل إطار رسم.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

SetTargetFPS / اضبط_معدل_الإطارات

(fps: i32) -> result<unit>

التطبيق والخيط الرئيسي وخارج إطار الرسم، مع شروط الجهاز والمالك.

معدل غير سالب. الصفر بلا سقف وتبقى إعدادات التوقيت بعد إعادة الفتح.

GetFrameTime / زمن_الإطار

() -> result<f32>

التطبيق والخيط الرئيسي ونافذة حية، وتسمح الملاحظات المأخوذة داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

GetTime / الزمن

() -> result<f64>

التطبيق والخيط الرئيسي ونافذة حية، وتسمح الملاحظات المأخوذة داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

GetFPS / معدل_الإطارات

() -> result<i32>

التطبيق والخيط الرئيسي ونافذة حية، وتسمح الملاحظات المأخوذة داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

إدخال لوحة المفاتيح والفأرة والحجم

IsKeyPressed / هل_ضغط_المفتاح

(key: Key) -> result<bool>

التطبيق والخيط الرئيسي ونافذة حية، وتسمح الملاحظات المأخوذة داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

IsKeyPressedRepeat / هل_تكرر_ضغط_المفتاح

(key: Key) -> result<bool>

التطبيق والخيط الرئيسي ونافذة حية، وتسمح الملاحظات المأخوذة داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

IsKeyDown / هل_المفتاح_مضغوط

(key: Key) -> result<bool>

التطبيق والخيط الرئيسي ونافذة حية، وتسمح الملاحظات المأخوذة داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

IsKeyReleased / هل_حرر_المفتاح

(key: Key) -> result<bool>

التطبيق والخيط الرئيسي ونافذة حية، وتسمح الملاحظات المأخوذة داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

IsKeyUp / هل_المفتاح_غير_مضغوط

(key: Key) -> result<bool>

التطبيق والخيط الرئيسي ونافذة حية، وتسمح الملاحظات المأخوذة داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

GetKeyPressed / المفتاح_المضغوط

() -> result<Key>

التطبيق والخيط الرئيسي ونافذة حية، وتسمح الملاحظات المأخوذة داخل إطار.

يستهلك عنصرا واحدا من الطابور. يعيد مفتاح_لا_شيء عندما يكون الطابور فارغا.

GetCharPressed / المحرف_المدخل

() -> result<i32>

التطبيق والخيط الرئيسي ونافذة حية، وتسمح الملاحظات المأخوذة داخل إطار.

يستهلك عنصرا واحدا من الطابور ويعيد صفرا أو قيمة Unicode مفحوصة من نوع ص32.

SetExitKey / اضبط_مفتاح_الخروج

(key: Key) -> result<unit>

التطبيق والخيط الرئيسي وخارج إطار الرسم، مع شروط الجهاز والمالك.

مفتاح_لا_شيء يعطل مفتاح الخروج. يعيد الفتح مفتاح هروب.

IsMouseButtonPressed / هل_ضغط_زر_الفأرة

(button: MouseButton) -> result<bool>

التطبيق والخيط الرئيسي ونافذة حية، وتسمح الملاحظات المأخوذة داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

IsMouseButtonDown / هل_زر_الفأرة_مضغوط

(button: MouseButton) -> result<bool>

التطبيق والخيط الرئيسي ونافذة حية، وتسمح الملاحظات المأخوذة داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

IsMouseButtonReleased / هل_حرر_زر_الفأرة

(button: MouseButton) -> result<bool>

التطبيق والخيط الرئيسي ونافذة حية، وتسمح الملاحظات المأخوذة داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

IsMouseButtonUp / هل_زر_الفأرة_غير_مضغوط

(button: MouseButton) -> result<bool>

التطبيق والخيط الرئيسي ونافذة حية، وتسمح الملاحظات المأخوذة داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

GetMousePosition / موضع_الفأرة

() -> result<Vector2>

التطبيق والخيط الرئيسي ونافذة حية، وتسمح الملاحظات المأخوذة داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

GetMouseDelta / تغير_موضع_الفأرة

() -> result<Vector2>

التطبيق والخيط الرئيسي ونافذة حية، وتسمح الملاحظات المأخوذة داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

GetMouseWheelMove / حركة_عجلة_الفأرة

() -> result<f32>

التطبيق والخيط الرئيسي ونافذة حية، وتسمح الملاحظات المأخوذة داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

GetMouseWheelMoveV / حركة_عجلة_الفأرة_بمتجه

() -> result<Vector2>

التطبيق والخيط الرئيسي ونافذة حية، وتسمح الملاحظات المأخوذة داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

الرسم ثنائي الأبعاد

DrawPixel / ارسم_بكسلا

(posX: i32, posY: i32, color: Color) -> result<unit>

التطبيق والخيط الرئيسي وداخل إطار رسم.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

DrawPixelV / ارسم_بكسلا_بمتجه

(position: Vector2, color: Color) -> result<unit>

التطبيق والخيط الرئيسي وداخل إطار رسم.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

DrawLine / ارسم_خطا

(startPosX: i32, startPosY: i32, endPosX: i32, endPosY: i32, color: Color) -> result<unit>

التطبيق والخيط الرئيسي وداخل إطار رسم.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

DrawLineV / ارسم_خطا_بمتجه

(startPos: Vector2, endPos: Vector2, color: Color) -> result<unit>

التطبيق والخيط الرئيسي وداخل إطار رسم.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

DrawLineEx / ارسم_خطا_موسعا

(startPos: Vector2, endPos: Vector2, thick: f32, color: Color) -> result<unit>

التطبيق والخيط الرئيسي وداخل إطار رسم.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

DrawCircle / ارسم_دائرة

(centerX: i32, centerY: i32, radius: f32, color: Color) -> result<unit>

التطبيق والخيط الرئيسي وداخل إطار رسم.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

DrawCircleV / ارسم_دائرة_بمتجه

(center: Vector2, radius: f32, color: Color) -> result<unit>

التطبيق والخيط الرئيسي وداخل إطار رسم.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

DrawCircleLines / ارسم_محيط_دائرة

(centerX: i32, centerY: i32, radius: f32, color: Color) -> result<unit>

التطبيق والخيط الرئيسي وداخل إطار رسم.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

DrawRectangle / ارسم_مستطيلا

(posX: i32, posY: i32, width: i32, height: i32, color: Color) -> result<unit>

التطبيق والخيط الرئيسي وداخل إطار رسم.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

DrawRectangleV / ارسم_مستطيلا_بمتجه

(position: Vector2, size: Vector2, color: Color) -> result<unit>

التطبيق والخيط الرئيسي وداخل إطار رسم.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

DrawRectangleRec / ارسم_مستطيلا_بسجل

(rec: Rectangle, color: Color) -> result<unit>

التطبيق والخيط الرئيسي وداخل إطار رسم.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

DrawRectanglePro / ارسم_مستطيلا_متقدما

(rec: Rectangle, origin: Vector2, rotation: f32, color: Color) -> result<unit>

التطبيق والخيط الرئيسي وداخل إطار رسم.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

DrawRectangleLines / ارسم_محيط_مستطيل

(posX: i32, posY: i32, width: i32, height: i32, color: Color) -> result<unit>

التطبيق والخيط الرئيسي وداخل إطار رسم.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

DrawRectangleLinesEx / ارسم_محيط_مستطيل_موسعا

(rec: Rectangle, lineThick: f32, color: Color) -> result<unit>

التطبيق والخيط الرئيسي وداخل إطار رسم.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

DrawTriangle / ارسم_مثلثا

(v1: Vector2, v2: Vector2, v3: Vector2, color: Color) -> result<unit>

التطبيق والخيط الرئيسي وداخل إطار رسم.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

DrawTriangleLines / ارسم_محيط_مثلث

(v1: Vector2, v2: Vector2, v3: Vector2, color: Color) -> result<unit>

التطبيق والخيط الرئيسي وداخل إطار رسم.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

الأنسجة والصور

LoadTexture / حمل_نسيجا

(fileName: string) -> result<Texture>

التطبيق والخيط الرئيسي وخارج إطار الرسم، مع شروط الجهاز والمالك.

PNG فقط، بمسار نسبة إلى مجلد العمل ونسخة من بايتات المسار. يتطلب نافذة حية.

IsTextureValid / هل_النسيج_صالح

(texture: Texture) -> bool

فحص كلي، مسموح للمعالجات والدوال الراجعة، دون دخول جهاز أصلي.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

UnloadTexture / حرر_النسيج

(texture: Texture) -> result<unit>

التطبيق والخيط الرئيسي. يجوز الإغلاق المنطقي داخل إطار وينجح تحرير المورد المغلق.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

SetTextureFilter / اضبط_مرشح_النسيج

(texture: Texture, filter: TextureFilter) -> result<unit>

التطبيق والخيط الرئيسي وخارج إطار الرسم، مع شروط الجهاز والمالك.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

SetTextureWrap / اضبط_التفاف_النسيج

(texture: Texture, wrap: TextureWrap) -> result<unit>

التطبيق والخيط الرئيسي وخارج إطار الرسم، مع شروط الجهاز والمالك.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

DrawTexture / ارسم_نسيجا

(texture: Texture, posX: i32, posY: i32, tint: Color) -> result<unit>

التطبيق والخيط الرئيسي وداخل إطار رسم.

الأبعاد الموقعة للمصدر تحفظ الانعكاس. يبقى سلوك رايليب المسموح للمقياس الصفري والسالب والوجهات الموقعة، مع فحص إمكان تمثيل الحسابات الناتجة.

DrawTextureV / ارسم_نسيجا_بمتجه

(texture: Texture, position: Vector2, tint: Color) -> result<unit>

التطبيق والخيط الرئيسي وداخل إطار رسم.

الأبعاد الموقعة للمصدر تحفظ الانعكاس. يبقى سلوك رايليب المسموح للمقياس الصفري والسالب والوجهات الموقعة، مع فحص إمكان تمثيل الحسابات الناتجة.

DrawTextureEx / ارسم_نسيجا_موسعا

(texture: Texture, position: Vector2, rotation: f32, scale: f32, tint: Color) -> result<unit>

التطبيق والخيط الرئيسي وداخل إطار رسم.

الأبعاد الموقعة للمصدر تحفظ الانعكاس. يبقى سلوك رايليب المسموح للمقياس الصفري والسالب والوجهات الموقعة، مع فحص إمكان تمثيل الحسابات الناتجة.

DrawTextureRec / ارسم_جزء_نسيج

(texture: Texture, source: Rectangle, position: Vector2, tint: Color) -> result<unit>

التطبيق والخيط الرئيسي وداخل إطار رسم.

الأبعاد الموقعة للمصدر تحفظ الانعكاس. يبقى سلوك رايليب المسموح للمقياس الصفري والسالب والوجهات الموقعة، مع فحص إمكان تمثيل الحسابات الناتجة.

DrawTexturePro / ارسم_نسيجا_متقدما

(texture: Texture, source: Rectangle, dest: Rectangle, origin: Vector2, rotation: f32, tint: Color) -> result<unit>

التطبيق والخيط الرئيسي وداخل إطار رسم.

الأبعاد الموقعة للمصدر تحفظ الانعكاس. يبقى سلوك رايليب المسموح للمقياس الصفري والسالب والوجهات الموقعة، مع فحص إمكان تمثيل الحسابات الناتجة.

GetTextureWidth / عرض_النسيج

(texture: Texture) -> result<i32>

بيانات مالك للقراءة فقط، مسموحة للمعالجات والدوال الراجعة مع فحص إغلاق المالك.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

GetTextureHeight / ارتفاع_النسيج

(texture: Texture) -> result<i32>

بيانات مالك للقراءة فقط، مسموحة للمعالجات والدوال الراجعة مع فحص إغلاق المالك.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

أوضاع كاميرا2 وتحويلاتها

BeginMode2D / ابدأ_وضع_ثنائي_الأبعاد

(camera: Camera2D) -> result<unit>

التطبيق والخيط الرئيسي، مع قواعد أزواج الرسم ووضع الكاميرا.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

EndMode2D / أنه_وضع_ثنائي_الأبعاد

() -> result<unit>

التطبيق والخيط الرئيسي، مع قواعد أزواج الرسم ووضع الكاميرا.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

GetWorldToScreen2D / من_العالم_إلى_الشاشة

(position: Vector2, camera: Camera2D) -> result<Vector2>

حساب مفحوص، مسموح للمعالجات والدوال الراجعة، دون اشتراط جهاز أو إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

GetScreenToWorld2D / من_الشاشة_إلى_العالم

(position: Vector2, camera: Camera2D) -> result<Vector2>

حساب مفحوص، مسموح للمعالجات والدوال الراجعة، دون اشتراط جهاز أو إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

هندسة التصادم

CheckCollisionRecs / هل_يتداخل_مستطيلان

(rec1: Rectangle, rec2: Rectangle) -> result<bool>

حساب مفحوص، مسموح للمعالجات والدوال الراجعة، دون اشتراط جهاز أو إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

CheckCollisionCircles / هل_تتداخل_دائرتان

(center1: Vector2, radius1: f32, center2: Vector2, radius2: f32) -> result<bool>

حساب مفحوص، مسموح للمعالجات والدوال الراجعة، دون اشتراط جهاز أو إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

CheckCollisionCircleRec / هل_تتداخل_دائرة_ومستطيل

(center: Vector2, radius: f32, rec: Rectangle) -> result<bool>

حساب مفحوص، مسموح للمعالجات والدوال الراجعة، دون اشتراط جهاز أو إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

CheckCollisionPointRec / هل_النقطة_في_مستطيل

(point: Vector2, rec: Rectangle) -> result<bool>

حساب مفحوص، مسموح للمعالجات والدوال الراجعة، دون اشتراط جهاز أو إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

CheckCollisionPointCircle / هل_النقطة_في_دائرة

(point: Vector2, center: Vector2, radius: f32) -> result<bool>

حساب مفحوص، مسموح للمعالجات والدوال الراجعة، دون اشتراط جهاز أو إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

CheckCollisionPointTriangle / هل_النقطة_في_مثلث

(point: Vector2, p1: Vector2, p2: Vector2, p3: Vector2) -> result<bool>

حساب مفحوص، مسموح للمعالجات والدوال الراجعة، دون اشتراط جهاز أو إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

GetCollisionRec / مستطيل_التداخل

(rec1: Rectangle, rec2: Rectangle) -> result<Rectangle>

حساب مفحوص، مسموح للمعالجات والدوال الراجعة، دون اشتراط جهاز أو إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

اختيار الخطوط وملكيتها

GetFontDefault / الخط_الافتراضي

() -> result<Font>

نص على المعالج، مسموح للمعالجات والدوال الراجعة، دون نافذة.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

LoadFont / حمل_خطا

(fileName: string) -> result<Font>

التطبيق والخيط الرئيسي وخارج إطار الرسم، مع شروط الجهاز والمالك.

خط TrueType ذو وجه واحد وحدود متجهة. تبقى بايتات الملف المنسوخة بعد استبداله وتتوفر الخطوط الاحتياطية المضمنة.

LoadFontEx / حمل_خطا_موسعا

(fileName: string, fontSize: i32, codepoints: list<i32>) -> result<Font>

التطبيق والخيط الرئيسي وخارج إطار الرسم، مع شروط الجهاز والمالك.

حجم أساسي 1..4096. قائمة ص32 تلميحات لتجهيز المحارف تنسخها المكتبة. القائمة الفارغة بلا تلميحات ولا تحد التغطية.

IsFontValid / هل_الخط_صالح

(font: Font) -> bool

فحص كلي، مسموح للمعالجات والدوال الراجعة، دون دخول جهاز أصلي.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

UnloadFont / حرر_الخط

(font: Font) -> result<unit>

نص على المعالج، مسموح للمعالجات والدوال الراجعة، دون نافذة.

يغلق النسخ المشتركة بأمان. تحتفظ التخطيطات ببيانات الخط المستقلة ويقبل تحرير الخط الافتراضي دون إغلاقه.

GetFontBaseSize / حجم_الخط_الأساسي

(font: Font) -> result<i32>

نص على المعالج، مسموح للمعالجات والدوال الراجعة، دون نافذة.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

تخطيطات النص الثابتة

CreateTextLayout / أنشئ_تخطيط_نص

(font: Font, text: string, options: TextOptions) -> result<TextLayout>

نص على المعالج، مسموح للمعالجات والدوال الراجعة، دون نافذة.

تخطيط ثابت على المعالج. يجب تحديد كل حقول الخيارات ويحتفظ بالخطوط ويبقى بعد إعادة إنشاء النافذة.

MeasureTextLayout / قس_تخطيط_النص

(layout: TextLayout) -> result<TextMetrics>

نص على المعالج، مسموح للمعالجات والدوال الراجعة، دون نافذة.

حجم هو الصندوق المنطقي وحبر هو حدود المحارف المحلية. القياس والرسم يستخدمان المواضع نفسها.

IsTextLayoutValid / هل_تخطيط_النص_صالح

(layout: TextLayout) -> bool

فحص كلي، مسموح للمعالجات والدوال الراجعة، دون دخول جهاز أصلي.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

UnloadTextLayout / حرر_تخطيط_النص

(layout: TextLayout) -> result<unit>

نص على المعالج، مسموح للمعالجات والدوال الراجعة، دون نافذة.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

قياس النص المشكل

MeasureText / قس_النص

(text: string, fontSize: i32) -> result<i32>

نص على المعالج، مسموح للمعالجات والدوال الراجعة، دون نافذة.

عرض بخط افتراضي مشكل، يقرب لأعلى إلى ص32 مفحوص. الحجم 1..4096.

MeasureTextEx / قس_النص_موسعا

(font: Font, text: string, fontSize: f32, spacing: f32) -> result<Vector2>

نص على المعالج، مسموح للمعالجات والدوال الراجعة، دون نافذة.

حجم منطقي لنص مشكل. التباعد صفر وحجم الخط 0.5..4096.

رسم النص المشكل

DrawText / ارسم_نصا

(text: string, posX: i32, posY: i32, fontSize: i32, color: Color) -> result<unit>

التطبيق والخيط الرئيسي وداخل إطار رسم.

نص عربي ولاتيني مشكل في ترتيب منطقي. فشل التجهيز المعروف لا يرسل أي رسم لهذا الطلب. تباعد Ex وPro يجب أن يكون صفرا.

DrawTextEx / ارسم_نصا_موسعا

(font: Font, text: string, position: Vector2, fontSize: f32, spacing: f32, tint: Color) -> result<unit>

التطبيق والخيط الرئيسي وداخل إطار رسم.

نص عربي ولاتيني مشكل في ترتيب منطقي. فشل التجهيز المعروف لا يرسل أي رسم لهذا الطلب. تباعد Ex وPro يجب أن يكون صفرا.

DrawTextPro / ارسم_نصا_متقدما

(font: Font, text: string, position: Vector2, origin: Vector2, rotation: f32, fontSize: f32, spacing: f32, tint: Color) -> result<unit>

التطبيق والخيط الرئيسي وداخل إطار رسم.

نص عربي ولاتيني مشكل في ترتيب منطقي. فشل التجهيز المعروف لا يرسل أي رسم لهذا الطلب. تباعد Ex وPro يجب أن يكون صفرا.

DrawTextLayout / ارسم_تخطيط_النص

(layout: TextLayout, position: Vector2, tint: Color) -> result<unit>

التطبيق والخيط الرئيسي وداخل إطار رسم.

نص عربي ولاتيني مشكل في ترتيب منطقي. فشل التجهيز المعروف لا يرسل أي رسم لهذا الطلب. تباعد Ex وPro يجب أن يكون صفرا.

DrawTextLayoutPro / ارسم_تخطيط_النص_متقدما

(layout: TextLayout, position: Vector2, origin: Vector2, rotation: f32, tint: Color) -> result<unit>

التطبيق والخيط الرئيسي وداخل إطار رسم.

نص عربي ولاتيني مشكل في ترتيب منطقي. فشل التجهيز المعروف لا يرسل أي رسم لهذا الطلب. تباعد Ex وPro يجب أن يكون صفرا.

جهاز الصوت والأصوات

InitAudioDevice / هيئ_جهاز_الصوت

() -> result<unit>

التطبيق والخيط الرئيسي وخارج إطار الرسم، مع شروط الجهاز والمالك.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

CloseAudioDevice / أغلق_جهاز_الصوت

() -> result<unit>

التطبيق والخيط الرئيسي وخارج إطار الرسم، مع شروط الجهاز والمالك.

يوقف ويغلق نسخ الصوت والموسيقى التابعة قبل تحرير الجهاز.

IsAudioDeviceReady / هل_جهاز_الصوت_جاهز

() -> bool

فحص كلي، مسموح للمعالجات والدوال الراجعة، دون دخول جهاز أصلي.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

SetMasterVolume / اضبط_مستوى_الصوت_العام

(volume: f32) -> result<unit>

التطبيق والخيط الرئيسي وجهاز صوت أو مالك حي، مسموح داخل إطار.

مستوى الصوت 0..1.

GetMasterVolume / مستوى_الصوت_العام

() -> result<f32>

التطبيق والخيط الرئيسي وجهاز صوت أو مالك حي، مسموح داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

LoadSound / حمل_صوتا

(fileName: string) -> result<Sound>

التطبيق والخيط الرئيسي وخارج إطار الرسم، مع شروط الجهاز والمالك.

ملفات WAV وOGG وMP3، بمسار نسبة إلى مجلد العمل. المورد تابع لجيل الصوت الحالي.

IsSoundValid / هل_الصوت_صالح

(sound: Sound) -> bool

فحص كلي، مسموح للمعالجات والدوال الراجعة، دون دخول جهاز أصلي.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

UnloadSound / حرر_الصوت

(sound: Sound) -> result<unit>

التطبيق والخيط الرئيسي. يجوز الإغلاق المنطقي داخل إطار وينجح تحرير المورد المغلق.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

PlaySound / شغل_الصوت

(sound: Sound) -> result<unit>

التطبيق والخيط الرئيسي وجهاز صوت أو مالك حي، مسموح داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

StopSound / أوقف_الصوت

(sound: Sound) -> result<unit>

التطبيق والخيط الرئيسي وجهاز صوت أو مالك حي، مسموح داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

PauseSound / أوقف_الصوت_مؤقتا

(sound: Sound) -> result<unit>

التطبيق والخيط الرئيسي وجهاز صوت أو مالك حي، مسموح داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

ResumeSound / استأنف_الصوت

(sound: Sound) -> result<unit>

التطبيق والخيط الرئيسي وجهاز صوت أو مالك حي، مسموح داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

IsSoundPlaying / هل_الصوت_يعمل

(sound: Sound) -> result<bool>

التطبيق والخيط الرئيسي وجهاز صوت أو مالك حي، مسموح داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

SetSoundVolume / اضبط_مستوى_الصوت

(sound: Sound, volume: f32) -> result<unit>

التطبيق والخيط الرئيسي وجهاز صوت أو مالك حي، مسموح داخل إطار.

مستوى الصوت 0..1.

SetSoundPitch / اضبط_حدة_الصوت

(sound: Sound, pitch: f32) -> result<unit>

التطبيق والخيط الرئيسي وجهاز صوت أو مالك حي، مسموح داخل إطار.

درجة صوت موجبة ومنتهية مع فحص معدل إعادة التعيين الناتج. الرفض قبل الدخول الأصلي يحفظ الدرجة السابقة.

SetSoundPan / اضبط_توازن_الصوت

(sound: Sound, pan: f32) -> result<unit>

التطبيق والخيط الرئيسي وجهاز صوت أو مالك حي، مسموح داخل إطار.

توازن الصوت -1..1.

بث الموسيقى الصريح

LoadMusicStream / حمل_تدفق_موسيقى

(fileName: string) -> result<Music>

التطبيق والخيط الرئيسي وخارج إطار الرسم، مع شروط الجهاز والمالك.

ملفات WAV وOGG وMP3، بمسار نسبة إلى مجلد العمل. المورد تابع لجيل الصوت الحالي.

IsMusicValid / هل_الموسيقى_صالحة

(music: Music) -> bool

فحص كلي، مسموح للمعالجات والدوال الراجعة، دون دخول جهاز أصلي.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

UnloadMusicStream / حرر_تدفق_الموسيقى

(music: Music) -> result<unit>

التطبيق والخيط الرئيسي. يجوز الإغلاق المنطقي داخل إطار وينجح تحرير المورد المغلق.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

PlayMusicStream / شغل_تدفق_الموسيقى

(music: Music) -> result<unit>

التطبيق والخيط الرئيسي وجهاز صوت أو مالك حي، مسموح داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

IsMusicStreamPlaying / هل_تدفق_الموسيقى_يعمل

(music: Music) -> result<bool>

التطبيق والخيط الرئيسي وجهاز صوت أو مالك حي، مسموح داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

UpdateMusicStream / حدث_تدفق_الموسيقى

(music: Music) -> result<unit>

التطبيق والخيط الرئيسي وجهاز صوت أو مالك حي، مسموح داخل إطار.

تحديث صريح من التطبيق، دون حلقة بث تلقائية أو استدعاء دالة مصدر.

StopMusicStream / أوقف_تدفق_الموسيقى

(music: Music) -> result<unit>

التطبيق والخيط الرئيسي وجهاز صوت أو مالك حي، مسموح داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

PauseMusicStream / أوقف_تدفق_الموسيقى_مؤقتا

(music: Music) -> result<unit>

التطبيق والخيط الرئيسي وجهاز صوت أو مالك حي، مسموح داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

ResumeMusicStream / استأنف_تدفق_الموسيقى

(music: Music) -> result<unit>

التطبيق والخيط الرئيسي وجهاز صوت أو مالك حي، مسموح داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

SeekMusicStream / اضبط_موضع_تدفق_الموسيقى

(music: Music, position: f32) -> result<unit>

التطبيق والخيط الرئيسي وجهاز صوت أو مالك حي، مسموح داخل إطار.

ثوان منتهية بين صفر والطول المبلغ عنه شاملا الطرفين. الطرف الأخير نهاية منطقية. التحديث التالي يعيد الموسيقى الجارية المتكررة أو يوقف غير المتكررة والفارغة. رفض المفكك يغلق المالك.

SetMusicVolume / اضبط_مستوى_الموسيقى

(music: Music, volume: f32) -> result<unit>

التطبيق والخيط الرئيسي وجهاز صوت أو مالك حي، مسموح داخل إطار.

مستوى الصوت 0..1.

SetMusicPitch / اضبط_حدة_الموسيقى

(music: Music, pitch: f32) -> result<unit>

التطبيق والخيط الرئيسي وجهاز صوت أو مالك حي، مسموح داخل إطار.

درجة صوت موجبة ومنتهية مع فحص معدل إعادة التعيين الناتج. الرفض قبل الدخول الأصلي يحفظ الدرجة السابقة.

SetMusicPan / اضبط_توازن_الموسيقى

(music: Music, pan: f32) -> result<unit>

التطبيق والخيط الرئيسي وجهاز صوت أو مالك حي، مسموح داخل إطار.

توازن الصوت -1..1.

GetMusicTimeLength / مدة_الموسيقى

(music: Music) -> result<f32>

التطبيق والخيط الرئيسي وجهاز صوت أو مالك حي، مسموح داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

GetMusicTimePlayed / زمن_الموسيقى_المنقضي

(music: Music) -> result<f32>

التطبيق والخيط الرئيسي وجهاز صوت أو مالك حي، مسموح داخل إطار.

تتبع الأحجام المفحوصة وأجيال المالك والنتائج الدليل. الرفض قبل الدخول يحفظ الحالة.

GetMusicLooping / هل_الموسيقى_تتكرر

(music: Music) -> result<bool>

بيانات مالك للقراءة فقط، مسموحة للمعالجات والدوال الراجعة مع فحص إغلاق المالك.

يقرأ بيانات محفوظة دون دخول جهاز الصوت.

SetMusicLooping / اضبط_تكرار_الموسيقى

(music: Music, looping: bool) -> result<unit>

التطبيق والخيط الرئيسي وجهاز صوت أو مالك حي، مسموح داخل إطار.

تحكم صوتي يتطلب سياق التطبيق ومالك صوت حي.

حدود الأعداد والموارد

يجب أن تكون المدخلات العائمة الفعالة منتهية. أبعاد النافذة وتكبير الكاميرا موجبة. نصف القطر وFPS المستهدف غير سالبين، وسماكة الخط موجبة. يجب أن تبقى الإحداثيات والحسابات الناتجة قابلة للتمثيل حتى عندما تكون المدخلات المفردة منتهية. تحتفظ مستطيلات النسيج الموقعة والمقياس الصفري أو السالب والأشكال المنحلة المقبولة بالسلوك المثبت. تستخدم السجلات إحداثيات f32 وقنوات لون u8 وأحجام الأعداد الدقيقة في كل توقيع.

ترفض نصوص العنوان والمسار NUL. يقبل LoadTexture صيغة PNG فقط. تحل المسارات نسبة إلى مجلد عمل العملية. توفر عائلة الصور الأطلس الدقيق بحجم 32 في 16 RGBA وإشعاره Apache-2.0 OR MIT. يحتاج التحميل وتغيير المرشح والالتفاف إلى إطار مغلق. لا تحتاج هذه العائلات العامة إلى Raylib نظامي أو وحدات مصدر مساعدة.

الحدود الافتراضية 256 MiB لذاكرة الآلة الافتراضية وحساب خلفية مشترك واحد قدره 128 MiB لـRaylib وHTTP. تحسب التخصيصات الأصلية ونسخ العناوين وذاكرة المسارات وتخزين النسيج والذاكرة المحتفظ بها ضمن الحد المناسب. لا يحرر الإغلاق المنطقي التكلفة حتى انتهاء الاستخدام الأصلي. تبقى حدود تعليمات الآلة الافتراضية والزمن وإطارات الاستدعاء والخانات سارية.

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

يجب إقران BeginDrawing وEndDrawing وBeginMode2D وEndMode2D دون تداخل. أنه وضع الكاميرا قبل الإطار. تحتاج دورة الحياة والتحميل وتغييرات العنوان ومفتاح الخروج وFPS والمرشح والالتفاف إلى إطار مغلق. يسمح بملاحظات عينات الإدخال والتوقيت داخله. يحفظ الرفض قبل الدخول الأصلي الحالة الحالية. يضمن الفشل بعد الآثار تنظيف الموارد المملوكة دون تراجع عام. يهجر الرجوع أو المصيدة أو الحد أو الإلغاء الإطار المفتوح، ويحرر التنظيف عمل GPU قبل نافذته. يحتفظ التحرير الأصلي غير المثبت بالذاكرة والحجز. لا يوجد ضمان قطع قسري داخل العملية لتعليق برنامج تشغيل المضيف.

أحجام النص الصحيحة 1..4096 أو f32 المنتهية 0.5..4096، وتقرب إلى 1/64 مع كسر التعادل نحو الزوجي. يجب أن يكون تباعد المحارف في Ex وPro صفرا. تتطلب TextOptions حقولها الستة، والعرض النشط منته وموجب والتباعد الإضافي للأسطر منته وغير سالب. يستخدم Auto أول محرف قوي أو LTR للفقرات المحايدة، ويتبع Start وEnd ذلك الاتجاه. يشترك الصندوق المنطقي وحدود الحبر في مواضع الرسم. تتبع فواصل الفقرات والأسطر والالتفاف والعناقيد الكبيرة دليل التخطيط. تتضمن رسائل النص تفاصيل scalar_index وscalar أو byte_offset الأصلي، وليست حقول نتيجة جديدة.

ينسخ تحميل الخط بايتات الملف المرخص وتلميحات المحارف. Font وTextLayout مالكان على المعالج يبقيان بعد إعادة إنشاء النافذة، وتبقى بيانات التخطيط بعد إغلاق الخط المخصص. ينجح تحرير الخط الافتراضي دون إغلاقه. يتبع Sound وMusic جيل الصوت، ويبطل التحرير أو إغلاق الجهاز النسخ. يسمح بالتحكم في التشغيل والتحديثات الصريحة داخل إطار. مستوى الصوت 0..1 والتوازن -1..1 والحدة موجبة مع فحص معدل إعادة التعيين. يقبل البحث الطرف الأخير المبلغ عنه نهاية منطقية، ويغلق رفض المفكك مالك الموسيقى. يسمح بالفحوص الكلية وبيانات GetMusicLooping المحفوظة في المعالجات، أما ملاحظات التشغيل فللتطبيق فقط.

تشارك تخصيصات الخط والمفكك والمازج والمحارف والمخابئ والبيانات المحتفظ بها حساب الخلفية. يحجز الصوت مكدس عامل مفحوصا قدره 1 MiB وحارسا 64 KiB حتى نجاح الانضمام. لا ترسل إخفاقات تجهيز رسم النص أي جزء من الطلب الفاشل. يحرر التنظيف عمل المازج والمفكك قبل إغلاق الصوت. راجع التنظيف والمقاطعة للموعد الواحد غير المتجدد وتصريف الإشارات.

الأخطاء والرفض

افحص ok قبل value أو error، وافحص error::code وerror::message. تؤدي قراءة الفرع الخطأ إلى مصيدة. تحدد رموز ASCII الثابتة الإخفاقات، وتضم رسائل Raylib الجديدة اللغتين. تستخدم تشخيصات المصدر لغة CLI المختارة ولا تتبع مفردات المصدر.

تفشل الأبعاد غير الصحيحة أو العنوان ذو NUL قبل اكتساب الشاشة. يمكن أن تنتقل محاولة محررة بأمان إلى نقطة شاشة أخرى مضبوطة. لا تؤدي المعاملات غير الصحيحة أو الميزانيات المستنفدة إلى الانتقال بين المضيفين. إذا فشلت كل محاولات الشاشة بأمان تصف فئة المحاولة الأخيرة كل الخلفيات المجربة.

من الأمثلة المهمة إعادة InitWindow(0, 240, "x") للرمز raylib.invalid_argument، وإعادة SetWindowTitle دون نافذة للرمز raylib.invalid_order، وإعادة كاميرا بتكبير صفري للرمز raylib.invalid_argument. تعيد بداية الكاميرا المتداخلة أو EndDrawing مع وضع كاميرا نشط raylib.invalid_order مع حفظ الزوج الحالي. يغلق تحرير نسخة النسيج كل النسخ، ثم تعيد قراءة العرض raylib.closed_resource. تفشل مقارنة التعدادات الاسمية بأعداد أو بناؤها منها أثناء فحص المصدر بالرمز type-mismatch، وتفشل عمليات الجهاز داخل معالجات HTTP في فحص الآثار عبر مسارات الاستدعاء.

يعيد MeasureText("bad\ttext", 32) الرمز raylib.invalid_text مع scalar_index=3 وscalar=U+0009. يعيد تباعد MeasureTextEx غير الصفري وعرض التخطيط النشط الصفري raylib.invalid_argument. تعيد ملفات الخط المخصص المفقودة raylib.load_failed، والبيانات المطلوبة المعطوبة raylib.invalid_font. يغلق UnloadTextLayout كل النسخ ويعيد القياس اللاحق raylib.closed_resource. يعيد تحميل الصوت دون تهيئة raylib.invalid_order. لا يمكن بناء TextDirection وTextAlignment الاسميين من أعداد. راجع برنامج الهوية دون أجهزة وبرنامج النص والصوت.

تبقى الحالات النهائية 5 للمصيدة و6 للحد و7 للإلغاء و8 لفشل المضيف. تحتفظ النتيجة الأساسية السابقة بنسبة التنظيف المنفصلة. اختر تشخيصات CLI عبر --diagnostic-language=en وتشخيصات البرنامج الناتج عبر --aspl-diagnostic-language=en.

يغطي المرجع الحالي عمليات Raylib البالغ عددها 123 و18 نوعا وستة مخططات و161 ثابتا. تحتفظ جلسات HTTP وحالتها وتقدمها الصريح بمرجع HTTP مصدرا لها. يشرح دليل الجمع ترتيب الإطارات والآثار. يحتفظ المرجع الكامل الأصلي (يفتح في نافذة جديدة) بمساره الخام المنشور وبايتاته. لا تمنح قوائم محولات المساهمين وتجهيزاتهم صفة التشغيل العام.

المحرر في المتصفح

عدّل الترحيب ثم اختر تشغيل. يجري الفحص والتنفيذ في هذا المتصفح. لا يبدأ التنفيذ إلا عندما تختار تشغيل.

اختر مسارك

ابدأ دون تثبيت من البرنامج الأول في المتصفح. إذا كنت تتعلم البرمجة، اقرأ مدخل الدروس.

لديك خبرة برمجية؟ انتقل إلى البرنامج الأصلي الأول أو التنزيلات ومتطلبات النظام.

ارجع إلى مرجع البرنامج وحالة العملية لفهم دالة البداية وحالة الخروج، أو تصفح مجموعات الأمثلة.

يمكنك أيضا فتح برنامج hello الكامل أدناه في مسودة مستقلة. لن يستبدل مصدرك الحالي ولن يبدأ التنفيذ تلقائيا.

البرنامج الأول في المتصفح

اقرأ عقد البرنامج، ثم عاين برنامج hello الكامل أدناه. اختر مفردات المصدر، ثم افتحه في مسودة جديدة على الصفحة الرئيسية. لن يبدأ التنفيذ حتى تختار تشغيل.

يفحص المتصفح مصدر ASPL 0.7.0 وينفذه محليا. لا ينفذ الملعب برامج ELF ولا يحمل مكتبات Linux المشتركة أو وحدات مصدر المستخدم. تغيير لغة القراءة لا يترجم المسودة.

البرنامج الأصلي الأول

هل تكتب برامج بالفعل؟ اتبع مسار التثبيت الأصلي المتحقق منه والبرنامج الأول، ثم الفحص والتشغيل والبناء. تغطي هذه الصفحات أيضا الترقية والرجوع إلى إصدار أصلي وإلغاء التثبيت. لا تحتاج إلى إكمال الدروس.

التنزيلات ومتطلبات النظام

اختر من الأرشيفات الأصلية والبصمات ومدخلات الحزم وسجل الإصدارات. افحص متطلبات النظام الأصلية والمكتبية قبل التثبيت. Console واجهة Qt اختيارية منفصلة؛ لا يحتاج إليها سطر الأوامر أو ملعب المتصفح.

ابدأ دون تثبيت

لا تحتاج إلى خبرة برمجية لتبدأ. افتح البرنامج الأول في المتصفح، واقرأ المصدر والخرج. تغيير لغة التوثيق لا يترجم المصدر أو أسماء المستخدم أو النصوص داخله.

مسار التعلم

ابدأ بالخرج وقراءة الأخطاء. تابع إلى الأسماء والحساب والشروط والحلقات والدوال، ثم إدخال النص وتحويل الأعداد والسلاسل والقوائم والسجلات والنتائج القابلة للاسترداد والملفات الافتراضية.

الدروس مستقلة. ينتهي المسار باختبار حسابي في ملف واحد داخل المتصفح. بعده يمكنك اختيار التثبيت الأصلي والتعلم عن وحدات المصدر. تصفح أمثلة الأساسيات أثناء التعلم.

ابدأ بـ أول خرج وقراءة التشخيص، ثم الارتباطات والحساب والشروط والحلقات والدوال. يقدم كل درس برنامجا كاملا وتوقعا وتغييرا صغيرا وتلميحا وإجابة مشروحة. لا تحفظ أسئلة التحقق الذاتي درجة أو تقدما، ويبقى التنقل مفتوحا.

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

تابع إلى درس القوائم.

تابع إلى درس السجلات.

تابع إلى درس النتائج القابلة للاسترداد.

تابع إلى درس ملفات المتصفح الافتراضية.

تابع إلى اختبار في ملف واحد.

اختر إلى أين تتجه بعد ذلك للدروس الأصلية الاختيارية والأدلة العملية.

ما ستتعلمه

ستجمع الأعداد الصحيحة من 1 إلى 5، وتتتبع عدادا ومجموعا متغيرين، وتشرح لماذا تتوقف الحلقة.

قبل أن تبدأ

اقرأ الارتباطات والحساب للأسماء المتغيرة وتنسيق الأعداد، والشروط للمقارنات المنطقية. يتضمن هذا البرنامج الكامل دالة دخوله الخاصة. افتحه مسودة جديدة في الصفحة الرئيسية، ثم اختر التشغيل صراحة. تبقى المسودات السابقة متاحة.

كرر ما دام الشرط صحيحا

تصرح متغير / var بارتباط قابل للتغيير. لكل من counter وsum النوع ص64 / i64، ويبدآن بالقيمتين 1 و0. يحتفظ sum بالمجموع المتراكم. تختبر طالما / while الشرط counter <= 5 قبل كل دورة، بما فيها الأولى. ينفذ الشرط الصحيح الجسم بين القوسين المعقوفين، وينقل الشرط الخاطئ التنفيذ إلى ما بعده.

داخل الجسم، تضيف sum = sum + counter العداد الحالي إلى المجموع. ثم تنتقل counter = counter + 1 إلى العدد الصحيح التالي. يستبدل الإسناد قيمة الارتباط. الترتيب مهم، أضف العدد الحالي قبل زيادة العداد.

تشغل دالة الدخول المحجوزة ابدأ_الرئيسية() -> ص64 / start_main() -> i64 البرنامج. بعد الحلقة، تحول نسق_ص64 / format_i64 المجموع إلى نص، وتكتبه اطبع / print مع نهاية السطر الصريحة \n. الخرج هو 15\n حرفيا. تنهي أرجع 0 / return 0 الأخيرة البرنامج بصورة طبيعية بحالة عملية 0، وهي منفصلة عن المجموع المطبوع.

تتبع الدورات

توقع المجموع والعداد بعد كل تنفيذ للجسم قبل التشغيل.

الاختبار التالي هو 6 <= 5، وهو خاطئ. لا ينفذ الجسم دورة سادسة. تحديث العداد هو ما ينهي هذه الحلقة. بدونه يبقى الشرط صحيحا عند 1، ولا يصل التنفيذ إلى الطباعة. ينهي زر الإيقاف مثل هذا التشغيل في المتصفح، لكنه لا يجعل الحلقة تكتمل بصورة طبيعية. لو بدأ العداد عند 6 لما نفذ الجسم أي دورة، ولبقي المجموع 0.

أضف عددا آخر

غير الحد الأعلى فقط من 5 إلى 6. توقع الدورة الإضافية. الخرج المتوقع هو 21\n حرفيا، والحالة الطبيعية 0.

تحقق من فهمك

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

ما ستتعلمه

ستقارن قيمة بحد فاصل، وتختار إحدى رسالتين، وتشرح ما يحدث للقيم الأصغر من الحد والمساوية له والأكبر منه.

قبل أن تبدأ

اقرأ الارتباطات والحساب لفهم الأسماء المهيأة والقيم الصحيحة. هذا برنامج كامل مستقل آخر، يتضمن دالة الدخول وحالة طبيعية 0. افتحه مسودة جديدة في الصفحة الرئيسية دون استبدال عملك السابق، ثم اختر التشغيل صراحة.

اختر فرعا

تهيئ دع age = 17 اسما بعدد صحيح. يسأل age >= 18 عما إذا كانت هذه القيمة أكبر من 18 أو مساوية له. تنتج المقارنة قيمة منطقية، تكون صحيحة أو خاطئة، بدلا من عدد نطبعه.

تختبر إذا / if الشرط المنطقي. حين يكون صحيحا يدخل التنفيذ الكتلة الأولى بين القوسين المعقوفين. تقدم وإلا / else الكتلة البديلة للشرط الخاطئ. تنفذ واحدة فقط من هاتين الكتلتين. بعد الكتلة المختارة يستمر التنفيذ إلى تعليمة الإرجاع الأخيرة. تجمع الأقواس تعليمات كل فرع. تساعد المسافة البادئة على رؤية هذه المجموعات لكنها لا تحل محل الأقواس.

عند 17 تكون المقارنة خاطئة، فيطبع الفرع الأدنى Under 18\n، أي أقل من 18. لو كانت صحيحة لطبع الفرع الأعلى 18 or over\n، أي 18 أو أكثر. تبقى هذه النصوص الإنجليزية كما وردت حتى مع الكلمات العربية. تتضمن السلسلتان نهاية سطر صريحة كما في الدرس الأول. تقع أرجع 0 الأخيرة خارج الفرعين، فينتهي أي اختيار بصورة طبيعية بحالة 0.

توقع الحالات الثلاث

أبق الحد عند 18. توقع كل حالة قبل تشغيلها. تنتمي المساواة عمدا إلى الفرع الأعلى لأن العامل هو >=.

تستبعد > المساواة، فتختار القيمة 18 الفرع الأدنى عند استخدامها. تهيئ = ارتباطا أو تسند إليه قيمة، وتقارن == قيمتين للتحقق من المساواة. نحتاج هنا إلى >= ليشمل المساواة والقيم الأكبر معا.

ضع المساواة في الفرع الأعلى

غير القيمة الأولية لـ age فقط من 17 إلى 18. أبق المقارنة كما هي. الخرج المتوقع هو 18 or over\n حرفيا، والحالة الطبيعية 0.