impl_description

[behavior]

Key Value Updated
5_side_effect 부작용 2026-01-05 16:48
6_complexity 복잡도 2026-01-05 16:48

[contract]

Key Value Updated
7_precondition 전제조건 2026-01-05 16:48
8_postcondition 후행조건 2026-01-05 16:48
9_invariant 불변성 2026-01-05 16:48

[doc]

Key Value Updated
10_example 예시 2026-01-05 16:48

[interface]

Key Value Updated
1_input_validation 입력 검증 2026-01-05 16:48
2_param 파라미터 2026-01-05 16:48
3_return 반환 2026-01-05 16:48
4_error 에러 2026-01-05 16:48

← Back to Systems