Tai e Template

قالب تاي-إي

ملحوظة

انقر فوق زر استخدام هذا القالب (وليس الشوكة ).

هذا هو مشروع قالب مصمم لإظهار كيفية تطوير التحليل الثابت الخاص بك باستخدام TAI-E (إطار تحليل ثابت سهل التعلم/استخدام لجافا) كاعتماد في مشروع Gradle أو Maven.

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

جدول المحتويات

• اختر أداة إنشاء
• ابدء
• نموذج الرمز
• إنشاء ملف تكوين الأداة
• الاختبار
• روابط مفيدة

اختر أداة إنشاء

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

Gradle

بالنسبة لمستخدمي Gradle ، مطلوب الملفات التالية ، بينما يمكن حذف الآخرين:

 .
├── gradle                  (Gradle Wrapper)
├── src                     (Source code folder)
├── build.gradle.kts        (Gradle configuration)
├── gradlew                 (*nix Gradle Wrapper script)
└── gradlew.bat             (Windows Gradle Wrapper script)

مافن

بالنسبة لمستخدمي Maven ، يلزم الحاجة إلى الملفات التالية ، بينما يمكن حذف الآخرين:

 .
├── .mvn                    (Maven Wrapper)
├── src                     (Source code folder)
├── mvnw                    (*nix Maven Wrapper script)
├── mvnw.cmd                (Windows Maven Wrapper script)
└── pom.xml                 (Maven configuration)

تحذير

تأكد من إزالة جميع الملفات غير المطلوبة من مشروعك.

ابدء

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

كل ما عليك فعله هو النقر فوق زر Use this template (يجب تسجيل الدخول باستخدام حساب GitHub الخاص بك).

بمجرد اكتمال ذلك ، يكون المشروع جاهزًا للاستنساخ لبيئتك المحلية وفتحه مع Idea Intellij.

الخطوة التالية ، بعد فتح مشروعك في Idea Intellij ، هي تعيين SDK المناسب إلى Java في الإصدار 17 ضمن إعدادات بنية المشروع. ثم يمكنك الوصول إلى تنفيذ أفكارك.

نموذج الرمز

يوفر القالب المعد كل ما يمكن رمزًا قدر الإمكان لأنه من المستحيل على سقالة عامة الوفاء بجميع المتطلبات المحددة لجميع التحليلات الثابتة أعلى TAI-E. لذلك ، يحتوي القالب على الملفات التالية فقط:

 .
└── src
    ├── main
    │ └── java
    │    └── org
    │        └── example
    │           └── MyMain.java (Your analyzer code)
    └── test
      └── resources
          ├── MyClass.java      (The program analyzed by your analyzer)
          └── *.class           (All the .class files obtained by compiling MyClass.java with Java 17)

إنشاء ملف تكوين الأداة

ملفات build.gradle.kts و pom.xml هي ملفات تكوين المشروع لـ Gradle و Maven ، على التوالي. هناك بعض الخصائص العامة التي تحتاج إلى تعديلها لاحقًا عند العمل على رمز المحلل الخاص بك.

Gradle

بيانات تعريف المشروع:

group = " org.example "
description = " tai-e-template "
version = " 0.0.1-SNAPSHOT "

فئة نقطة الدخول لمحللك:

application {
    mainClass.set( " org.example.MyMain " )
}

إصدار Tai-E محدد:

 val taieVersion = " 0.2.2 "

مافن

بيانات تعريف المشروع:

< groupId >org.example</ groupId >
< artifactId >tai-e-template</ artifactId >
< version >0.0.1-SNAPSHOT</ version >

فئة نقطة الدخول لمحللك:

< build >
...
                < mainClass >org.example.MyMain</ mainClass >
...
</ build >

إصدار Tai-E محدد:

< properties >
...
    < tai-e .version>0.2.2</ tai-e .version>
</ properties >

الاختبار

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

• بالنسبة لمستخدمي Gradle ، قم بتشغيل ./gradlew run لتنفيذ محللك.

• بالنسبة لمستخدمي Maven ، قم بتشغيل ./mvnw test لتنفيذ محللك.

روابط مفيدة

• رمز المصدر TAI-E
• الوثائق المرجعية لـ TAI-E