]> git.lyx.org Git - lyx.git/blob - lib/lyx2lyx/parser_tools.py
old ERT insets should just be ignored
[lyx.git] / lib / lyx2lyx / parser_tools.py
1 # This file is part of lyx2lyx
2 # Copyright (C) 2002 Dekel Tsur <dekel@lyx.org>, José Matos <jamatos@lyx.org>
3 #
4 # This program is free software; you can redistribute it and/or
5 # modify it under the terms of the GNU General Public License
6 # as published by the Free Software Foundation; either version 2
7 # of the License, or (at your option) any later version.
8 #
9 # This program is distributed in the hope that it will be useful,
10 # but WITHOUT ANY WARRANTY; without even the implied warranty of
11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
12 # GNU General Public License for more details.
13 #
14 # You should have received a copy of the GNU General Public License
15 # along with this program; if not, write to the Free Software
16 # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
17
18 import string
19
20 def check_token(line, token):
21     if line[:len(token)] == token:
22         return 1
23     return 0
24
25 # We need to check that the char after the token is space, but I think
26 # we can ignore this
27 def find_token(lines, token, start, end = 0):
28     if end == 0:
29         end = len(lines)
30     m = len(token)
31     for i in xrange(start, end):
32         if lines[i][:m] == token:
33             return i
34     return -1
35
36 def find_tokens(lines, tokens, start, end = 0):
37     if end == 0:
38         end = len(lines)
39     for i in xrange(start, end):
40         line = lines[i]
41         for token in tokens:
42             if line[:len(token)] == token:
43                 return i
44     return -1
45
46 def find_re(lines, rexp, start, end = 0):
47     if end == 0:
48         end = len(lines)
49     for i in xrange(start, end):
50         if rexp.match(lines[i]):
51                 return i
52     return -1
53
54 def find_token_backwards(lines, token, start):
55     m = len(token)
56     for i in xrange(start, -1, -1):
57         line = lines[i]
58         if line[:m] == token:
59             return i
60     return -1
61
62 def find_tokens_backwards(lines, tokens, start):
63     for i in xrange(start, -1, -1):
64         line = lines[i]
65         for token in tokens:
66             if line[:len(token)] == token:
67                 return i
68     return -1
69
70 def get_value(lines, token, start, end = 0):
71     i = find_token(lines, token, start, end)
72     if i == -1:
73         return ""
74     return string.split(lines[i])[1]
75
76 # Finds the paragraph that contains line i.
77 import sys
78 def get_paragraph(lines, i):
79     while 1:
80         i = find_tokens_backwards(lines, ["\\end_inset", "\\layout"], i)
81         if check_token(lines[i], "\\layout"):
82             return i
83         count = 1
84         while count > 0:
85             i = find_tokens_backwards(lines, ["\\end_inset", "\\begin_inset"], i-1)
86             if check_token(lines[i], "\\end_inset"):
87                 count = count+1
88             else:
89                 count = count-1
90
91 # Finds the matching \end_inset
92 def find_end_of_inset(lines, i):
93     count = 1
94     i = i+1
95     while 1:
96         i = find_tokens(lines, ["\\end_inset", "\\begin_inset"], i)
97         if check_token(lines[i], "\\begin_inset"):
98             count = count+1
99         else:
100             count = count-1
101         if count == 0:
102             return i
103         i = i+1
104
105 def is_nonempty_line(line):
106     return line != " "*len(line)
107
108 def find_nonempty_line(lines, start, end = 0):
109     if end == 0:
110         end = len(lines)
111     for i in xrange(start, end):
112         if is_nonempty_line(lines[i]):
113             return i
114     return -1
115
116
117 def set_comment(lines, number):
118     x = int(number)
119     if x < 216:
120         # It is not worth the trouble to handle this case
121         return
122     elif x < 220:
123         version = "1.1"
124     else:
125         version = "1.2"
126
127     lines[0] = "#LyX %s created this file. For more info see http://www.lyx.org/" % version
128     if lines[1][0] == '#':
129         del lines[1]
130
131 def set_format(lines, number):
132     if int(number) <= 217:
133         number = float(number)/100
134     i = find_token(lines, "\\lyxformat", 0)
135     lines[i] = "\\lyxformat %s" % number