OSID - osid.filing.File Service Interface Definition

Interface	osid.filing.File
Implements	`osid.filing.DirectoryEntry`
Description	`File` represents a file in a file system.
Method	hasSize
Description	Tests if this file has a known size.
Return	`boolean`		`true` if this file has a size, `false` otherwise
Compliance	`mandatory`		This method must be implemented.
Method	getSize
Description	Gets the size of this file in bytes if `hasSize()` is `true.`
Return	`cardinal`		the size of this file
Errors	ILLEGAL_STATE		`hasSize()` is `false`
Compliance	`mandatory`		This method must be implemented.
Method	getFileRecord
Description	Gets the file record corresponding to the given `File` record `Type.` This method is used to retrieve an object implementing the requested record. The `fileRecordType` may be the `Type` returned in `getRecordTypes()` or any of its parents in a `Type` hierarchy where `hasRecordType(fileRecordType)` is `true` .
Parameters	`osid.type.Type`	`fileRecordType`	the file record type
Return	`osid.filing.records.FileRecord`		the file record
Errors	NULL_ARGUMENT		`fileRecordType` is `null`
	OPERATION_FAILED		unable to complete request
	UNSUPPORTED		`hasRecordType(fileRecordType)` is `false`
Compliance	`mandatory`		This method must be implemented.