Tcl 脚本中错误的静态检测

2024-04-16

我已经开发了一些代码,并且在 Linux 机器上遇到了 Tcl 解释器错误标记的问题。

#!/usr/bin/tclsh
if {1} {
  puts "abc1"
} elseif {} {
  puts "abc2" 
}

上面的代码没有标记错误"elseif"条件,直到进入elseif健康)状况。 有什么方法可以检查这种无意中发生的打字错误。


Tcl 在编译时没有发现错误,并且在上面的示例中它可以确定它永远不需要检查elseif首先的条款;它只是先解决这个问题puts直接地。

现在,在存在一个不平凡的第一个条件的情况下,情况是elseif表达量在达到之前不会被报告。这就是 Tcl 的语义——尤其是if命令——已定义;执行命令时会报告计算错误(与粗略的主要语法相反)。我可以理解您对此的沮丧,并建议您查看Tcler 的 Wiki 页面 http://wiki.tcl.tk/3162静态语法分析工具,它可以为您标记潜在的问题(在几乎总是正确的非常适度的假设下)。特别是,我听说过一些好消息Frink http://catless.ncl.ac.uk/Programs/Frink/ and TDK 中的检查工具 http://www.activestate.com/tcl-dev-kit(后者是商业工具,但质量非常高)。

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

Tcl 脚本中错误的静态检测 的相关文章

  • TCL 脚本:变量作为函数的参数

    我正在尝试使用 Amira 进行一些简单的脚本编写 它使用 TCL 但我不能保证它是标准版本 我想从一个对象读取属性并将其分配给另一个对象 在命令窗口中 过程如下 Image1 获取变换 0 1 0 2 0 3 0 0 0 0 0 0 1
  • 如何从期望脚本中转义异常/唯一字符?

    在期望脚本中 我可以设置任何命令或字符以在远程计算机上运行它 但可悲的是 expect 无法发送与expect 脚本中定义的相同的字符 例如 我想从expect脚本运行这一行 以便更改IP地址10 10 10 10 to 1 1 1 1 e
  • 有没有办法在“交互”命令后“期望”和“发送”

    因此 我需要在标准输出上输出远程进程的输出 但我还需要能够 监听 它 并在匹配我的关键字后发送命令 我需要这样的东西 我知道这段代码不正确 它的唯一目的是说明我需要什么 usr bin expect log user 0 spawn ssh
  • 如何在c代码中使用tcl api

    我想在另一个 c 代码文件中使用我的 tcl 代码的一些功能 API 但我不知道如何做到这一点 特别是如何链接它们 为此 我采用了一个非常简单的 tcl 代码 其中包含一个 API 该 API 将两个数字相加并打印总和 谁能告诉我如何调用这
  • Tcl 扩展:扩展的 ClientData 的生命周期

    重要的本机扩展将需要每个解释器的数据 动态分配的结构 我目前正在使用Tcl SetAssocData 有一个对应的密钥 扩展名和适当的删除例程 以防止此内存泄漏 然而 Tcl PkgProvideEx 也允许记录这样的 信息 该信息可以通过
  • Tcl C API:将嵌入式 Tcl interp 的 stdout 重定向到文件而不影响整个程序

    include
  • 卸载活动 TCL Mac

    我正在尝试在 Mac 上卸载 Active TCL 但网站提供的代码不起作用 我收到错误消息 指出不是目录 当我查看代码提供的文件路径时 我可以手动查找 但它不起作用 还有其他方法可以摆脱这个吗 以下是提供的代码 cd Library Fr
  • 限制滚动条长度

    我正在尝试使用 Perl Tk 创建一个像 GUI 一样的简单记事本 我已经用过Scrolled小部件来创建一个Text带有两个滚动条的小部件 一个在右侧 一个在底部 两个滚动条相遇的地方如下所示 不过 我想让它看起来像微软的 记事本 应用
  • 为什么 TCL 脚本中的数组大小没有通过数组大小 正确给出

    这里我有一个包含 4 个元素的数组 但它打印的值为 11 那么大小如何变成 11 而不是 4 array set ipname UART TEST SPI I2C set bsize array size ipname puts bsize
  • 如何在 tcl 中使用 split 删除不需要的字符

    这是一个例子 Interface IP Address OK Method Status Protocol FastEthernet0 0 unassigned YES unset administratively down down Fa
  • 将 bash 数组传递给 Expect 脚本

    我有一个 bash 脚本 它像这样调用 Expect 脚本 SCRIPTS DIRECTORY my expect script sh my bash array 看起来我可以传递一个变量并使用它 对于这个例子 变量似乎是在 lindex
  • 如何列出 TCL 实例中的所有命名空间?

    如何列出 tclsh 实例中加载的所有名称空间 Chenz 尝试从 TCLer 运行这个过程Wiki http wiki tcl tk 1489 proc listns parentns set result list foreach ns
  • 我可以从 Tcl 中的文件句柄中找到文件名吗?

    如同我可以从 Perl 中的文件句柄中找到文件名吗 https stackoverflow com questions 2813092 can i find a filename from a filehandle in perl但在 Tc
  • 将其放入 TCL 正则表达式中的转义字符串

    I use Expect作为测试框架并编写一些辅助函数来简化匹配模式的键入expect命令 因此 我寻找将任何字符串转换为字符串的函数 其中所有特殊的正则表达式语法都被转义 例如 和其他字符 这样我就可以将任何字符串放入正则表达式中 而不必
  • tcl:如何使用变量的值创建新变量

    这是我正在尝试做的一个例子 set t SNS set t top commands that return value 想要获取存储在 t top 的信息 puts t top SNS top really want the data s
  • Tcl + 检查文件存在

    我正在尝试检查 Tcl 中是否存在文件 但我似乎无法得到真实的结果 尽管我知道它的存在 while true if file exists file name 1 exp send copy file txt destination r p
  • 无法读取:变量不是数组

    我有以下代码 set arr1 a1 t1 set arr2 a2 t2 set l1 lappend l1 arr1 lappend l1 arr2 set arr3 a3 l1 foreach names array names arr
  • 如何从 tcl 列表中删除空元素

    你好 我有以下清单 设置 qprList 12345 12345
  • 如何检查 TCL 的标准输入缓冲区是否为空?

    With fconfigure http www tcl tk man tcl8 6 TclCmd fconfigure htm您可以获取和设置频道选项 buffering指定缓冲类型 默认为line for stdin 有没有办法检查缓冲
  • (Tcl/Expect) 退出后清屏

    我想在退出我的 半 交互式期望脚本后清除屏幕 在本地计算机上 我可以在脚本中做到这一点吗 这是我尝试过的 但失败了 usr bin expect f set env TERM vt100 spawn ssh Y username domai

