mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-30 05:12:40 +00:00
34001ec175
git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@14285 a592a061-630c-0410-9148-cb99ea01b6c8
56 lines
1.7 KiB
Python
Executable File
56 lines
1.7 KiB
Python
Executable File
#! /usr/bin/env python -tt
|
|
# -*- coding: iso-8859-1 -*-
|
|
# Copyright (C) 2004 José Matos <jamatos@lyx.org>
|
|
#
|
|
# 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.
|
|
|
|
# We need all this because lyx2lyx does not have the .py termination
|
|
import imp
|
|
lyx2lyx = imp.load_source("lyx2lyx", "lyx2lyx", open("lyx2lyx"))
|
|
|
|
# Profiler used in the study
|
|
import hotshot, hotshot.stats
|
|
|
|
import sys
|
|
import os
|
|
|
|
"""
|
|
This program profiles lyx2lyx.
|
|
Usage:
|
|
./profiling.py option_to_lyx2lyx
|
|
|
|
Example:
|
|
./profiling.py -ou.lyx ../doc/UserGuide.lyx
|
|
"""
|
|
|
|
def main(argv):
|
|
# This will only work with python >= 2.2, the version where this module was added
|
|
prof = hotshot.Profile("lyx2lyx.prof") # Use temporary file, here?
|
|
benchtime = prof.runcall(
|
|
lambda : lyx2lyx.main(argv))
|
|
prof.close()
|
|
|
|
# After the tests, show the profile analysis.
|
|
stats = hotshot.stats.load("lyx2lyx.prof")
|
|
stats.strip_dirs()
|
|
stats.sort_stats('time', 'calls')
|
|
stats.print_stats(20)
|
|
|
|
os.unlink("lyx2lyx.prof")
|
|
|
|
|
|
if __name__ == "__main__":
|
|
main(sys.argv)
|