| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134 | 
							- #
 
- #    Metrix++, Copyright 2009-2013, Metrix++ Project
 
- #    Link: http://metrixplusplus.sourceforge.net
 
- #    
 
- #    This file is a part of Metrix++ Tool.
 
- #    
 
- #    Metrix++ 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, version 3 of the License.
 
- #    
 
- #    Metrix++ 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 Metrix++.  If not, see <http://www.gnu.org/licenses/>.
 
- #
 
- import logging
 
- import cgi
 
- import core.api
 
- import core.log
 
- import core.cmdparser
 
- import core.db.post
 
- import tools.utils
 
- class Tool(core.api.ITool):
 
-     def run(self, tool_args):
 
-         return main(tool_args)
 
- def main(tool_args):
 
-     log_plugin = core.log.Plugin()
 
-     db_plugin = core.db.post.Plugin()
 
-     parser = core.cmdparser.MultiOptionParser(usage="Usage: %prog debug [options] -- [path 1] ... [path N]")
 
-     log_plugin.declare_configuration(parser)
 
-     db_plugin.declare_configuration(parser)
 
-     parser.add_option("-m", "--mode", default='dumphtml', choices=['dumphtml'],
 
-                          help="'dumphtml' - prints html code with code highlights for each given path [default: %default]")
 
-     (options, args) = parser.parse_args(tool_args)
 
-     log_plugin.configure(options)
 
-     db_plugin.configure(options)
 
-     loader = core.api.Loader()
 
-     if loader.open_database(db_plugin.dbfile) == False:
 
-         parser.error("Can not open file: " + db_plugin.dbfile)
 
-     if options.__dict__['mode'] == 'dumphtml':
 
-         return dumphtml(args, loader)
 
-     
 
-     assert(False)    
 
-     
 
- def dumphtml(args, loader):
 
-     exit_code = 0
 
-     result = ""
 
-     result += '<html><body>'
 
-     for path in args:
 
-         path = tools.utils.preprocess_path(path)
 
-         
 
-         data = loader.load_file_data(path)
 
-         if data == None:
 
-             tools.utils.report_bad_path(path)
 
-             exit_code += 1
 
-             continue
 
-         
 
-         file_name = data.get_path()
 
-         fh = open(file_name, 'r')
 
-         if fh == None:
 
-             logging.error("can not open file '" + path + "' for reading")
 
-             exit_code += 1
 
-             continue
 
-         text = fh.read()
 
-         fh.close()
 
-         
 
-         result += '<table><tr><td><pre>'
 
-         last_pos = 0
 
-         for marker in data.iterate_markers():
 
-             result += (cgi.escape(text[last_pos:marker.begin]))
 
-             if marker.get_type() == data.get_marker_types().STRING:
 
-                 result += ('<span style="color:#0000FF">')
 
-             elif marker.get_type() == data.get_marker_types().COMMENT:
 
-                 result += ('<span style="color:#009900">')
 
-             elif marker.get_type() == data.get_marker_types().PREPROCESSOR:
 
-                 result += ('<span style="color:#990000">')
 
-             else:
 
-                 # TODO add tests for debug tool
 
-                 assert False, "Uknown marker type"
 
-             result += (cgi.escape(text[marker.begin:marker.end]))
 
-             result += ('</span>')
 
-             last_pos = marker.end
 
-         result += (cgi.escape(text[last_pos:]))
 
-         last_pos = 0
 
-         result += ('</pre></td><td><pre>')
 
-         styles = [('<span style="background-color:#F0F010">',
 
-                   '<span style="background-color:#F010F0">'),
 
-                   ('<span style="background-color:#F0F030">',
 
-                   '<span style="background-color:#F030F0">'),
 
-                   ('<span style="background-color:#F0F050">',
 
-                   '<span style="background-color:#F050F0">'),
 
-                   ('<span style="background-color:#F0F070">',
 
-                   '<span style="background-color:#F070F0">'),
 
-                   ('<span style="background-color:#F0F090">',
 
-                   '<span style="background-color:#F090F0">'),
 
-                   ('<span style="background-color:#F0F0B0">',
 
-                   '<span style="background-color:#F0B0F0">'),
 
-                   ('<span style="background-color:#F0F0D0">',
 
-                   '<span style="background-color:#F0D0F0">'),
 
-                   ('<span style="background-color:#F0F0E0">',
 
-                   '<span style="background-color:#F0E0F0">')]
 
-         
 
-         def proc_rec(region_id, file_data, styles, indent, pos):
 
-             result = (styles[indent % len(styles)][pos % 2])
 
-             region = file_data.get_region(region_id)
 
-             result += ('<a href="#line' + str(region.get_cursor()) + '" id=line"' + str(region.get_cursor()) + '"></a>')
 
-             last_pos = region.get_offset_begin() 
 
-             for (ind, sub_id) in enumerate(file_data.get_region(region_id).iterate_subregion_ids()):
 
-                 subregion = file_data.get_region(sub_id)
 
-                 result += (cgi.escape(text[last_pos:subregion.get_offset_begin()]))
 
-                 result += proc_rec(sub_id, file_data, styles, indent + 3, ind)
 
-                 last_pos = subregion.get_offset_end()
 
-             result += (cgi.escape(text[last_pos:region.get_offset_end()]))
 
-             result += ('</span>')
 
-             return result
 
-         result += proc_rec(1, data, styles, 0, 0)
 
-         result += ('</pre></td></tr></table>')
 
-     result += ('</body></html>')
 
-     print result
 
-     return exit_code
 
-             
 
 
  |