Identifiers: 1.1. File.Arbitrary ID (A)Data Type: Arbitrary ID 1.2. File.LocationData Type: String 1.3. File.Location Type (M)Data Type: Location Type 1.4. File.Absolute Filename (M)Data Type: String 1.5. File.Absolute URL (M)Data Type: String 1.6. File.File Exists (M)Data Type: Boolean 1.7. File.File Read-Only (M)Data Type: Boolean 1.8. File.File Size (M)Data Type: Integer |
Identifiers: 2.1. Parentless File.File (R)References:
|
Identifiers: 3.1. Child File.File (R)References:
3.2. Child File.Parent File (R)References:
|
Identifiers: 4.1. Data File.File (R)References:
4.2. Data File.File FormatData Type: String 4.3. Data File.Automatically GeneratedData Type: Boolean 4.4. Data File.Load/Save ModeData Type: Load/Save Mode 4.5. Data File.Loadable (M)Data Type: Boolean 4.6. Data File.Saveable (M)Data Type: Boolean 4.7. Data File.Save Required (M)Data Type: Boolean |
Identifiers: 5.1. Link File.File (R)References:
5.2. Link File.Data File (R)References:
|
Identifiers: 6.1. Directory File.File (R)References:
|
Identifiers: 7.1. Information File.Data File (R)References:
7.2. Information File.Information Changed (M)Data Type: Boolean |
Identifiers: 8.1. Text File.Data File (R)References:
8.2. Text File.TextData Type: String 8.3. Text File.Line Count (M)Data Type: Integer 8.4. Text File.Loaded TextData Type: String 8.5. Text File.Text Changed (M)Data Type: Boolean |
Identifiers: 9.1. Image File.Data File (R)References:
9.2. Image File.Width (M)Data Type: Integer 9.3. Image File.Height (M)Data Type: Integer 9.4. Image File.Image Changed (M)Data Type: Boolean |
R1. | File IS A (SUPERTYPE OF) Child File |
File IS A (SUPERTYPE OF) Parentless File | |
Child File IS A (SUBTYPE OF) File | |
Parentless File IS A (SUBTYPE OF) File |
Formalization:
Child File.File | → | File.Arbitrary ID | |
Parentless File.File | → | File.Arbitrary ID |
R2. | Child File IS CHILD OF File (Mc:1) |
File IS PARENT OF Child File |
Formalization:
Child File.Parent File | → | File.Arbitrary ID |
R3. | File IS A (SUPERTYPE OF) Data File |
File IS A (SUPERTYPE OF) Directory File | |
File IS A (SUPERTYPE OF) Link File | |
Data File IS A (SUBTYPE OF) File | |
Directory File IS A (SUBTYPE OF) File | |
Link File IS A (SUBTYPE OF) File |
Formalization:
Data File.File | → | File.Arbitrary ID | |
Directory File.File | → | File.Arbitrary ID | |
Link File.File | → | File.Arbitrary ID |
R4. | Link File REFERENCES Data File (Mc:1c) |
Data File IS REFERENCED BY Link File |
Formalization:
Link File.Data File | → | Data File.File |
R5. | Data File IS A (SUPERTYPE OF) Text File |
Data File IS A (SUPERTYPE OF) Image File | |
Data File IS A (SUPERTYPE OF) Information File | |
Text File IS A (SUBTYPE OF) Data File | |
Image File IS A (SUBTYPE OF) Data File | |
Information File IS A (SUBTYPE OF) Data File |
Formalization:
Text File.Data File | → | Data File.File | |
Image File.Data File | → | Data File.File | |
Information File.Data File | → | Data File.File |
R6. | Information File CONTAINS Data File (1c:Mc) |
Data File IS CONTAINED IN Information File |