如何在Tcl代码片段中识别符合参数规则的完整proc调用？

给定一个定义了参数规则的Tcl proc（示例如下），需要在其他Tcl代码片段中提取该proc的完整调用命令：

proc dummy_proc args {
    proc crpNxtArg {argLst} {
        yield ; foreach arg $argLst {yield $arg}
    }

    coroutine nxtArg crpNxtArg $args
    while {[set arg [nxtArg]] ne ""} {
        switch -glob -- $arg {
            -arg1 {set arg1 1}
            -arg2 {set arg2 1}
            -arg3 {set arg3 [nxtArg] }
            default {puts "Unsupported arg" } 
        }
      }
}

场景示例 #

• 代码片段：if {...} { dummy_proc -arg1 -arg2 ; puts "test" } ; ，预期返回：dummy_proc -arg1 -arg2
• 代码片段：dummy_proc -arg1 -arg3 value ;#some comments，预期返回：dummy_proc -arg1 -arg3 value
• 代码片段：foreach l $list {dummy_proc -arg1 -arg2}，预期返回：dummy_proc -arg1 -arg2

现有问题 #

使用string match/lsearch可定位调用起点，但无法判断参数是否符合规则；Tcl的info complete会误将dummy_proc -arg3这类不满足参数要求的调用判定为完整，逐token构建命令也存在缺陷。

可靠解析方案 #

核心思路是完全模拟目标proc的参数解析逻辑来扫描代码片段，确保提取的调用既符合语法完整性，也满足业务参数规则，具体步骤和实现如下：

1. 实现逻辑 #

• 先定位所有dummy_proc的调用起始位置，避免误匹配变量名或其他字符串
• 从调用起点开始，逐个解析token，处理Tcl的引号、转义字符等字符串规则
• 按照dummy_proc的参数规则校验：
  • 遇到-arg1/-arg2：直接纳入调用命令，无需后续值
  • 遇到-arg3：必须检查后续是否存在合法参数值，存在则一起纳入
  • 遇到非预期选项或语句结束符（分号、闭合括号），停止解析
• 最后验证调用是否满足参数规则（比如-arg3必须带值），合法则输出完整调用

2. 示例实现代码 #

proc extract_dummy_calls {code} {
    set valid_calls [list]
    set regex {\mdummy_proc\M}
    set pos 0
    # 遍历所有dummy_proc调用的起始位置
    while {[regexp -start $pos -indices $regex $code match_range]} {
        lassign $match_range start_idx end_idx
        set current_pos [expr {$end_idx + 1}]
        set current_cmd "dummy_proc"
        set need_next_value 0
        set is_valid_call 1

        while {$is_valid_call && $current_pos < [string length $code]} {
            # 跳过空白字符
            regexp -start $current_pos {\s+} $code ws_match
            if {$ws_match ne ""} {
                set current_pos [expr {$current_pos + [string length $ws_match]}]
            }

            # 处理带引号的token（支持转义引号）
            if {[string index $code $current_pos] eq "\""} {
                if {![regexp -start $current_pos {"([^"\\]|\\.)*"} $code quoted_token]} {
                    set is_valid_call 0
                    break
                }
                set token $quoted_token
                set current_pos [expr {$current_pos + [string length $token]}]
            } else {
                # 处理普通token（到空白、分号、括号为止）
                if {![regexp -start $current_pos {[^\\\s;{}]+} $code plain_token]} {
                    break
                }
                set token $plain_token
                set current_pos [expr {$current_pos + [string length $token]}]
            }

            # 按照dummy_proc的参数规则处理token
            if {$need_next_value} {
                append current_cmd " $token"
                set need_next_value 0
            } else {
                switch -- $token {
                    -arg1 - -arg2 {
                        append current_cmd " $token"
                    }
                    -arg3 {
                        append current_cmd " $token"
                        set need_next_value 1
                    }
                    default {
                        # 遇到非预期选项，停止解析当前调用
                        break
                    }
                }
            }

            # 检查是否遇到语句结束符
            set current_char [string index $code $current_pos]
            if {$current_char eq ";" || $current_char eq "}"} {
                break
            }
        }

        # 验证调用是否完整（比如-arg3必须带值）
        if {!$need_next_value && $is_valid_call} {
            lappend valid_calls $current_cmd
        }

        set pos $current_pos
    }
    return $valid_calls
}

3. 测试验证 #

# 测试场景1
set code1 {if {...} { dummy_proc -arg1 -arg2 ; puts "test" } ; }
puts [extract_dummy_calls $code1]
# 输出: dummy_proc -arg1 -arg2

# 测试场景2
set code2 {dummy_proc -arg1 -arg3 value ;#some comments}
puts [extract_dummy_calls $code2]
# 输出: dummy_proc -arg1 -arg3 value

# 测试场景3
set code3 {foreach l $list {dummy_proc -arg1 -arg2}}
puts [extract_dummy_calls $code3]
# 输出: dummy_proc -arg1 -arg2

# 测试非法调用
set code4 {dummy_proc -arg3}
puts [extract_dummy_calls $code4]
# 输出: 空列表（无合法调用）

关键注意点 #

• 必须严格对齐目标proc的参数解析逻辑，不能依赖info complete——它仅校验语法完整性，不处理业务参数规则
• 解析token时要兼容Tcl的字符串特性，比如带引号、转义的参数，避免拆分错误
• 跟踪代码的语法结构（括号、分号），防止把后续无关代码误纳入调用命令

内容的提问来源于stack exchange，提问作者kil47