Manager

class rm.manager.RmManager(pf_manager: PfManager | None = None)

기반 클래스: object

RM component의 메인 manager 클래스입니다.

변수:

_pf_manager (PfManager) – PF component의 manager.

__init__(pf_manager: PfManager | None = None) → None

manager를 초기화합니다.

매개변수:

pf_manager (PfManager | None) – PF component의 manager (기본값: None). None 이면 PfManager 를 생성합니다.

create_file(path: Path, record_size: int) → RmFile

TODO: 설명

매개변수:

• path (Path) – 대상 file의 경로.

• record_size (int) – record의 크기.

반환:

생성된 file.

반환 형식:

RmFile

예외 발생:

RmInvalidRecordSizeError – record_size 가 유효하지 않은 경우.

destroy_file(path: Path) → None

file을 삭제합니다.

매개변수:

path (Path) – 대상 file의 경로.

open_file(path: Path) → RmFile

TODO: 설명

매개변수:

path (Path) – 대상 file의 경로.

반환:

열린 file.

반환 형식:

RmFile

close_file(path: Path) → None

TODO: 설명

매개변수:

path (Path) – 대상 file의 경로.