3 Star 2 Fork 0

Gitee 极速下载/yaws

加入 Gitee
与超过 1200万 开发者一起发现、参与优秀开源项目,私有仓库也完全免费 :)
免费加入
文件
此仓库是为了提升国内下载速度的镜像仓库,每日同步一次。 原始仓库: https://github.com/klacke/yaws
克隆/下载
dialyzer_checker 873 Bytes
一键复制 编辑 原始数据 按行查看 历史
Steve Vinoski 提交于 2022-03-16 10:13 +08:00 . Move to python3
#!/usr/bin/env python3
import os
import re
import sys
warnings = 'dialyzer_warnings'
count = 0
checked = 0
if not os.path.isfile(warnings):
print('%s: file %s does not exist, exiting' % (sys.argv[0], warnings))
exit(0)
with open('known_dialyzer_warnings') as kw:
known = [line for line in [line.strip() for line in kw.readlines()] if line]
try:
with open(warnings) as dw:
for warn in dw:
warn = warn.strip()
if not warn:
continue
matched = None
if known:
pat = known.pop(0)
matched = re.match(pat, warn)
if not matched:
print(warn)
count += 1
checked += 1
except Exception as e:
print('%s: unexpected error: %s' % (sys.argv[0], str(e)), file=sys.stderr)
finally:
if checked and count == 0:
os.remove(warnings)
exit(count)
Loading...
马建仓 AI 助手
尝试更多
代码解读
代码找茬
代码优化
Erlang
1
https://gitee.com/mirrors/yaws.git
git@gitee.com:mirrors/yaws.git
mirrors
yaws
yaws
master

搜索帮助