ออบเจ็กต์นี้จะสร้างขึ้นในระยะการวิเคราะห์เพื่อแสดงไฟล์หรือไดเรกทอรีที่จะอ่านหรือเขียนในระยะดำเนินการ ไม่ใช่แฮนเดิลไฟล์ที่เปิดอยู่ และจะใช้เพื่ออ่านหรือเขียนเนื้อหาในไฟล์โดยตรงไม่ได้ แต่คุณจะใช้เพื่อสร้างกราฟการดำเนินการในฟังก์ชันการใช้งานกฎได้โดยการส่งต่อไปให้กับฟังก์ชันการสร้างการดำเนินการ ดูข้อมูลเพิ่มเติมได้ที่หน้ากฎ
เมื่อมีการส่ง File
ไปยังออบเจ็กต์ Args
โดยไม่ได้ใช้ฟังก์ชัน map_each
ระบบจะแปลง File
เป็นสตริงโดยนำค่าของช่อง path
สมาชิก
basename
string File.basenameชื่อพื้นฐานของไฟล์นี้ นี่คือชื่อไฟล์ภายในไดเรกทอรี
dirname
string File.dirnameชื่อไดเรกทอรีที่มีไฟล์นี้ ซึ่งได้มาจาก path และสัมพันธ์กับไดเรกทอรีการดำเนินการเสมอ
ส่วนขยาย
string File.extensionนามสกุลของไฟล์นี้ ตามหลัง (ไม่รวม) จุดขวาสุด สตริงว่างหากชื่อฐานของไฟล์ไม่มีจุด
is_directory
bool File.is_directoryแสดงค่า "จริง" หากเป็นไดเรกทอรี
is_source
bool File.is_sourceแสดงค่า "จริง" หากไฟล์นี้เป็นไฟล์ต้นฉบับ ซึ่งหมายความว่าไม่ได้สร้างขึ้น
เจ้าของ
Label File.ownerป้ายกํากับของเป้าหมายที่สร้างไฟล์นี้ อาจส่งคืน
None
เส้นทาง
string File.pathเส้นทางการดำเนินการของไฟล์นี้ ซึ่งสัมพันธ์กับไดเรกทอรีการดำเนินการของพื้นที่ทำงาน ซึ่งประกอบด้วย 2 ส่วน ส่วนแรกที่ไม่บังคับเรียกว่าราก (ดูโมดูลรากด้วย) และส่วนที่ 2 คือ
short_path
รูทอาจว่างเปล่า ซึ่งโดยปกติแล้วจะมีไว้สำหรับไฟล์ที่ไม่ได้สร้างขึ้น สำหรับไฟล์ที่สร้างขึ้น ไฟล์มักจะมีส่วนย่อยของเส้นทางเฉพาะการกำหนดค่าที่จะเข้ารหัสสิ่งต่างๆ เช่น สถาปัตยกรรม CPU เป้าหมายที่ใช้ขณะสร้างไฟล์ดังกล่าว ใช้ short_path
สำหรับเส้นทางที่ระบบแมปไฟล์หากอยู่ในไฟล์รันไทม์ของไบนารี
รูท
root File.rootรูทที่เก็บไฟล์นี้
short_path
string File.short_pathเส้นทางของไฟล์นี้ซึ่งเกี่ยวข้องกับรูท โดยไม่รวม root ที่กล่าวถึงข้างต้น ซึ่งเป็นส่วนของเส้นทางที่เจาะจงการกําหนดค่า นอกจากนี้ เส้นทางนี้ยังเป็นเส้นทางที่ใช้แมปไฟล์หากอยู่ในรันไฟล์ของไบนารีด้วย
tree_relative_path
string File.tree_relative_pathเส้นทางของไฟล์นี้สัมพันธ์กับรูทของต้นไม้ของบรรพบุรุษ หากช่อง is_directory ของบรรพบุรุษเป็นจริง
tree_relative_path
ใช้ได้เฉพาะกับไฟล์แบบขยายของไดเรกทอรีในคำสั่งการดำเนินการ เช่น Args.add_all() สำหรับไฟล์ประเภทอื่นๆ การเข้าถึงช่องนี้เป็นข้อผิดพลาด