Я новичок в python и мне нужна помощь с проблемой. В основном мне нужно открыть файл и прочитать его, что я могу сделать без проблем. Проблема возникает в строке 0, где мне нужно проверить формат заголовка.
Заголовок должен быть в формате: p wncf nvar nclauses hard
где «nvar», «nclauses» и «hard» - все положительные целые числа.
Например:
p wncf 1563 817439 186191
будет допустимой строкой заголовка.
Вот кодирование, которое у меня уже есть благодаря вопросу, на который люди ответили ранее:
import re
filename = raw_input('Please enter the name of the WNCF file: ')
f = open(filename, 'r')
for line in f:
p = re.compile('p wncf \d+ \d+ \d+$')
if p.match(line[0]) == None:
print "incorrect format"
Я по-прежнему получаю неправильный формат, даже если файл имеет правильный формат. Кроме того, можно ли присвоить целые числа объекту?
Заранее спасибо.