getPartition(partID: Integer64): JadeDbFilePartition;
The getPartition method of the DbFile class returns the JadeDbFilePartition instance associated with the partition identifier specified in the partID parameter.
An exception is raised if the database file is not partitioned.