]> git.lyx.org Git - lyx.git/blobdiff - lib/lyx2lyx/parser_tools.py
old ERT insets should just be ignored
[lyx.git] / lib / lyx2lyx / parser_tools.py
index 7a8b356b68ae4628642388226c8b4b41a3e417fd..b01a8c83b1c94b13199c152fed302594b80b0c7b 100644 (file)
 # 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:
+def find_tokens(lines, tokens, start, end = 0):
+    if end == 0:
+       end = len(lines)
+    for i in xrange(start, end):
        line = lines[i]
-       if line[:m1] == token1 or line[:m2] == token2:
-           return i
-       i = i+1
+       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_token(lines, token, start, end)
+    if i == -1:
+       return ""
+    return string.split(lines[i])[1]
+
+# Finds the paragraph that contains line i.
+import sys
+def get_paragraph(lines, i):
+    while 1:
+       i = find_tokens_backwards(lines, ["\\end_inset", "\\layout"], i)
+       if check_token(lines[i], "\\layout"):
+           return i
+       count = 1
+       while count > 0:
+           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
+
+# Finds the matching \end_inset
+def find_end_of_inset(lines, i):
+    count = 1
+    i = i+1
+    while 1:
+       i = find_tokens(lines, ["\\end_inset", "\\begin_inset"], i)
+       if check_token(lines[i], "\\begin_inset"):
+           count = count+1
+       else:
+           count = count-1
+       if count == 0:
+           return i
+       i = i+1
+
+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 = "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