นี่คือแอป Linux ชื่อ Contract++ ซึ่งสามารถดาวน์โหลดรีลีสล่าสุดเป็น contractpp_0_4_1.zip สามารถเรียกใช้ออนไลน์ใน OnWorks ผู้ให้บริการโฮสต์ฟรีสำหรับเวิร์กสเตชัน
ดาวน์โหลดและเรียกใช้แอปนี้ออนไลน์ชื่อ Contract++ กับ OnWorks ฟรี
ทำตามคำแนะนำเหล่านี้เพื่อเรียกใช้แอปนี้:
- 1. ดาวน์โหลดแอปพลิเคชั่นนี้ในพีซีของคุณ
- 2. เข้าไปที่ file manager https://www.onworks.net/myfiles.php?username=XXXXX ด้วยชื่อผู้ใช้ที่คุณต้องการ
- 3. อัปโหลดแอปพลิเคชันนี้ในตัวจัดการไฟล์ดังกล่าว
- 4. เริ่มโปรแกรมจำลองออนไลน์ของ OnWorks Linux หรือ Windows ออนไลน์ หรือโปรแกรมจำลองออนไลน์ MACOS จากเว็บไซต์นี้
- 5. จาก OnWorks Linux OS คุณเพิ่งเริ่มต้น ไปที่ตัวจัดการไฟล์ของเรา https://www.onworks.net/myfiles.php?username=XXXXX พร้อมชื่อผู้ใช้ที่คุณต้องการ
- 6. ดาวน์โหลดแอปพลิเคชั่น ติดตั้ง และเรียกใช้
ภาพหน้าจอ
Ad
สัญญา++
DESCRIPTION
**** ห้องสมุดนี้ถูกย้ายไปสู่การบูสต์ ****ที่ตั้งใหม่: https://github.com/boostorg/contract
การเขียนโปรแกรมสัญญา C++ (หรือที่เรียกว่าการออกแบบโดยสัญญาหรือ DbC)
รองรับฟีเจอร์ทั้งหมดของไอเฟล: การรับเหมาช่วง, เงื่อนไขเก่าและค่าผลลัพธ์, การรวบรวมสัญญาที่ไม่บังคับ, การดำเนินการที่ปรับแต่งได้เมื่อยืนยันความล้มเหลว, ค่าคงที่ของบล็อก, ตัวแปรลูป ฯลฯ
บวกกับตัวระบุเสมือน การตรวจสอบแนวคิด พารามิเตอร์ที่มีชื่อ
โปรดดูที่: http://contractpp.sourceforge.net
คุณสมบัติ
- รองรับเงื่อนไขเบื้องต้น เงื่อนไขภายหลัง ค่าคงที่ของคลาส ค่าคงที่ของบล็อก และตัวแปรลูป
- คลาสที่ได้รับจากผู้รับเหมาช่วง (พร้อมการสนับสนุนสำหรับฟังก์ชันเสมือนแท้และการสืบทอดหลายรายการ)
- เข้าถึงค่าเก่าของนิพจน์และค่าส่งคืนฟังก์ชันใน postcondition
- การรวบรวมและการตรวจสอบทางเลือกของเงื่อนไขเบื้องต้น เงื่อนไขภายหลัง ค่าคงที่ของคลาส ค่าคงที่ของบล็อก และตัวแปรลูป
- การดำเนินการที่ปรับแต่งได้สำหรับความล้มเหลวในการยืนยันสัญญา (ยกเลิกโดยค่าเริ่มต้น แต่สามารถโยน ออก ฯลฯ ได้)
- ตัวระบุเสมือน
- การตรวจสอบแนวคิด
- พารามิเตอร์ที่มีชื่อ
ผู้ชม
นักพัฒนา วิศวกรคุณภาพ
ภาษาโปรแกรม
ไอเฟล, C++
นี่คือแอปพลิเคชันที่สามารถดึงข้อมูลจาก https://sourceforge.net/projects/contractpp/ มีการโฮสต์ใน OnWorks เพื่อให้ทำงานออนไลน์ในวิธีที่ง่ายที่สุดจากหนึ่งในระบบปฏิบัติการฟรีของเรา
