mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-06 11:23:45 +00:00
29df5f4f83
git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@7430 a592a061-630c-0410-9148-cb99ea01b6c8
95 lines
2.7 KiB
Python
95 lines
2.7 KiB
Python
# This file is part of lyx2lyx
|
|
# Copyright (C) 2003 José Matos <jamatos@fep.up.pt>
|
|
#
|
|
# This program is free software; you can redistribute it and/or
|
|
# modify it under the terms of the GNU General Public License
|
|
# as published by the Free Software Foundation; either version 2
|
|
# of the License, or (at your option) any later version.
|
|
#
|
|
# This program is distributed in the hope that it will be useful,
|
|
# but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
# GNU General Public License for more details.
|
|
#
|
|
# You should have received a copy of the GNU General Public License
|
|
# along with this program; if not, write to the Free Software
|
|
# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
|
|
|
|
from parser_tools import find_token, find_tokens
|
|
from sys import stderr
|
|
from string import replace, split
|
|
|
|
def add_end_layout(lines):
|
|
i = find_token(lines, '\\layout', 0)
|
|
|
|
if i == -1:
|
|
return
|
|
|
|
i = i + 1
|
|
struct_stack = ["\\layout"]
|
|
while 1:
|
|
i = find_tokens(lines, ["\\begin_inset", "\\end_inset", "\\layout",
|
|
"\\begin_deeper", "\\end_deeper", "\\the_end"], i)
|
|
|
|
token = split(lines[i])[0]
|
|
|
|
if token == "\\begin_inset":
|
|
struct_stack.append(token)
|
|
i = i + 1
|
|
continue
|
|
|
|
if token == "\\end_inset":
|
|
tail = struct_stack.pop()
|
|
if tail == "\\layout":
|
|
lines.insert(i,"\\end_layout")
|
|
i = i + 1
|
|
#Check if it is the correct tag
|
|
struct_stack.pop()
|
|
i = i + 1
|
|
continue
|
|
|
|
if token == "\\layout":
|
|
tail = struct_stack.pop()
|
|
if tail == token:
|
|
lines.insert(i,"\\end_layout")
|
|
i = i + 2
|
|
else:
|
|
struct_stack.append(tail)
|
|
i = i + 1
|
|
struct_stack.append(token)
|
|
continue
|
|
|
|
if token == "\\begin_deeper" or token == "\\end_deeper":
|
|
lines.insert(i,"\\end_layout")
|
|
i = i + 2
|
|
continue
|
|
|
|
#case \end_document
|
|
lines.insert(i, "\\end_layout")
|
|
return
|
|
|
|
def layout2begin_layout(lines):
|
|
i = 0
|
|
while 1:
|
|
i = find_token(lines, '\\layout', i)
|
|
if i == -1:
|
|
return
|
|
|
|
lines[i]= replace(lines[i], '\\layout', '\\begin_layout')
|
|
i = i + 1
|
|
|
|
def end_document(lines):
|
|
i = find_token(lines, "\\the_end", 0)
|
|
if i == -1:
|
|
lines.append("\\end_document")
|
|
return
|
|
lines[i] = "\\end_document"
|
|
|
|
def convert(header, body):
|
|
add_end_layout(body)
|
|
layout2begin_layout(body)
|
|
end_document(body)
|
|
|
|
if __name__ == "__main__":
|
|
pass
|