1 В избранное 0 Ответвления 0

OSCHINA-MIRROR/mirrors-yaws

Присоединиться к Gitlife
Откройте для себя и примите участие в публичных проектах с открытым исходным кодом с участием более 10 миллионов разработчиков. Приватные репозитории также полностью бесплатны :)
Присоединиться бесплатно
Клонировать/Скачать
dialyzer_checker 873 Байты
Копировать Редактировать Web IDE Исходные данные Просмотреть построчно История
Steve Vinoski Отправлено 16.03.2022 05:13 ae96b27
#!/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)

Опубликовать ( 0 )

Вы можете оставить комментарий после Вход в систему

1
https://api.gitlife.ru/oschina-mirror/mirrors-yaws.git
git@api.gitlife.ru:oschina-mirror/mirrors-yaws.git
oschina-mirror
mirrors-yaws
mirrors-yaws
master