函数逻辑报告 |
Source Code:lib\rbtree_test.c |
Create Date:2022-07-27 08:20:06 |
Last Modify:2020-03-12 14:18:49 | Copyright©Brick |
首页 | 函数Tree |
注解内核,赢得工具 | 下载SCCT | English |
函数名称:check
函数原型:static void check(int nr_nodes)
返回类型:void
参数:
类型 | 参数 | 名称 |
---|---|---|
int | nr_nodes |
195 | prev_key等于0 |
199 | WARN_ON_ONCE(key < prev_key) |
202 | 如果非count则blacks等于black_path_count(rb) |
204 | 否则WARN_ON_ONCE((!rb_left || !rb_right) && blacks != black_path_count(rb)) |
208 | count自加 |
211 | WARN_ON_ONCE(count != nr_nodes) |
212 | WARN_ON_ONCE(count < (1 << black_path_count(rb_last( & rb_root))) - 1) |
214 | check_postorder(nr_nodes) |
名称 | 描述 |
---|---|
check_augmented | |
rbtree_test_init |
源代码转换工具 开放的插件接口 | X |
---|---|
支持:c/c++/esqlc/java Oracle/Informix/Mysql 插件可实现:逻辑报告 代码生成和批量转换代码 |