[JohnReese]

#programowanie #python
POMOCY!!!!

Mam taki oto plik tekstowy:
(...)
(- 187))
(define-fun c9 () Int
27)
(define-fun state15 () Int
2)
(define-fun c2 () Int
91)
(define-fun state1 () Int
3)
(define-fun t15 () Int
51)
(define-fun state18 () Int
1)
(define-fun l18 () Int
123)
(define-fun l2 () Int
98)
(define-fun state17 () Int
0)
(...)

potrzebuje numer linijki w ktorej znajduja sie wyrazenia stateX

Napisalem taki kod w pythoniem ale znajduje on tylko state0 , reszty nie. Ma ktos jakis pomysl?

file = open("vars.txt", "r")

string_state = 'state'
index = 0

for x in range(21):
 string = string_state + str(x) + str(' ')
 for line in file: 
 index = index + 1 
 if string in line:
 print(index)
 break
 index = 0

file.close()

[venomik]

@JohnReese: Weź to wklej w pastebin czy coś

[Tank1991]

if string in line:

@JohnReese: zamiast tego
if string_state in line daj

[JohnReese]

pastebin

@venomik: https://pastebin.com/fJSbrfuj

[saviola7]

@JohnReese: Mamy 2021, używajmy już składni "with open()". No i wcięcia, bo nie wiadomo gdzie index zerujesz.

[JohnReese]

@Tank1991:

https://pastebin.com/fJSbrfuj

Tylko ze state_string to tylko 'state' a w string dodaje do tego jeszcze numer i to state + number chce znalezc

[JohnReese]

@saviola7: Index jest zerowany po wykananiu nested loop

[Tank1991]

1

@JohnReese:

for line in file:

index = index

[a.....e]

@JohnReese: Dlaczego nie:
import re
with open("file") as file:
for line in file;
if re.matches(".*state[\d]+.*", line):
print(line)

[JohnReese]

@Tank1991: Problem rozwiazany, ogromne dzieki!

[JohnReese]

@aloucie: bo nie znam pythona ( ͡° ʖ̯ ͡°)

[heniek_8]

@JohnReese:
po pierwsze to wczytuj

cat -n pliczek | grep state | cut -f1