مدقق JavaScript
يحدد السطر، لا الخطأ فقط

ما الذي يتحقق منه مدقق JavaScript

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

ولهذا العطل وُجد مدقق JavaScript هذا. فهو يمرّ على السكربت كنص، ثم يبلّغ عن أول موضع تنكسر فيه القواعد، مع السطر والعمود.

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

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

ولا شيء يخرج من هذا اللسان. لذلك يُقرأ سكربت عميل تحت اتفاقية سرّية كما يُقرأ سكربت عام تمامًا.

كيف يقرأ مدقق JavaScript سكربتًا

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

ثم يمرّ المرور الثاني على تلك الرموز بالترتيب ويفحص شكل ما يقرأ: أي الأقواس ما زالت مفتوحة، وأي الأسماء يحملها النطاق أصلًا، وهل كلمة مثل return حولها دالة. والمرجع هنا هو ECMA-262، المعيار الذي يقف خلف كل محرك.

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

وحالة واحدة تطلب نظرة ثانية بدل قاعدة: الشرطة المائلة معامل قسمة أو بداية تعبير نمطي، والجواب يتبع الرمز السابق. لذلك يسأل المقطّع الرمز الأخير عمّا كان.

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

لماذا قد يبقى سكربت صحيح خاطئًا

القواعد والمعنى طبقتان منفصلتان. والمدقق يجيب عن سؤال القواعد، وكل مدقق مفيد يتوقف هناك.

لذلك يمرّ سكربت فيه متغير لم يُعلَن أبدًا في النمط الصارم، أو خاصية تُقرأ من قيمة تحمل undefined في تلك اللحظة، أو await داخل دالة ليست غير متزامنة. وكل واحد من هذه مشكلة تشغيل.

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

ولهذا تذكر الصفحة أول خطأ بدل مئة. لأن التحليل يتوقف هناك، فكل ما بعده تخمين، وقائمة التخمينات تزن أقل من حقيقة واحدة.

الفحوص الستة ومعنى كل واحد منها

الفحص الأول توازن الأقواس. والقارئ يبلّغ عن قوس معقوف أو مربع أو مستدير بلا شريك عند الموضع الذي استسلم فيه. في الواقع هذا هو العطل الوحيد الذي يكلّف الملف كله.

والثاني نصّ أو قالب غير مغلق. ولأن المقطّع يبلع كل ما يلي علامة تنصيص فاتحة، تذكر الملاحظة العلامة ونهاية الملف حيث توقف البحث.

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

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

والخامس تكرار في نطاق واحد. وسيطان بالاسم نفسه، أو let يعيد اسمًا مُعلَنًا في الكتلة نفسها. ولأن الثاني يفوز في الحالة الأولى ويرفع خطأً في الثانية، يذكر القارئ كليهما.

والسادس return خارج دالة، وأقاربه. break بلا حلقة، وcase بلا switch، وyield بلا مولّد. لذلك تنتمي هذه إلى موضع واحد ولا موضع غيره.

ما لن تفعله هذه الصفحة

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

ولن تبلّغ عن خطأ تشغيل ولا خطأ نوع ولا نداء شبكة فاشل. لأن هذه تحتاج محركًا، والمحرك موجود عندك في اللسان المجاور.

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

ولن تتحقق من الأنواع. فالملف الذي يحمل تعليق نوع يحمل أكثر من JavaScript، لذلك الصق خرج مترجمك بدل دخله.