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