# along with this program; if not, write to the Free Software
# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
-def check_token(lines, token, i):
- if lines[i][:len(token)] == token:
+import string
+
+def check_token(line, token):
+ if line[:len(token)] == token:
return 1
return 0
-def find_token(lines, token, start):
- n = len(lines)
+# We need to check that the char after the token is space, but I think
+# we can ignore this
+def find_token(lines, token, start, end = 0):
+ if end == 0:
+ end = len(lines)
m = len(token)
- i = start
- while i < n:
- line = lines[i]
- if line[:m] == token:
+ for i in xrange(start, end):
+ if lines[i][:m] == token:
return i
- i = i+1
return -1
-def find_token2(lines, token1, token2, start):
- n = len(lines)
- m1 = len(token1)
- m2 = len(token2)
- i = start
- while i < n:
- line = lines[i]
- if line[:m1] == token1 or line[:m2] == token2:
+def find_token2(lines, token, start, end = 0):
+ if end == 0:
+ end = len(lines)
+ for i in xrange(start, end):
+ x = string.split(lines[i])
+ if len(x) > 0 and x[0] == token:
return i
- i = i+1
+ return -1
+
+def find_tokens(lines, tokens, start, end = 0):
+ if end == 0:
+ end = len(lines)
+ for i in xrange(start, end):
+ line = lines[i]
+ for token in tokens:
+ if line[:len(token)] == token:
+ return i
+ return -1
+
+def find_re(lines, rexp, start, end = 0):
+ if end == 0:
+ end = len(lines)
+ for i in xrange(start, end):
+ if rexp.match(lines[i]):
+ return i
return -1
def find_token_backwards(lines, token, start):
- n = len(lines)
m = len(token)
- i = start
- while i >= 0:
+ for i in xrange(start, -1, -1):
line = lines[i]
if line[:m] == token:
return i
- i = i-1
return -1
+def find_tokens_backwards(lines, tokens, start):
+ for i in xrange(start, -1, -1):
+ line = lines[i]
+ for token in tokens:
+ if line[:len(token)] == token:
+ return i
+ return -1
+
+def get_value(lines, token, start, end = 0):
+ i = find_token2(lines, token, start, end)
+ if i == -1:
+ return ""
+ return string.split(lines[i])[1]
+
+def del_token(lines, token, i, j):
+ k = find_token2(lines, token, i, j)
+ if k == -1:
+ return j
+ else:
+ del lines[k]
+ return j-1
+
+# Finds the paragraph that contains line i.
+def get_paragraph(lines, i):
+ while 1:
+ i = find_tokens_backwards(lines, ["\\end_inset", "\\layout"], i)
+ if check_token(lines[i], "\\layout"):
+ return i
+ i = find_beginning_of_inset(lines, i)
+
+# Finds the paragraph after the paragraph that contains line i.
+def get_next_paragraph(lines, i):
+ while 1:
+ i = find_tokens(lines, ["\\begin_inset", "\\layout"], i)
+ if check_token(lines[i], "\\layout"):
+ return i
+ i = find_end_of_inset(lines, i)
+
+# Finds the matching \end_inset
+def find_end_of_inset(lines, i):
+ count = 1
+ while 1:
+ i = find_tokens(lines, ["\\end_inset", "\\begin_inset"], i+1)
+ if check_token(lines[i], "\\begin_inset"):
+ count = count+1
+ else:
+ count = count-1
+ if count == 0:
+ return i
+
+# Finds the matching \end_inset
+def find_beginning_of_inset(lines, i):
+ count = 1
+ while 1:
+ i = find_tokens_backwards(lines, ["\\end_inset", "\\begin_inset"], i-1)
+ if check_token(lines[i], "\\end_inset"):
+ count = count+1
+ else:
+ count = count-1
+ if count == 0:
+ return i
+
+def is_nonempty_line(line):
+ return line != " "*len(line)
+
+def find_nonempty_line(lines, start, end = 0):
+ if end == 0:
+ end = len(lines)
+ for i in xrange(start, end):
+ if is_nonempty_line(lines[i]):
+ return i
+ return -1
+
+def set_comment(lines, number):
+ x = int(number)
+ if x < 216:
+ # It is not worth the trouble to handle this case
+ return
+ elif x < 220:
+ version = "1.1"
+ else:
+ version = str((x-220)/10.0+1.2)
+
+ lines[0] = "#LyX %s created this file. For more info see http://www.lyx.org/" % version
+ if lines[1][0] == '#':
+ del lines[1]
+
def set_format(lines, number):
+ if int(number) <= 217:
+ number = float(number)/100
i = find_token(lines, "\\lyxformat", 0)
lines[i] = "\\lyxformat %s" % number