Consider the two code samples shown

Consider the two code samples shown in Figure 3, which are extracted from real applications. The code example in Figure 3a attempts to modify the contents of a database through the method call Statement.executeUpdate (line 1.9), whereas the code example in Figure 3b attempts to read the contents of a database through the method call Statement.executeQuery (line 2.8). A simple specification in the form of an association rule “Connection creation ⇒ Connection rollback” indicates that a rollback method call should occur in exception paths whenever an object of Connection is created. However, this form of specification is not a real rule since the rollback method call should be invoked only when changes are made to the database.

ผลลัพธ์ (ไทย) 1:

พิจารณาสองรหัสตัวอย่างแสดงในรูปที่ 3 ที่สกัดจากใบสมัครจริง ตัวอย่างรหัสในรูป 3a พยายามปรับเปลี่ยนเนื้อหาของฐานข้อมูลโดยใช้วิธีการโทร Statement.executeUpdate (ต้น 1.9), ในขณะที่รหัสตัวอย่างในรูปที่ 3b พยายามอ่านเนื้อหาของฐานข้อมูลโดยใช้วิธีการโทร Statement.executeQuery (ต้น 2.8) ข้อมูลจำเพาะอย่างง่ายในรูปแบบของกฎความสัมพันธ์การ "เชื่อมต่อสร้าง⇒เชื่อมต่อย้อนกลับ" บ่งชี้ว่า การเรียกวิธีย้อนกลับจะเกิดขึ้นในเส้นทางยกเว้นสร้างวัตถุการเชื่อมต่อ อย่างไรก็ตาม นี้รูปแบบของข้อมูลจำเพาะไม่ได้กฎจริงตั้งแต่เรียกวิธีย้อนกลับควรเรียกใช้เฉพาะเมื่อการเปลี่ยนแปลงไปยังฐานข้อมูล

ผลลัพธ์ (ไทย) 2:

พิจารณาทั้งสองตัวอย่างรหัสที่แสดงในรูปที่ 3 ซึ่งจะถูกดึงออกจากการใช้งานจริง ตัวอย่างรหัสในรูปที่ 3a พยายามที่จะปรับเปลี่ยนเนื้อหาของฐานข้อมูลผ่าน Statement.executeUpdate วิธีโทร (สาย 1.9) ในขณะที่ตัวอย่างรหัสในรูปที่ 3b พยายามที่จะอ่านเนื้อหาของฐานข้อมูลผ่าน Statement.executeQuery วิธีโทร (สาย 2.8) สเปคที่เรียบง่ายในรูปแบบของการปกครองของสมาคม "การสร้างการเชื่อมต่อการเชื่อมต่อ⇒ย้อนกลับ" แสดงให้เห็นว่าการเรียกวิธีการย้อนกลับควรจะเกิดขึ้นในเส้นทางยกเว้นเมื่อใดก็ตามที่วัตถุของการเชื่อมต่อจะถูกสร้างขึ้น แต่รูปแบบของข้อกำหนดนี้ไม่ได้เป็นกฎที่แท้จริงตั้งแต่การเรียกวิธีการย้อนกลับควรจะเรียกเฉพาะเมื่อมีการเปลี่ยนแปลงไปยังฐานข้อมูล

ผลลัพธ์ (ไทย) 3:

พิจารณาสองรหัสตัวอย่างที่แสดงในรูปที่ 3 ซึ่งได้จากการใช้งานจริง รหัสตัวอย่างในรูปที่ 3A ความพยายามที่จะปรับเปลี่ยนเนื้อหาของฐานข้อมูลผ่านวิธีการเรียก statement.executeupdate ( สาย 1 ) ส่วนรหัสตัวอย่างในรูปที่ 3B พยายามที่จะอ่านเนื้อหาของฐานข้อมูลผ่านวิธีการเรียก statement.executequery ( เส้น 2.8 )ง่ายคุณสมบัติในรูปแบบของสมาคมกฎ " การสร้างการเชื่อมต่อการเชื่อมต่อ⇒ย้อนกลับ " บ่งชี้ว่าวิธีเรียกย้อนกลับ ควรเกิดขึ้นในเส้นทางยกเว้นเมื่อวัตถุการเชื่อมต่อถูกสร้างขึ้น อย่างไรก็ตาม รูปแบบของข้อมูลไม่ได้เป็นกฎที่แท้จริง เนื่องจากย้อนกลับวิธีโทรควรจะเรียกเท่านั้น เมื่อมีการเปลี่ยนแปลงเกิดขึ้นกับฐานข้อมูล