随机推荐

  • 如何解决 Eclipse 中未解决的包含:

    我在 eclipse 中构建了一个简单的程序 include
  • SimpleDateFormat 在模拟器上工作正常,但在设备上错误

    我使用 SimpleDateFormat 从日期中提取相关信息 它在模拟器中运行得很好 但是在设备上测试时它无法正确格式化 Logcat 在模拟器中正确显示 但在手机上再次显示错误 private String getSectionHead
  • 在生产中使用 Postgres 配置 Rails

    我一直在谷歌上搜索有关如何将 Ruby on Rails 与 PostgreSQL 结合使用的教程 那里有一些非常好的信息 但几乎每个指南都集中在如何配置 Rails 以在开发和测试环境中使用 Postgres 他们会警告您不要将这些配置用
  • 当项目中有多个文件时,如何使用 Grunt 配置 LESS 的 sourceMap?

    我有多个 less 文件 我希望将它们处理为匹配的 css 每个文件的 sourceMaps 都与源位于同一文件夹中 这有多难 我用 less 直接执行此操作没有问题 但无法弄清楚如何在 grunt contrib less 中执行此操作
  • RESTful 设计:分页集合

    我正在设计一个 REST api 需要从服务器端强制执行分页 每个 x 翻阅任何资源集合的正确方法是什么 选项1 GET resource page
  • Swift @escaping 和完成处理程序

    我试图更准确地理解 Swift 的 闭包 But escaping and Completion Handler太难理解了 我查了很多Swift的帖子和官方文档 但感觉还是不够 这是官方文档的代码示例 var completionHandl
  • 如何向 Google 地图上的信息窗口添加组合框和按钮?

    目前 我正在开发一个应用程序 其中我必须在地图本身的单击事件上显示一个信息窗口 我的问题是我想在此信息窗口上显示一个按钮和一个组合框 我怎样才能做到这一点 您需要添加自定义UIView给你的MK地图视图并抑制默认值MK注释标注视图 您的定制
  • 在 Chrome 中无需右键单击即可检查元素

    When I inspect html css on a website I usually open the chrome developers panel ctrl shift I right click context menu in
  • 如何通过着色器管道传递顶点颜色?

    我试图通过顶点 几何和片段着色器传递顶点颜色 glBegin GL POINTS glVertex3f 2 0f 0 0f 0 0 glColor3f 0 0 1 0 0 0 glVertex3f 2 0f 0 0f 0 0 glColor
  • jQuery while 循环不等待动画

    我有一个 jQuery 函数可以执行以下操作 clone 在一个物体上 然后 insertAfter and a slideDown 在克隆的对象上 整个函数被包装在一个while环形 我将尽可能简短并展示一个通用示例 while stat
  • 将函数应用于不包括按值嵌套的数据表子集

    我有一个与此相关的问题 我之前曾问过 从 foreach 循环赋值 https stackoverflow com questions 18767016 assignment of a value from a foreach loop 1
  • Laravel 5 调整图像大小

    我使用 Laravel 5 并有一个上传图像的表单 保存文件时 我在控制器方法中获取图像并将其放入目录中 if request gt hasFile picture destinationPath uploads filename imag
  • jQuery-tokeninput 失败:“term”未定义?

    在我的 Rails 应用程序中 我尝试使用 jquery tokeninput 我一切正常 json 响应和所有 但当在标记化字段中输入任何内容时 脚本会出错 并抱怨 TypeError term is undefined gt retur
  • 如何阻止 Maven 覆盖资源文件

    我有默认的 Maven 结构 main java resources webapp 我看到每个mvn compile复制资源 即使它们没有改变 我应该怎么做才能仅复制更改的文件
  • 无法以管理员身份运行

    我必须执行ewfmgr exe仅当以管理员身份打开命令窗口时才能执行 如果我去Start gt type cmd exe gt Right click gt Run as Administrator然后出现以下命令提示符窗口 在这个窗口中
  • SQL 查询查找具有最匹配关键字的行

    我真的不擅长 SQL 我想知道我可以运行什么 SQL 来解决下面的问题 我怀疑这是一个 NP 完全问题 但我可以接受查询需要很长时间才能在大型数据集上运行因为这将作为后台任务完成 首选标准 SQL 语句 但如果需要存储过程 那就这样吧 SQ
  • Ruby - 如何在 Prawn 中使用不同的字体?

    我有一个小型 Rub y 程序 我使用 Prawn 将一些文本打印到 PDF 中 但一小部分文本是非英语字符 其中一些文本是中文 一些是希腊文 等等 当我运行我的程序时 我当然会收到一条错误消息Your document includes
  • StructureMap通过注入解决依赖而不是服务定位

    在我的项目中我注册了很多ISerializers使用装配扫描仪的实现 FWIW这是注册我的代码ISerializers Scan scanner gt scanner AssemblyContainingType
  • 在箱线图中标记散点图点以及R中图形中箱线图的摘要

    祝大家好 我需要帮助找到在箱线图中标记散点图的解决方案 如下图所示 有两个数据 第一个是所有宏观宇宙的数据 第二个是每个宏观宇宙的平均值 Tab1 查询结果 1 2 3 4 5 6 1 13 2089 13 3161 13 2497 13
  • Tcl 脚本中错误的静态检测

    我已经开发了一些代码 并且在 Linux 机器上遇到了 Tcl 解释器错误标记的问题 usr bin tclsh if 1 puts abc1 elseif puts abc2 上面的代码没有标记错误 elseif 条件 直到进入elsei