Package File defines the objects and operations related to general file functionality. See details in Section 2.10 of the requirements.